Чтобы доказать, что треугольники \( A_1CB_1 \) и \( ABC \) подобны, воспользуемся определением подобия треугольников, базирующемся на углах.
Рассмотрим треугольник \( ABC \) с тупым углом \( ACB \). Угол \( ACB \) > 90°.
Проведем высоты \( AA_1 \) и \( BB_1 \) из вершин \( A \) и \( B \) соответственно. Высота \( AA_1 \) перпендикулярна стороне \( BC \), и высота \( BB_1 \) перпендикулярна стороне \( AC \).
Поскольку \( A_1 \) находится на стороне \( BC \), угол \( A_1CB \) является односторонним с углом \( ACB \). Следовательно, угол \( A_1CB = ACB \).
Угол \( A_1BC \) равен углу \( ABC \) (так как они оба образованы одной и той же высотой \( BB_1 \), и обе линии \( A_1C \) и \( AB \) пересекают перпендикулярно сторону \( BC \)).
Теперь мы имеем:
- Угол \( A_1CB = ACB \)
- Угол \( A_1BC = ABC \)
Заметим, что третий угол треугольника \( A_1CB_1 \), угол \( CBA_1 \), будет равен углу \( CAB \) (так как сумма углов в треугольнике равна 180°).
Таким образом, у нас есть три пары равных углов:
- \( A_1CB = ACB \)
- \( A_1BC = ABC \)
- \( CBA_1 = CAB \)
По критерию подобия треугольников (по углам), треугольники \( A_1CB_1 \) и \( ABC \) подобны.
Итак, мы доказали, что треугольники \( A_1CB_1 \) и \( ABC \) подобны.