On sait que
Or
Donc

ABC et DCH et sont égaux

ABC et BAL sont égaux

BAD et CDG sont égaux

EAD et ADC sont égaux

(AB) et (CD) sont parallèles

(BC) et (AD) sont parallèles

(BC) et (AD) sont parallèles

(AB) et (CD) sont parallèles

Si deux droites coupées par une sécante forment des angles correspondants égaux
alors elles sont parallèles.

Si deux droites coupées par une sécante forment des angles alternes-internes égaux
alors elles sont parallèles

Si deux droites coupées par une sécante sont parallèles
alors elles forment des angles correspondants égaux.

Si deux droites coupées par une sécante sont parallèles
alors elles forment des angles alternes-internes égaux

Rédaction Angles correspondants et alternes-internes version 2 17/12/2024 CC-BY-SA-NC Arnaud DURAND