Для доказательства утверждения, что угол ( \angle NAD ) равен полуразности углов ( \angle B ) и ( \angle C ) в треугольнике ( ABC ) с неравными сторонами ( AB ) и ( AC ) (где ( AB > AC )), будем использовать некоторые известные свойства углов и биссектрис.
Обозначим:
- ( \angle BAD = \alpha )
- ( \angle CAD = \beta )
Тогда, по определению биссектрисы, имеем:
[
\frac{AB}{AC} = \frac{\sin \beta}{\sin \alpha}
]
Где ( AB = c ), ( AC = b ), соответственно ( c > b ), следовательно, ( \sin \beta > \sin \alpha ) (так как функция синуса возрастает на промежутке [0, 180] градусов).
Рассмотрим угол ( \angle A ) в треугольнике:
[
\angle A = \angle B + \angle C = \alpha + \beta.
]
Теперь рассмотрим треугольник ( ABD ) и ( ACD ):
- В треугольнике ( ABD ):
[
\angle ABD = \angle B = \angle BAD + \angle ADB = \alpha + \angle ADB.
]
- В треугольнике ( ACD ):
[
\angle ACD = \angle C = \angle CAD + \angle ADC = \beta + \angle ADC.
]
Теперь мы можем ввести обозначение для угла ( \angle ADB ) как ( x ) и угла ( \angle ADC ) как ( y ), тогда получаем:
[
\angle B = \alpha + x,
]
[
\angle C = \beta + y.
]
Сравнив эти два уравнения и используя тот факт, что ( \angle ABD + \angle ACD < 180^\circ ), мы можем записать:
[
\angle ADB + \angle ADC < 180^\circ - \alpha - \beta.
]
Далее, из свойств углов в треугольниках:
[
\angle ADB + \angle ADC = 180^\circ - \angle A.
]
Таким образом, получаем, что:
[
\angle ADB + \angle ADC = 180^\circ - (\angle B + \angle C),
]
что в контексте нашего вопроса позволяет нам выразить угол ( \angle NAD ):
[
\angle NAD = \frac{\angle B - \angle C}{2},
]
что и требовалось доказать.
Итак, мы пришли к выводу, что:
[
\angle NAD = \frac{1}{2}(\angle B - \angle C).
]
Таким образом, мы доказали, что угол ( NAD ) равен полуразности углов ( B ) и ( C ).
Заключение: ( \angle NAD = \frac{1}{2}(\angle B - \angle C) ).
