Пусть дан треугольник ABC, в котором AB ≠ AC. AH - высота, AD - биссектриса. Нужно доказать, что угол HAD = |(угол B - угол C) / 2|.
Доказательство:
- Пусть угол B > угол C. Тогда точка H лежит между точками B и D.
- Угол BAC = 180° - угол B - угол C.
- Так как AD - биссектриса, то угол BAD = угол CAD = (180° - угол B - угол C) / 2 = 90° - (угол B + угол C) / 2.
- В прямоугольном треугольнике ABH угол BAH = 90° - угол B.
- Угол HAD = угол BAH - угол BAD = (90° - угол B) - (90° - (угол B + угол C) / 2) = (угол B + угол C) / 2 - угол B = (угол C - угол B) / 2 = - (угол B - угол C) / 2.
- Так как угол HAD должен быть положительным, берем модуль: угол HAD = |(угол B - угол C) / 2|.
- Если угол C > угол B, то аналогично доказывается, что угол HAD = |(угол C - угол B) / 2|.
Ответ: Угол HAD равен полуразности углов В и С.