On souhaite démontrer la propriété suivante.
« Si deux angles correspondants sont formés par des droites parallèles, alors ils ont la même mesure. »
On considère la figure suivante où les droites
(d_1) et
(d_2) sont parallèles.
Compléter la démonstration en trois étapes.
1. D'une part, les angles … sont alternes-internes formés par … .
Or, si deux angles alternes-internes sont formés par des droites parallèles, alors … .
On a donc \widehat{\ldots}=\widehat{\ldots}.
2. D'autre part, les angles \mathrm{\widehat{AEC}} et \mathrm{\widehat{DEF}} sont … .
Or, si deux angles sont … alors ils sont de même mesure.
En conséquence, … .
3. Finalement, on conclut que … .