Чтобы доказать, что отрезки \( AB \) и \( CD \) равны, воспользуемся свойствами параллельных прямых и секущих.
Пусть прямая \( a \) и прямая \( b \) — параллельные прямые. Это означает, что они не пересекаются и сохраняют одинаковое направление.
У нас есть две секущие \( AB \) и \( CD \), которые пересекают параллельные прямые \( a \) и \( b \). Точки \( A \) и \( C \) принадлежат прямой \( a \), а точки \( B \) и \( D \) — прямой \( b \).
По определению параллельных прямых, соответствующие углы, образованные секущими \( AB \) и \( CD \) с параллельными прямыми, равны. Также, поскольку секущие \( AB \) и \( CD \) параллельны друг другу, углы, образуемые секущими с параллельными прямыми, также равны.
Мы можем сказать, что угол \( ABE \) равен углу \( CDB \) (где \( E \) — произвольная точка на прямой, расположенной между \( A \) и \( B \)) за счет свойств параллельных и пересекающихся прямых.
Подобие треугольников: поскольку оба секущие пересекают параллельные прямые \( a \) и \( b \), треугольники \( ABE \) и \( CDB \) являются подобными. В подобии треугольников пропорциональны стороны, что означает:
\[ \frac{AB}{CD} = \frac{AE}{CE} = \frac{BE}{DE} \]
- Поскольку это происходит в пределах одной и той же плоскости и все углы равны, можем утверждать, что отрезки \( AB \) и \( CD \) равны:
\[ AB = CD \]
Таким образом, мы доказали, что отрезки \( AB \) и \( CD \) равны.