Soient deux droites et , et une sécante aux deux droites, qui coupe en et en .
Montrer que , si les deux angles d’un couple d'angles alternes-internes sont égaux, alors les droites et sont parallèles.

References
- Euclide — Éléments
Hints
1Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Supposons par exemple les angles et égaux : (le raisonnement à mener est exactement le même si on suppose )
Effectuons un raisonnement par l’absurde, en supposant que les droites et ne sont pas parallèles.
Si et ne sont pas parallèles, il existe un point d’intersection entre elles.
Considérons alors le triangle . L’angle extérieur à ce triangle est plus grand que chacun des angles opposés, internes à (pour la démonstration de ce point voir le problème Un côté du triangle se prolonge... et l’angle extérieur ?), en particulier on a donc : .
Ceci est en contradiction avec l’égalité ci-dessus.
: les droites et sont parallèles.

