Решение:
Определение: Два треугольника называются подобными, если их соответствующие углы равны, а соответствующие стороны пропорциональны.
Признаки подобия треугольников:
- Первый признак: Если два угла одного треугольника соответственно равны двум углам другого треугольника, то такие треугольники подобны.
- Второй признак: Если две стороны одного треугольника пропорциональны двум сторонам другого треугольника, а углы между этими сторонами равны, то такие треугольники подобны.
- Третий признак: Если три стороны одного треугольника пропорциональны трем сторонам другого треугольника, то такие треугольники подобны.
Доказательство третьего признака подобия треугольников:
Пусть даны два треугольника: \( \triangle ABC \) и \( \triangle A'B'C' \), у которых \( \frac{AB}{A'B'} = \frac{BC}{B'C'} = \frac{AC}{A'C'} = k \).
Цель: доказать, что \( \triangle ABC \thicksim \triangle A'B'C' \), то есть \( \frac{AB}{A'B'} = \frac{BC}{B'C'} = \frac{AC}{A'C'} = k \) и \( \triangle ABC \thicksim \triangle A'B'C' \) (соответствующие углы равны).
Доказательство:
- Отложим на стороне \( AB \) отрезок \( AB_1 \) так, чтобы \( AB_1 = k \times A'B' \).
- Через точку \( B_1 \) проведём прямую, параллельную стороне \( AC \), которая пересечёт сторону \( BC \) в точке \( C_1 \).
- По теореме о подобных треугольниках (из подобия \( \triangle BB_1C_1 \thicksim \triangle BAC \)), имеем: \( \frac{BB_1}{BA} = \frac{BC_1}{BC} = \frac{B_1C_1}{AC} \).
- Из построения \( AB_1 = k \times A'B' \), а по условию \( AB = k \times A'B' \), значит \( AB_1 = AB \) (опечатка в условии, должно быть AB_1 = k * A'B').
- Из подобия \( \triangle BB_1C_1 \thicksim \triangle BAC \), следует, что \( \frac{AB_1}{AB} = \frac{BC_1}{BC} = \frac{B_1C_1}{AC} \).
- Поскольку \( AB_1 = k \times A'B' \) и \( AB = k \times A'B' \), то \( \frac{AB_1}{AB} = \frac{k \times A'B'}{k \times A'B'} = 1 \).
- Тогда \( \frac{BC_1}{BC} = 1 \) и \( \frac{B_1C_1}{AC} = 1 \).
- Отсюда \( BC_1 = BC \) и \( B_1C_1 = AC \).
- Рассмотрим \( \triangle AB_1C_1 \) и \( \triangle A'B'C' \).
- У них \( AB_1 = A'B' \) (по построению), \( B_1C_1 = A'C' \) (т.к. \( B_1C_1 = AC \), а \( AC=k \times A'C' \) из условия), \( \triangle ABC \thicksim \triangle A'B'C' \).
- У них \( \frac{AB}{A'B'} = \frac{BC}{B'C'} = \frac{AC}{A'C'} = k \) (по условию).
- Рассмотрим \( \triangle ABC \) и \( \triangle AB_1C_1 \).
- По построению \( \frac{AB_1}{AB} = \frac{BC_1}{BC} = \frac{B_1C_1}{AC} \).
- Из параллельности \( B_1C_1 \nparallel AC \) следует, что \( \frac{BB_1}{BA} = \frac{BC_1}{BC} \).
- Из подобия \( \triangle BB_1C_1 \thicksim \triangle BAC \), углы \( \triangle AB_1C_1 \) равны углам \( \triangle ABC \).
- Следовательно, \( \triangle AB_1C_1 \) подобен \( \triangle A'B'C' \) по второму признаку подобия (две стороны пропорциональны и угол между ними равен).
- Таким образом, \( \triangle ABC \thicksim \triangle A'B'C' \).