Давайте рассмотрим треугольники ( \triangle ABC ) и ( \triangle A_1BC_1 ), где прямая, параллельная стороне ( AC ), пересекает сторону ( AB ) в точке ( A_1 ) и сторону ( BC ) в точке ( C_1 ).
Поскольку прямая ( A_1C_1 ) параллельна стороне ( AC ), мы можем использовать свойства параллельных прямых и секущих для доказательства равенства углов.
Равенство углов ( \angle ACB ) и ( \angle A_1C_1B ):
Поскольку ( A_1C_1 \parallel AC ) и ( BC ) является секущей, то углы ( \angle ACB ) и ( \angle A_1C_1B ) равны как соответственные углы. Это следует из теоремы о параллельных прямых и секущей.
Равенство углов ( \angle BAC ) и ( \angle A_1BC_1 ):
Аналогично, поскольку ( A_1C_1 \parallel AC ) и ( AB ) является секущей, углы ( \angle BAC ) и ( \angle A_1BC_1 ) также равны как соответственные углы.
Равенство углов ( \angle ABC ) и ( \angle A_1C_1B ):
Здесь углы ( \angle ABC ) и ( \angle A_1C_1B ) непосредственно равны, так как они являются общими углами для обоих треугольников.
Таким образом, мы доказали, что все соответствующие углы треугольников ( \triangle ABC ) и ( \triangle A_1BC_1 ) равны, то есть:
[
\angle ACB = \angle A_1C_1B, \quad \angle BAC = \angle A_1BC_1, \quad \angle ABC = \angle A_1C_1B
]
Следовательно, треугольники ( \triangle ABC ) и ( \triangle A_1BC_1 ) подобны по первому признаку подобия (по трём равным углам).