В треугольнике MNK, где NL — биссектрисa угла N, мы можем использовать свойство биссектрисы, чтобы доказать, что ML < MN.
Согласно свойству биссектрисы, биссектрисa делит угол на два равных угла, то есть угол MNL равен углу KNL. Это значит, что:
∠MNL = ∠KNL.
Теперь, рассматривая треугольники MNL и KNL, мы видим следующее:
- Углы MNL и KNL равны (по свойству биссектрисы).
- Угол N общий для обоих треугольников.
Таким образом, у нас есть два угла, равные для треугольников MNL и KNL. Это означает, что треугольники MNL и KNL подобны (по углам).
Из подобия треугольников следует, что отношение сторон, противолежащих равным углам, также одинаково. То есть:
\(\frac{ML}{MN} = \frac{NL}{NK}\).
Поскольку треугольник MNK остроугольный, то длины NL и NK положительны и NL < NK (поскольку в остроугольном треугольнике биссектрисa всегда менее длины любой из сторон, прилегающих к углу). Это значит, что:
\(\frac{ML}{MN} < 1 \Rightarrow ML < MN\).
Таким образом, мы доказали, что в остроугольном треугольнике MNK с биссектрисой NL действительно выполняется неравенство ML < MN.