Задача: в треугольнике ABC точка D лежит на BC, CD = BD, и ∠CAD = ∠DAB. Доказать, что треугольник ABC равнобедренный ( AB = AC ).
Пояснение и решение (пошагово):
Дано: CD = BD и ∠CAD = ∠DAB. Следовательно, AD — биссектриса угла A треугольника ABC.
Теорема биссектриса (или её вывод через площади): биссектриса A делит сторону BC в отношении длин прилежащих сторон AB и AC: BD / DC = AB / AC.
Кратко обоснование через площади (для понятности):
- Площадь треугольника ABD равна (1/2)·AB·AD·sin∠BAD, а площадь ACD — (1/2)·AC·AD·sin∠CAD.
- Так как ∠BAD = ∠CAD, отношения площадей ABD и ACD равны AB/AC.
- С другой стороны, обе части BC образуют одинаковую высоту от вершины A, значит соотношение площадей равно BD/DC.
- Следовательно, BD/DC = AB/AC.
По условию CD = BD, значит BD/DC = 1. Из биссекторной теоремы получаем AB/AC = 1, следовательно AB = AC.
Вывод: треугольник ABC равнобедренный (основание BC, боковые стороны AB и AC равны).
Дополнительное замечание: как следствие равенства AB и AC в равнобедренном треугольнике углы при основании B и C также равны: ∠ABC = ∠BCA.