Давайте докажем оба случая:
Доказательство для случая (а): накрест лежащие углы
Дано: Пусть у нас есть две параллельные прямые \( a \) и \( b \), которые пересечены секущей \( c \). Обозначим углы:
- угол \( 1 \) и угол \( 2 \) — накрест лежащие углы.
- биссектрисы углов соответственно \( 1 \) и \( 2 \).
Доказательство:
- Поскольку прямые \( a \) и \( b \) параллельны, то накрест лежащие углы равны: \[ \angle 1 = \angle 2 \]
- Биссектрисы углов делят их пополам, следовательно, углы: \[ \angle 1 = \angle 3 + \angle 4 \quad \text{(где \( \angle 3 \) и \( \angle 4 \) - углы, образованные биссектрисой угла \( 1 \))} \] \[ \angle 2 = \angle 5 + \angle 6 \quad \text{(где \( \angle 5 \) и \( \angle 6 \) - углы, образованные биссектрисой угла \( 2 \))} \] Из равенства накрест лежащих углов, имеем: \[ \angle 3 + \angle 4 = \angle 5 + \angle 6 \]
- Углы \( 4 \) и \( 5 \) также равны, так как они являются накрест лежащими углами относительно секущей, следовательно, \[ \angle 4 = \angle 5 \]
- Так как \( \angle 3 + \angle 4 = \angle 5 + \angle 6 \) и \( \angle 4 = \angle 5 \), то: \[ \angle 3 + \angle 4 = \angle 4 + \angle 6 \]
- Следовательно, \[ \angle 3 = \angle 6 \]
- Это означает, что биссектрисы углов \( 1 \) и \( 2 \) параллельны, так как они образуют равные углы с пересекающей их секущей.
Заключение: Биссектрисы накрест лежащих углов при параллельных прямых и секущей также параллельны.
Доказательство для случая (б): соответствующие углы
Дано: Пусть у нас есть два параллельных прямых \( a \) и \( b \), которые пересечены секущей \( c \). Обозначим углы:
- угол \( 1 \) и угол \( 2 \) — соответствующие углы.
- биссектрисы углов соответственно \( 1 \) и \( 2 \).
Доказательство:
- Поскольку прямые \( a \) и \( b \) параллельны, соответствующие углы равны: \[ \angle 1 = \angle 2 \]
- Биссектрисы углов \( 1 \) и \( 2 \) делят углы пополам: \[ \angle 1 = \angle 3 + \angle 4 \quad \text{(где \( \angle 3 \) и \( \angle 4 \) - углы, образованные биссектрисой угла \( 1 \))} \] \[ \angle 2 = \angle 5 + \angle 6 \quad \text{(где \( \angle 5 \) и \( \angle 6 \) - углы, образованные биссектрисой угла \( 2 \))} \]
- Отсюда: \[ \angle 3 + \angle 4 = \angle 5 + \angle 6 \]
- Углы \( 4 \) и \( 5 \) являются соответственными при пересечении секущей \( c \) с параллельными прямыми \( a \) и \( b \), и, следовательно, они равны: \[ \angle 4 = \angle 5 \]
- Подставляем в уравнение: \[ \angle 3 + \angle 4 = \angle 4 + \angle 6 \]
- Отсюда: \[ \angle 3 = \angle 6 \]
- Так как углы \( 3 \) и \( 6 \) равны, биссектрисы углов \( 1 \) и \( 2 \) также параллельны, образуя равные углы с секущей.
Заключение: Биссектрисы соответствующих углов при параллельных прямых и секущей тоже параллельны.
Таким образом, в обоих случаях мы доказали, что биссектрисы уголков при параллельных прямых и секущей также будут параллельны.