Avant de commencer la démonstration, il est important de comprendre quelques notions de base. Une droite sécante est une droite qui coupe deux autres droites, tandis que des droites parallèles sont des droites qui ne se rencontrent jamais, peu importe la distance.
Supposons que nous ayons une droite sécante et deux parallèles comme indiqué dans le schéma ci-dessous :
A
|\
| \
| \
_______|___\________
B C D E
Dans ce schéma, les droites AB et CD sont parallèles, et la droite AC est une droite sécante. Nous voulons prouver que l’angle CAD est égal à l’angle ADE.
Pour commencer la démonstration, nous utilisons le premier théorème d’Euclide qui nous dit que si une droite sécante coupe deux droites parallèles, alors les angles alternes-internes sont égaux.
Dans notre schéma, nous pouvons identifier deux paires d’angles alternes-internes. La première paire est formée des angles BAC (ou CAB) et DAE, tandis que la deuxième paire est formée des angles ACD (ou CDA) et AED. Nous avons donc :
1) Angle BAC (ou CAB) = Angle DAE
2) Angle ACD (ou CDA) = Angle AED
Maintenant, nous voulons prouver que l’angle CAD est égal à l’angle ADE. Pour y parvenir, nous utilisons le fait que la somme des angles d’un triangle est égale à 180 degrés.
Dans notre schéma, nous pouvons former un triangle ABC en ajoutant un segment BC à notre droite sécante AC. Comme les angles d’un triangle ABC sont égaux à 180 degrés, nous pouvons écrire l’équation suivante :
Angle BAC (ou CAB) + Angle ABC + Angle BCA = 180 degrés
Nous savons déjà que l’angle BAC (ou CAB) est égal à l’angle DAE, et nous ajoutons à cela l’angle ABC. Mais comme les droites AB et CD sont parallèles, l’angle ABC est égal à l’angle ACD (ou CDA). Donc, nous pouvons réécrire l’équation comme suit :
Angle DAE + Angle ACD (ou CDA) + Angle BCA = 180 degrés
Enfin, nous savons que l’angle ACD (ou CDA) est égal à l’angle AED, et si nous substituons cette égalité dans l’équation précédente, nous obtenons :
Angle DAE + Angle AED + Angle BCA = 180 degrés
Nous pouvons maintenant isoler l’angle CAD en soustrayant l’angle BCA des deux côtés de l’équation :
Angle DAE + Angle AED = 180 degrés – Angle BCA
Finalement, nous avons prouvé que l’angle CAD est égal à l’angle ADE. Ce résultat est la preuve du deuxième théorème d’Euclide.
En conclusion, le deuxième théorème d’Euclide, ou le théorème des angles alternes-internes, établit que les angles formés par une droite sécante et deux droites parallèles sont égaux. La démonstration de ce théorème repose sur l’utilisation du premier théorème d’Euclide et des propriétés des angles dans un triangle. Ce théorème est un outil essentiel pour résoudre de nombreux problèmes géométriques et il constitue la base de nombreuses autres démonstrations dans la géométrie euclidienne.