Докажите равенство равнобедренных треугольников по углу при вершине и биссектрисе проведенной из этого угла

Задача: В равнобедренном треугольнике ABC (AB = AC) проведём биссектрису AD из вершины A на основание BC. Докажите, что две треугольника ABD и ACD, лежащие по обе стороны от биссектрисы, равны. Пошаговое доказательство: 1) Условия и обозначения - AB = AC (равнобедренность треугольника ABC). - AD является биссектрисой угла A, значит ∠BAD = ∠DAC. - D лежит на BC, то есть AD пересекает основание BC. 2) Применение признака равенства треугольников (SAS) - В треугольниках ABD и CAD имеем: - AB = AC (по условию равнобедренности). - AD = AD (общий отрезок; одна и та же сторона в обоих треугольниках). - ∠BAD = ∠DAC (из-за того, что AD — биссектор угла A). - Следовательно, треугольники ABD и CAD равны по признаку SAS (стороны AB и AD с углом между ними в первом треугольнике совпадают с сторонами AC и AD и соответствующим угловым углом во втором). 3) Что следует из равенства треугольников ABD и CAD - Соответственные стороны равны: BD = DC. - Соответственные углы равны: ∠ABD = ∠DCA и ∠ADB = ∠CDA. 4) Дополнительный вывод по основанию BC - Так как BD = DC, точка D является точкой основания BC, делящей его на две равные части. Это означает, что AD является медианой к BC. - Так как ∠ADB = ∠CDA и они составляют прилегающие к сегменту AD углы на прямой BC, их сумма равна 180 градусов. Если две вертикальные углы вдоль AD равны, то каждый из них равен 90 градусам. Следовательно AD ⟂ BC. 5) Итог - Треугольники ABD и ACD равны (по SAS). - В равнобедренном треугольнике биссектриса вершины является одновременно медианой и высотой к основанию, поэтому AD разделяет основание BC пополам и образует два равных треугольника ABD и ACD. Дополнительные замечания: - Как следствие, углы при основании треугольника ABC равны: ∠ABC = ∠ACB. - Биссектор вершины A в равнобедренном треугольнике совпадает с высотой и с медианой к основанию BC.