Le théorème de Thalès avec GeoLabo Les mathématiques en quatrième et troisième : démonstration de Thalès par Euclide et dix exercices avec GeoLabo.

Descartes et les Mathématiques

Les théorèmes de Thalès

Thalès a vécu à Milet au VI^e siècle avant J.-C.

Mathématicien et philosophe grec de l'école ionienne, l'un des sept sages de la Grèce, il fut le premier à donner une explication rationnelle, et non mythologique, de l'univers, en faisant de l'eau l'élément premier.
Il connaissait l'égalité des angles du triangle isocèle et des angles opposés par le sommet ainsi que la somme des angles d'un triangle.

Deux grands théorèmes de géométrie lui sont attribués :

Notre théorème de géométrie affine, étudié dans les classes de la quatrième à la seconde.
Nous pouvons distinguer trois versions de ce théorème :

• le grand théorème de Thalès :
  des droites parallèles déterminent sur deux sécantes des segments homologues proportionnels,
• le théorème de Thalès appliqué au triangle :
  pour un triangle ABC, si M est un point de (AB), N un point de (AC) et si (MN) est parallèle à (BC), alors = = ,
• sa réciproque :
  dans un triangle ABC, si les points A, B et M sont alignés, si les points A, C et N sont alignés dans le même ordre que A, B et M et si, de plus, les rapports et sont égaux alors les droites (MN) et (BC) sont parallèles.

On lui attribue plus sûrement l'inscription du triangle rectangle dans un demi-cercle, plus connue comme théorème de Thalès Outre-Manche ou Outre-Rhin que chez nous :

À cette occasion, d'après la légende, il sacrifia un bœuf.

Extrait du programme de géométrie de 4^e

Télécharger la figure GeoLabo thales_base.glb
Télécharger la figure GéoPlan thales_base.g2w

Accompagnement des programmes de 4^e

En classe de 4^e, on demande de façon plus systématique de repérer et de mettre en œuvre les théorèmes appropriés. Le recours, si besoin est, à plusieurs pas de démonstration amène à comprendre le changement de statut d'une assertion au fil d'une démonstration : un résultat intermédiaire est une conclusion dans un pas de démonstration et une hypothèse dans un pas ultérieur.

Par exemple, à propos des « triangles déterminés par deux droites parallèles coupant deux sécantes », l'étude d'un cas particulier de « l'égalité des rapports » (valeur ) repose sur une telle démarche.
On a coupé un des côtés d'un triangle ABC en trois segments de même longueur :
AI = IK = KB.
Par I et K, on a mené les parallèles au côté [BC], qui coupent [AC] en J et L respectivement.
À l'aide des résultats sur les milieux de deux côtés d'un triangle, on souhaite établir que le côté [AC] se trouve lui aussi coupé en trois régulièrement :
AJ = JL = LC.

On pourra remarquer que, contrairement aux deux cas évoqués pour la classe de 5^e, l'évidence «visuelle» du résultat ne fait ici guère de doute ; la question qui se pose est donc celle de l'établir au moyen des résultats déjà acquis.
La première des deux égalités ci-dessus est simple à établir dès que l'on a remarqué que I est le milieu de [AK]. Le second (dans l'ordre des programmes) théorème des milieux appliqué au triangle AKL permet alors de conclure. La seconde égalité est autrement plus difficile et il se peut très bien que, dans une classe, l'idée du tracé d'un segment auxiliaire convenable, par exemple celui du segment [BJ], ne surgisse pas d'elle-même et doive être indiquée par le professeur. La mise en forme de la démonstration a tout son intérêt dans un cas comme dans l'autre. Notons M le point d'intersection des droites (BJ) et (KL). Le second (dans l'ordre des programmes) théorème des milieux appliqué au triangle BIJ permet de conclure que le point M est le milieu de [BJ]. Ce résultat acquis devient alors une hypothèse, qui permet à nouveau l'application du second théorème des milieux, cette fois au triangle JBC, pour conclure que L est le milieu de [IC]. Ainsi, deux pas de démonstration enchaînés ont conduit à la conclusion : JL = LC.

Si l'on considère la même figure, mais maintenant avec les hypothèses que les côtés du triangle sont coupés en trois segments de même longueur :
AI = IK = KB et AJ = JL = LC, la démonstration du parallélisme des droites (IJ), (KL) et (BC) repose sur la même idée de tracé d'un segment auxiliaire.

Mais on s'aperçoit que la démonstration suppose ici l'utilisation des deux théorèmes des milieux.
La différence des compétences mises en jeu par la recherche d'une démonstration et par sa rédaction se trouve ainsi bien mise en évidence.

Télécharger la figure GeoLabo rapport_un_tiers_base.glb
Télécharger la figure GéoPlan rapport_un_tiers.g2w

1. Démonstration d'Euclide par la méthode des aires

a. Thalès a découvert le théorème mais c'est Euclide qui l'a prouvé.

Télécharger les figures GeoLabo thales_demo_1.glb, thales_demo_2.glb, thales_demo_3.glb
Télécharger les figures GéoPlan thales_demo_1.g2w, thales_demo_2.g2w, thales_demo_3.g2w

Les triangles MBC et NBC ont le côté [BC] commun ; les troisièmes sommets sont sur une parallèle à ce côté commun ; ils ont des hauteurs MP et NQ égales ; ces deux triangles ont la même aire et par complément dans le triangle ABC on a l'égalité des aires A(AMC) = A(ABN).
En divisant les deux termes de cette égalité par A(ABC) on a : = .

Soit h’ = CI la hauteur en C des triangles AMC et ABC. On a : A(AMC) = AM × et A(ABC) = AB × ,
enfin h = BH la hauteur en B des triangles ABN et ABC. On a : A(ABN) = AN × et A(ABC) = AC × .

Les rapports des aires sont = = et = = .

Conclusion : = .

b. Calcul de

Soit [AH] la hauteur en A de ABC qui coupe (MN) en I.
Dans les triangles rectangles ABH et AHC la propriété de Thalès permet d'écrire = = .
Les triangles INH et INC ont la même aire, car le côté [IN] est commun et les troisièmes sommets sont sur une parallèle à ce côté commun. En ajoutant l'aire du triangle AIN on a : A(AHN) = A(AIC).

Or A(AHN) = × AH × IN et A(AIC) = × AI × HC soit AH × IN = AI × HC d'où = .

On démontre de même que = .

Un calcul sur les proportions = = = = =
permet de conclure que : = = .

Télécharger la figure GeoLabo thales_base2.glb
Télécharger la figure GéoPlan thales_base2.g2w

Voir : les Éléments d'Euclide

c. Autre démonstration par les aires

"Toute parallèle à l'un des côtés d'un triangle divise les deux autres côtés en segments proportionnels."

(MN) est parallèle à (BC).
On reprend la figure d'Euclide, et en permutant les deux parallèles, on étudie l'égalité des aires des triangles MNB et MNC et on calcule de deux façons l'aire de AMN.

Les triangle MNB et MNC ont même base [MN] et leurs hauteurs sont égales à la distance entre les deux parallèles. Leurs aires A(MNB) et A(MNC) sont égales.

Les triangles AMN et MNB ont pour hauteur [NH]. Leurs aires sont :
A(AMN) = AM × NH et A(MNB) = MB × NH. Le rapport de ces deux aires est .

Les triangles AMN et MNC ont pour hauteur [MI]. Le rapport de leurs aires A(AMN) et A(MNC) est .

Les rapport des aires sont égaux donc = .
En permutant les moyens = :
les droites parallèles (BC), (MN), et une troisième parallèle passant par A, déterminent sur les sécantes (AB) et (AC) des segments homologues proportionnels.

Le calcul sur les proportions : = = = , permet, en permutant les moyens entre le premier et le dernier rapport,
de retrouver la formule de Thalès = .

Télécharger la figure GeoLabo thales_aire.glb
Télécharger la figure GéoPlan thales_aire2.g2w

Sommaire
Accueil Descartes et les Mathématiques

2. Thalès et médiane

ABC est un triangle, [BB’] est une médiane.

M est le point du segment [BC] tel que BM = BC.
Les parallèles menées par M à (AC) et à (AB) coupent respectivement (AB) et (AC) en D et en E.

En utilisant deux fois le théorème de Thalès, calculer les rapports et .

Montrer que (DE) et (BB’) sont parallèles avec la réciproque de Thalès.

Télécharger la figure GeoLabo triang_3.glb
Télécharger la figure GéoPlan triang_3.g2w

3. Concours au centre de gravité

Chacun des côtés d'un triangle ABC est partagé en trois segments de même longueur ; grâce aux points : I et J sur [AB], K et L sur [BC], M et N sur [CA].

1. Montrer que le centre de gravité du triangle ABC est le milieu de [JM].

2. En déduire que les droites (IL), (JM) et (KN) sont concourantes en G.

Remarque : Il est aussi possible de montrer que KLNI est un parallélogramme.
Voir l'utilisation de barycentres

Télécharger les figures GeoLabo concours1.glb, concours2.glb
Télécharger la figure GéoPlan concours.g2w

4. Quadrilatère et droites parallèles

5. Parallèle à une diagonale d'un quadrilatère

ABCD est un quadrilatère quelconque,
I un point sur le côté [DA].
Nous construisons la parallèle à (CD) menée par I. Cette parallèle coupe la diagonale [AC] en K.

Par K nous menons la parallèle à (BC) qui recoupe [AB] en J.

Montrer que (IJ) et (BD) sont parallèles.

Indication : en utilisant deux fois la propriété de Thalès nous pouvons montrer l'égalité des rapports et , puis démontrer que (IJ) et (BD) sont parallèles avec la réciproque de Thalès.

Variante : I est le milieu du côté [DA]. Montrer que K est le milieu de [AC], que J est le milieu de [AB] et en déduire que (IJ) et (BD) sont parallèles.

Télécharger la figure GeoLabo quadri_para.glb
Télécharger la figure GéoPlan quadri_para.g2w

Sommaire
Accueil Descartes et les Mathématiques

6. Moyennes géométriques

Classe de troisième

Dans un triangle ABC le point D est un point de [AB].
Placer les points D et E tel que : (DE) // (BC) et (EF) // (CD).

En utilisant ces deux hypothèses l'une après l'autre, en écrivant les rapports égaux, démontrer que l'on a :

AD² = AF × AB.

Télécharger la figure GeoLabo moy_geom.glb
Télécharger la figure GéoPlan moy_geom.g2w

Classe de seconde

Soit A et B deux points sur une demi-droite [OX) et E un point sur [OY).

Placer les points F sur [OY) et C sur [OX) tels que les droites (AE) et (BF) soient parallèles, ainsi que les droites (BE) et (CF).

Montrer que OB² = OA × OC.

Télécharger la figure GeoLabo ex_thales.glb
Télécharger la figure GéoPlan ex_thales.g2w

Sommaire
Accueil Descartes et les Mathématiques

7. Barrière

Un chemin bordé par deux murs [AA’] et [BB’], de hauteurs a et b est barré par deux chevrons en bois [AB’] et [BA’].

De quoi peut bien dépendre la hauteur h laissée libre ?

Commande GéoPlan

Déplacer A’ ou B’ montre que h dépend certainement de a et b.

Déplacer A ou B pour montrer que contrairement à ce que l'on peut penser, cette hauteur h ne dépend pas de la distance AB.

Démonstration

Les droites (A’A) et (IH) perpendiculaires à (AB) sont parallèles.
La propriété de Thalès dans le triangle BAA’ permet d'écrire = .
Et = d'après la propriété de Thalès dans le triangle ABB’.
D'où il vient + = = 1 ou encore h( + ) = 1 soit = + et h = .

Extrait de : Villiers Claude - La démonstration en géométrie plane - Société Belge des professeurs de Mathématiques - 2005

Télécharger la figure GeoLabo barriere.glb
Télécharger la figure GéoPlan barriere.g2w

8. Constructions des inverses des premiers naturels

Sommaire
Accueil Descartes et les Mathématiques

Réciproque du théorème de Thalès

1. Cordes parallèles

Deux cercles (c₁) et (c₂) de rayons r et r’ ont même centre O.

Deux droites (d₁) et (d₂), passant par ce centre O, coupent le premier cercle en A et B et le deuxième en C et D. Que peut-on dire des droites (AB) et (CD) ? Le démontrer.

Faire une figure où ce n'est pas le cas.

. D'après la réciproque du théorème de Thalès (AB) et (CD) sont parallèles.

Oui mais le contre-exemple de la figure de droite montre que c'est faux. Il faut préciser que O, A, C et O, B, D sont dans le même ordre sur les deux droites (d₁) et (d₂), ce qui n'est le cas que sur la figure de gauche.

Télécharger les figures GeoLabo cordes.glb, cordes2.glb
Télécharger la figure GéoPlan cordes.g2w

2. Figure de Desargues

Desargues Girard 1591-1661

Placer un point O.

Tracer trois demi-droites (d₁), (d₂) et (d₃), issues de O.

Placer les points A et D sur la première demi-droite, B et C sur les deux autres demi-droites et tracer les segments [AB] et [BC].

Tracer la droite passant par D parallèle à la droite (AB). Cette droite coupe la demi-droite [OB) en E.

Tracer la droite passant par E parallèle à la droite (BC). Cette droite coupe la demi-droite [OC) en F.

Que peut dire des droites (AC) et (DF)  ?

Formulation plus générale : voir le plan projectif

Télécharger la figure GeoLabo desargues.glb
Télécharger la figure GéoPlan desargue.g2w

Sommaire
Accueil Descartes et les Mathématiques

3. Figure de Pappus

Pappus d'Alexandrie (vers l'an 300)

Placer un point O,
tracer deux demi-droites (d₁) et (d₂), issues de O.

Placer les points A et B sur la première demi-droite, D et E sur la deuxième demi-droite et tracer les segments [AE] et [BD],
tracer la droite passant par B parallèle à la droite (AE). Cette droite coupe la demi-droite [OD) en F.
Tracer la droite passant par E parallèle à la droite (BD). Cette droite coupe la demi-droite [OA) en C.

Déplacer les points libres A, B, D ou E sur les demi-droites. Que peut dire des droites (AD) et (CF) ?

Télécharger la figure GeoLabo pappus.glb
Télécharger la figure GéoPlan pappus.g2w

4. Quadrilatère et parallèles

Soit ABCD un quadrilatère convexe. On suppose que la parallèle à (BC), passant par A, coupe (BD) en E et que la parallèle à (AD), passant par B, coupe (AC) en F.

Montrer que la droite (EF) est parallèle à (CD).

Indications

Soit I le point d'intersection des diagonales.

Sachant que (AE)//(BC), la propriété de Thalès dans les triangles IAE et ICB permet d'écrire l'égalité :
= ,
De même (AD)//(BF), Thalès dans les triangles IDA et IBF permet d'écrire = .

En effectuant le quotient de ces deux égalités et après simplification de IA et IB on trouve = .
La réciproque de Thalès permet de conclure que (EF) est parallèle à (CD).

Télécharger la figure GeoLabo quadri_convexe.glb
Télécharger la figure GéoPlan quadri_convexe.g2w