Дано: AB = AD, AC - биссектриса ∠BAD.
Доказать: ΔABC = ΔADC.
Следовательно, ΔABC = ΔADC по первому признаку равенства треугольников (по двум сторонам и углу между ними).
Доказано.