Рассмотрим задачу, в которой требуется доказать, что ( MN = BM + CN ), где ( MN ) - отрезок, проведённый через точку пересечения биссектрис ( BB_1 ) и ( CC_1 ) треугольника ( ABC ), параллельно стороне ( BC ), и пересекающий стороны ( AB ) и ( AC ) в точках ( M ) и ( N ) соответственно.
Для доказательства воспользуемся свойствами биссектрис, а также параллельности прямых.
Шаг 1: Точка пересечения биссектрис
Пусть ( I ) — точка пересечения биссектрис ( BB_1 ) и ( CC_1 ) треугольника ( ABC ). Точка ( I ) является центром вписанной окружности треугольника, то есть точкой, равноудалённой от всех сторон треугольника.
Шаг 2: Свойства прямой ( MN )
Прямая ( MN ) проходит через точку ( I ) и по условию параллельна стороне ( BC ). Так как ( MN \parallel BC ), то ( MN ) является сечением треугольника ( ABC ), которое порождает два подобных треугольника:
- ( \triangle AMN ) подобен ( \triangle ABC ) (по признаку равенства углов, так как ( MN \parallel BC ) и углы при вершине ( A ) общие).
- Коэффициент подобия этих треугольников равен отношению высот ( \frac{IM}{IB} = \frac{IN}{IC} ).
Шаг 3: Пропорциональные отрезки
Так как ( MN \parallel BC ), то по теореме о пропорциональных отрезках:
[
\frac{AM}{AB} = \frac{AN}{AC}.
]
Обозначим:
[
k = \frac{AM}{AB} = \frac{AN}{AC}.
]
Тогда длины отрезков ( AM ) и ( AN ) можно записать как:
[
AM = k \cdot AB, \quad AN = k \cdot AC.
]
Теперь найдём длины отрезков ( BM ) и ( CN ):
[
BM = AB - AM = AB - k \cdot AB = (1 - k) \cdot AB,
]
[
CN = AC - AN = AC - k \cdot AC = (1 - k) \cdot AC.
]
Шаг 4: Выражение для ( MN )
Так как ( \triangle AMN \sim \triangle ABC ), длина ( MN ) пропорциональна длине ( BC ) с тем же коэффициентом подобия ( k ):
[
MN = k \cdot BC.
]
Шаг 5: Доказательство равенства
Теперь выразим сумму ( BM + CN ):
[
BM + CN = (1 - k) \cdot AB + (1 - k) \cdot AC = (1 - k)(AB + AC).
]
С другой стороны, длина ( BC ) в треугольнике ( ABC ) равна ( AB + AC ) (по определению сторон). Подставляем это в выражение:
[
BM + CN = (1 - k) \cdot BC.
]
Но из выражения для ( MN ) мы знаем, что:
[
MN = k \cdot BC.
]
Теперь складываем ( MN ) и ( BM + CN ):
[
MN + BM + CN = k \cdot BC + (1 - k) \cdot BC = BC.
]
Таким образом, выполняется равенство:
[
MN = BM + CN.
]
Заключение
Мы доказали, что ( MN = BM + CN ), используя свойства параллельности, подобия треугольников и пропорциональности отрезков.