Доказать свойство биссектрисы

Задача: доказать свойство биссектрисы треугольника ( внутренней биссектрисы). Условие. Пусть ABC — не вытянутый треугольник, и прямая AD пересекает сторону BC в точке D так, что AD является биссектрисой угла ∠A (то есть ∠BAD = ∠CAD). Требование. Доказать, что BD/DC = AB/AC. Это и есть основное свойство биссектрисы (Angle Bisector Theorem). Пошаговое решение (детальное объяснение, доступно для средней школы): 1) Зафиксируем обозначения - В треугольнике ABC прямая AD пересекает BC в точке D. - AD — внутренняя биссектриса ∠A, значит ∠BAD = ∠CAD. 2) Рассмотрим площади треугольников ABD и ACD - Пусть h — высота треугольника ABD к основанию BD и также высота треугольника ACD к основанию DC. Потому что оба треугольника лежат на одной прямой BC, высота от вершины A до линии BC одинакова. - Тогда площади: S(ABD) = (1/2) · BD · h S(ACD) = (1/2) · DC · h 3) Запишем отношение площадей через основания - Так как высота одинаковая, отношение площадей равно отношению оснований: S(ABD) / S(ACD) = BD / DC 4) Выразим ту же пару площадей через стороны AB и AC и угол BAD/CAD - Пусть R1 — площадь треугольника ABD, который можно выразить как: S(ABD) = (1/2) · AB · AD · sin(∠BAD) - И аналогично для треугольника ACD: S(ACD) = (1/2) · AC · AD · sin(∠CAD) 5) Используем равенство углов - Так как AD — биссектриса, ∠BAD = ∠CAD, значит sin(∠BAD) = sin(∠CAD). 6) Соотношение площадей и сторон - Из п.4 получаем: S(ABD) / S(ACD) = (AB · AD · sin∠BAD) / (AC · AD · sin∠CAD) = AB / AC - Из п.3 получаем: S(ABD) / S(ACD) = BD / DC - Следовательно: BD / DC = AB / AC 7) Вывод - Утверждение верно: внутренняя биссектриса AD делит противоположную сторону BC в отношении длин прилежащих сторон AB и AC: BD : DC = AB : AC Дополнительные замечания (помогут понять смысл и использовать результат): - Обратное утверждение (конверсія): если на BC взять точку D такая, что BD/DC = AB/AC, то прямая AD будет бисектрисой ∠A треугольника ABC. Это легко показать тем же рассуждением по площадям: из равенства BD/DC = AB/AC следует S(ABD)/S(ACD) = AB/AC, а значит sin∠BAD = sin∠CAD; так как ∠BAD и ∠CAD являются частями одного угла ∠A, их сумма меньше 180°, следовательно ∠BAD = ∠CAD и AD действительно является биссектрисой. - Коррель: если AB = AC (равнобедренный треугольник), то BD = DC, то D — середина строй BC (это тоже следствие Angle Bisector Theorem). Если хочешь, могу привести и альтернативное доказательство с помощью закона синусов или привести пример с числовыми значениями и чертежами.