Доказательство:
- Так как △ABK = △ADK, то AK - общая сторона, AB = AD и ∠BAK = ∠DAK.
- Прямая AK является биссектрисой угла ∠BAD, а значит, углы ∠BAK и ∠DAK равны.
- Углы ∠ABK и ∠ADK также равны, так как △ABK = △ADK.
- Рассмотрим углы ∠CBK и ∠CDK. Они являются смежными с углами ∠ABK и ∠ADK соответственно. Поскольку смежные углы в сумме составляют 180 градусов, а ∠ABK = ∠ADK, то и ∠CBK = ∠CDK.
- Поскольку AB = AD, ∠CBK = ∠CDK и BK = DK (так как △ABK = △ADK), то треугольники △BCK и △DCK равны по двум сторонам и углу между ними (первый признак равенства треугольников).
- Следовательно, BC = DC.
- Теперь у нас есть, что AB = AD, BC = DC и AC - общая сторона для треугольников △ABC и △ADC.
- Таким образом, △ABC = △ADC по трем сторонам (третий признак равенства треугольников).
Что и требовалось доказать.