Параллельные прямые и секущая

Когда третья прямая c пересекает две прямые a и b, образуются восемь углов. Для определённости пусть c пересекает a в точке P, а b — в точке Q (a выше b). В точке P углы: ∠1 вверху слева, ∠2 вверху справа, ∠3 внизу справа, ∠4 внизу слева; в точке Q в том же порядке — ∠5, ∠6, ∠7, ∠8. Накрест лежащие углы: ∠3 и ∠5, ∠4 и ∠6; односторонние: ∠3 и ∠6, ∠4 и ∠5; соответственные: ∠1 и ∠5, ∠2 и ∠6, ∠3 и ∠7, ∠4 и ∠8. Свойство 1: если равна одна пара накрест лежащих углов, то равна и другая пара. Свойство 2: если соответственные углы равны, то односторонние углы в сумме дают 180°. Свойство 3: если накрест лежащие углы равны, то равны и соответственные углы.