докажите что если треугольники ABC и DEF подобны то биссектрисы CC1 и FF1 относятся соответствующие стороны этих треугольков
Да, давайте докажем, что если треугольники ABC и DEF подобны, то биссектрисы CC1 и FF1 относятся как соответствующие стороны этих треугольников.
Предположим, что треугольники ABC и DEF подобны. Это означает, что углы соответствуют друг другу:
\[ \angle A = \angle D, \quad \angle B = \angle E, \quad \angle C = \angle F \]
Обозначим длины сторон треугольника ABC как \( a = BC, b = AC, c = AB \) и длины сторон треугольника DEF как \( d = EF, e = DF, f = DE \). Поскольку треугольники подобны, существует коэффициент подобия \( k \), такой что:
\[ \frac{a}{d} = \frac{b}{e} = \frac{c}{f} = k \]
Теперь, по причине подобия треугольников, известна формула для длин биссектрисы. Длина биссектрисы CC1 в треугольнике ABC и длина биссектрисы FF1 в треугольнике DEF могут быть найдены с использованием формул:
Для треугольника ABC: \[ CC_1 = \frac{2ab}{a + b} \cos\left(\frac{\angle C}{2}\right) = \frac{2bc}{b + c} \cos\left(\frac{\angle A}{2}\right) \]
Для треугольника DEF: \[ FF_1 = \frac{2de}{d + e} \cos\left(\frac{\angle F}{2}\right) = \frac{2ef}{e + f} \cos\left(\frac{\angle D}{2}\right) \]
Теперь подставим соотношения для сторон согласно коэффициенту подобия:
Заменяем \( b \) и \( c \) из пропорций в стороны DEF: \[ b = ke, \quad c = kf \]
Тогда: \[ CC_1 = \frac{2(ke)(kf)}{ke + kf} \cos\left(\frac{\angle C}{2}\right) = \frac{2k^2 ef}{k(e + f)} \cos\left(\frac{\angle C}{2}\right) = \frac{2k ef}{e + f} \cos\left(\frac{\angle C}{2}\right) \]
Для FF1: \[ FF_1 = \frac{2de}{d + e} \cos\left(\frac{\angle F}{2}\right) = \frac{2(kd)e}{kd + e} \cos\left(\frac{\angle F}{2}\right) = \frac{2(kd)e}{k(d + e)} \cos\left(\frac{\angle F}{2}\right) \]
Теперь обратите внимание, что при подобии \( k = \frac{a}{d} = \frac{b}{e} = \frac{c}{f} \) имеет место пропорциональность, а значит и для биссектрис:
Таким образом, отношение длин биссектрисы CC1 к биссектрисе FF1 также будет равно коэффициенту подобия \( k \): \[ \frac{CC_1}{FF_1} = k \]
Это завершает доказательство того, что если треугольники ABC и DEF подобны, то их биссектрисы относятся соответственно к сторонам этих треугольников.
