Soient deux droites et , et une sécante aux deux droites, qui coupe en et en .
Montrer que , si les angles alternes respectifs sont égaux, alors les droites et sont parallèles.

References
- Euclide — Éléments
Details
Livre 1 - Proposition 27
Export references
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Supposons par exemple les angles et égaux :
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 le triangle . L’angle extérieur à ce triangle est plus grand que chacun des angles opposés, internes à CFE (pour la démonstration de ce point voir le problème relation entre les angles intérieurs et extérieurs d’un triangle) ; en particulier on a donc l’angle . Ceci est en contradiction avec l’égalité ci-dessus.
: les droites et sont parallèles

