Énoncé:
Si les angles alternes-internes formés par une droite sécante avec deux autres droites sont égaux, alors ces dernières sont parallèles.

Prérequis:

1. Un angle extérieur d'un triangle est plus grand que chacun des deux angles intérieurs non adjacents.
2. Deux droites coplanaires sont parallèles si elles ne se coupent pas. (Définition)

→ Démonstration par étapes

→ Démonstration entière