Пусть дано: треугольники $$ABC$$ и $$A_1B_1C_1$$, $$AD$$ и $$A_1D_1$$ – биссектрисы, и $$\frac{AB}{A_1B_1} = \frac{AC}{A_1C_1} = \frac{AD}{A_1D_1}$$.
-
Обозначим $$\frac{AB}{A_1B_1} = \frac{AC}{A_1C_1} = \frac{AD}{A_1D_1} = k$$. Тогда $$AB = k \cdot A_1B_1, \quad AC = k \cdot A_1C_1, \quad AD = k \cdot A_1D_1$$.
-
Рассмотрим треугольники $$ABD$$ и $$A_1B_1D_1$$. В них $$\frac{AB}{A_1B_1} = \frac{AD}{A_1D_1} = k$$. Нужно доказать, что $$\angle BAD = \angle B_1A_1D_1$$, чтобы доказать подобие треугольников $$ABD$$ и $$A_1B_1D_1$$ по двум сторонам и углу между ними.
-
Выразим отношение сторон $$BD$$ и $$B_1D_1$$. По свойству биссектрисы треугольника имеем: $$\frac{BD}{CD} = \frac{AB}{AC}$$, и $$\frac{B_1D_1}{C_1D_1} = \frac{A_1B_1}{A_1C_1}$$.
Так как $$\frac{AB}{A_1B_1} = \frac{AC}{A_1C_1}$$, то $$\frac{AB}{AC} = \frac{A_1B_1}{A_1C_1}$$. Значит, $$\frac{BD}{CD} = \frac{B_1D_1}{C_1D_1}$$.
-
Докажем, что $$\frac{BD}{B_1D_1} = k$$. У нас есть $$\frac{BD}{CD} = \frac{B_1D_1}{C_1D_1}$$, преобразуем это равенство: $$\frac{BD}{B_1D_1} = \frac{CD}{C_1D_1}$$.
Применим свойство пропорции: $$\frac{BD}{B_1D_1} = \frac{CD}{C_1D_1} = \frac{BD + CD}{B_1D_1 + C_1D_1} = \frac{BC}{B_1C_1}$$.
-
Рассмотрим треугольники $$ABC$$ и $$A_1B_1C_1$$. По условию $$\frac{AB}{A_1B_1} = \frac{AC}{A_1C_1} = k$$. Пусть $$\frac{BC}{B_1C_1} = k$$. Тогда треугольники $$ABC$$ и $$A_1B_1C_1$$ подобны по третьему признаку подобия (по трем сторонам). Значит, $$\frac{BC}{B_1C_1} = k$$. Следовательно, $$\frac{BD}{B_1D_1} = k$$.
-
Таким образом, в треугольниках $$ABD$$ и $$A_1B_1D_1$$ имеем: $$\frac{AB}{A_1B_1} = \frac{AD}{A_1D_1} = \frac{BD}{B_1D_1} = k$$. Следовательно, $$\triangle ABD \sim \triangle A_1B_1D_1$$ по третьему признаку подобия.
-
Из подобия треугольников $$ABD$$ и $$A_1B_1D_1$$ следует равенство углов: $$\angle BAD = \angle B_1A_1D_1$$. Так как $$AD$$ и $$A_1D_1$$ – биссектрисы, то $$\angle BAC = 2 \cdot \angle BAD = 2 \cdot \angle B_1A_1D_1 = \angle B_1A_1C_1$$.
-
Теперь рассмотрим треугольники $$ABC$$ и $$A_1B_1C_1$$. В них $$\frac{AB}{A_1B_1} = \frac{AC}{A_1C_1} = k$$ и $$\angle BAC = \angle B_1A_1C_1$$. Следовательно, $$\triangle ABC \sim \triangle A_1B_1C_1$$ по второму признаку подобия (по двум сторонам и углу между ними).