Criterio generale di parallelismo

La congruenza di una coppia di angoli alterni interni equivale:
  1. alla congruenza di una coppia di angoli alterni esterni
  2. alla congruenza di una coppia di angoli corrispondenti
  3. alla condizione che una coppia di angoli coniugati siano supplementari
Image

Dimostrazione

  1. Gli angoli alterni interni sono congruenti se e solo se sono congruenti gli angoli alterni esterni perchè ciascuno degli angoli alterni esterni è congruente a uno degli angoli alterni interni perchè sono opposti al vertice.
  2. Gli angoli alterni interni sono congruenti se e solo se sono congruenti gli angoli corrispondenti perchè l'angolo "giallo" è congruente a uno degli angoli alterni interni (blu) perchè sono opposti al vertice.
  3. Se due angoli alterni interni sono congruenti, allora l'angolo "rosso" deve essere supplementare dell'angolo "blu" perchè sono adiacenti; quindi, i due angoli coniugati (uno rosso e uno blu) sono supplementari. Viceversa, se due angoli coniugati (uno rosso e uno blu) sono supplementari, allora i due angoli alterni interni (blu) devono essere congruenti perchè sono supplementari dello stesso angolo (rosso).

Teorema

Due rette, tagliate da una trasversale, sono parallele se e solo se:
  • formano una coppia di angoli alterni interni congruenti
  • formano una coppia di angoli alterni esterni congruenti
  • formano una coppia di angoli corrispondenti congruenti
  • formano una coppia di angoli coniugati supplementari