Des angles alternes-internes aux parallèles

Supposons par exemple les angles $\widehat {BEF}$ et $\widehat {CFE}$ égaux : $\bf\widehat {BEF}=\widehat {CFE}$ (le raisonnement à mener est exactement le même si on suppose $\widehat {AEF}=\widehat {DFE}$)

Effectuons un raisonnement par l’absurde, en supposant que les droites $(AB)$ et $(CD)$ ne sont pas parallèles.
Si $(AB)$ et $(CD)$ ne sont pas parallèles, il existe un point d’intersection $G$ entre elles.

Considérons alors le triangle $GFE$. L’angle $\widehat {CFE}$ extérieur à ce triangle est plus grand que chacun des angles opposés, internes à $GFE$ (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 : $\bf\widehat {CFE} >\widehat {BEF}$.
Ceci est en contradiction avec l’égalité ci-dessus.

$\textbf {Conclusion}$ : les droites $(AB)$ et $(CD)$ sont parallèles.