Quand les angles alternes sont égaux....

Supposons par exemple les angles $\widehat {BEF}$ et $\widehat {CFE}$ égaux : $\bf\widehat {BEF}=\widehat {CFE}$

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 le triangle $GFE$. L’angle $\widehat {CFE}$ 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 $\bf\widehat {CFE} >\widehat {BEF}$. Ceci est en contradiction avec l’égalité ci-dessus.

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