Le théorème de Thalès : énoncé, réciproque et usages en prépa

Ce que recouvre vraiment le théorème

Une propriété de proportionnalité

Le théorème de Thalès n'est pas une formule à appliquer mécaniquement. C'est un énoncé de proportionnalité. Il relie une situation géométrique, le parallélisme, à une situation numérique, l'égalité de rapports.

Tu passes d'une information qualitative, « ces droites sont parallèles », à une information quantitative, « ces longueurs sont dans le rapport 2/3 ». La traduction fonctionne dans les deux sens, à condition de savoir lequel tu utilises.

Le vocabulaire selon les pays

En français, « théorème de Thalès » désigne cette propriété de proportionnalité. Ce n'est pas un usage universel. En anglais, le résultat correspondant s'appelle le plus souvent intercept theorem, et l'expression Thales' theorem désigne un autre énoncé : tout triangle inscrit dans un demi-cercle, dont un côté est le diamètre, est rectangle. En allemand, la proportionnalité se dit Strahlensatz.

Ce que le théorème ne dit pas

Le théorème ne donne ni angle ni aire. Il ne remplace pas le théorème de Pythagore. Surtout, il ne démontre pas le parallélisme : le parallélisme est son hypothèse, pas sa conclusion.

L'énoncé rigoureux et ses conditions d'application

La configuration du triangle emboîté

Soit un triangle ABC. Soit M un point de la droite (AB) et N un point de la droite (AC), tous deux distincts de A. Si les droites (MN) et (BC) sont parallèles, alors les rapports de longueurs suivants sont égaux.

AM / AB = AN / AC = MN / BC

AM et AB sont les longueurs des segments portés par la première sécante, en centimètres ou dans toute unité de longueur commune. AN et AC sont les longueurs sur la seconde sécante. MN et BC sont les longueurs des deux segments parallèles. Les trois quotients sont des nombres sans unité.

Ici M appartient à [AB] et N à [AC]. Le triangle AMN est contenu dans le triangle ABC, d'où le nom de triangle emboîté.

La configuration dite papillon

La même situation existe avec les points placés de part et d'autre du point d'intersection. Soit deux droites sécantes en A. Soit B et D sur la première, C et E sur la seconde, avec A strictement entre B et D, et A strictement entre C et E. Si (BC) et (DE) sont parallèles, l'égalité des rapports subsiste.

AB / AD = AC / AE = BC / DE

Les triangles ABC et ADE sont alors symétriques par rapport à A, à un facteur d'échelle près. La figure évoque deux ailes jointes par un sommet, d'où son nom.

Les conditions qu'on oublie

Trois conditions sont indispensables. Les deux droites support doivent être sécantes, et leur point d'intersection nommé. Les points doivent être alignés avec lui, deux par deux sur chaque sécante. Les deux droites à comparer doivent être parallèles.

Si les deux sécantes sont elles aussi parallèles, tu n'as pas de point d'intersection. Tu n'es pas dans une configuration de Thalès mais dans un parallélogramme.

Écrire les rapports sans se tromper dans l'ordre des points

La méthode des trois sécantes

L'erreur la plus fréquente ne porte pas sur le théorème mais sur l'écriture des fractions. Écris trois fractions côte à côte. Au numérateur, les trois longueurs du petit triangle, dans l'ordre des sommets. Au dénominateur, les trois longueurs correspondantes du grand triangle, dans le même ordre des sommets.

Chaque fraction commence par le sommet d'intersection, ici A. Tu écris AM / AB, puis AN / AC, jamais MA / AB mélangé avec AN / CA. La troisième fraction est la seule sans A, puisqu'elle compare les deux parallèles.

Tableau récapitulatif des configurations

Deux calculs de longueur entièrement résolus

Exemple 1, dans le triangle emboîté

Énoncé. Dans un triangle ABC, M appartient à [AB] et N appartient à [AC]. Les droites (MN) et (BC) sont parallèles.

On donne AM = 4 cm, AB = 6 cm, AN = 5 cm et BC = 9 cm. Calcule AC puis MN.

Étape 1, vérifier la configuration. Les droites (AB) et (AC) sont sécantes en A. Les points A, M, B sont alignés, et A, N, C aussi.

Les droites (MN) et (BC) sont parallèles par hypothèse. Le théorème s'applique donc.

Étape 2, écrire l'égalité des trois rapports.

AM / AB = AN / AC = MN / BC

Étape 3, calculer le coefficient. On remplace par les valeurs connues : AM / AB = 4 / 6 = 2/3. Ce nombre 2/3 est le rapport de réduction entre le grand triangle et le petit.

Étape 4, calculer AC. L'égalité AN / AC = 2/3 donne 5 / AC = 2/3. Par produit en croix, 2 × AC = 3 × 5, donc AC = 15 / 2 = 7,5 cm.

Étape 5, calculer MN. L'égalité MN / BC = 2/3 donne MN = (2/3) × 9 = 6 cm.

Conclusion. AC = 7,5 cm et MN = 6 cm. MN est plus court que BC, ce qui est cohérent avec un rapport inférieur à 1.

Exemple 2, dans la configuration papillon

Énoncé. Les droites (BD) et (CE) se coupent en A. Les points B, A, D sont alignés dans cet ordre, et C, A, E aussi. Les droites (BC) et (DE) sont parallèles.

On donne AB = 3 cm, AC = 4 cm, AD = 4,5 cm et BC = 5 cm. Calcule AE puis DE.

Étape 1, identifier la configuration. Le point A est entre B et D, et entre C et E. Les deux parallèles sont (BC) et (DE). C'est bien une configuration papillon.

Étape 2, écrire l'égalité adaptée.

AB / AD = AC / AE = BC / DE

Étape 3, calculer le coefficient. AB / AD = 3 / 4,5 = 2/3. Le triangle ABC est une réduction de ADE de rapport 2/3.

Étape 4, calculer AE. De AC / AE = 2/3 on tire 4 / AE = 2/3, puis 2 × AE = 3 × 4, donc AE = 6 cm.

Étape 5, calculer DE. De BC / DE = 2/3 on tire 5 / DE = 2/3, donc 2 × DE = 15 et DE = 7,5 cm.

Conclusion. AE = 6 cm et DE = 7,5 cm. Ici le triangle ADE est l'agrandissement, ses longueurs sont toutes plus grandes dans le rapport 3/2.

La réciproque, la contraposée et le théorème des milieux

La réciproque démontre un parallélisme

La réciproque s'énonce ainsi. Soit M sur (AB) et N sur (AC), distincts de A.

Suppose que AM / AB = AN / AC. Suppose de plus que les points A, M, B et les points A, N, C sont rangés dans le même ordre. Alors les droites (MN) et (BC) sont parallèles.

Deux points méritent attention. La réciproque n'utilise que les deux rapports portés par les sécantes. Le rapport MN / BC n'est pas une hypothèse utilisable, puisque MN est inconnu.

La condition d'ordre est indispensable. Sans elle, la conclusion peut être fausse, car les points pourraient se trouver de part et d'autre de A sur une seule des deux droites.

Exemple résolu d'usage de la réciproque

Énoncé. Dans un triangle ABC, M appartient à [AB] et N appartient à [AC]. On donne AM = 3 cm, AB = 7,5 cm, AN = 4 cm et AC = 10 cm. Les droites (MN) et (BC) sont-elles parallèles ?

Étape 1, calculer le premier rapport. AM / AB = 3 / 7,5 = 0,4.

Étape 2, calculer le second rapport. AN / AC = 4 / 10 = 0,4.

Étape 3, comparer. Les deux rapports sont égaux à 0,4.

Étape 4, vérifier l'ordre des points. M appartient au segment [AB] et N au segment [AC]. Les points A, M, B et les points A, N, C sont donc rangés dans le même ordre.

Conclusion. D'après la réciproque du théorème de Thalès, les droites (MN) et (BC) sont parallèles.

La contraposée et son usage

La contraposée se déduit de la réciproque sans démonstration nouvelle. Si AM / AB ≠ AN / AC, alors (MN) et (BC) ne sont pas parallèles. Elle sert à prouver un non-parallélisme, question fréquente en exercice.

Reprends les données précédentes en remplaçant AC = 10 cm par AC = 9 cm. Alors AM / AB = 0,4 et AN / AC = 4/9 ≈ 0,444. Les deux rapports diffèrent, donc les droites ne sont pas parallèles.

Distinction à tenir fermement. Le théorème part du parallélisme et conclut sur des longueurs. La réciproque part de longueurs et conclut au parallélisme. La contraposée conclut à un non-parallélisme.

Beaucoup de copies perdent des points en invoquant « le théorème de Thalès » pour démontrer un parallélisme.

Le théorème des milieux comme cas particulier

Si M est le milieu de [AB] et N le milieu de [AC], alors (MN) et (BC) sont parallèles, et MN = BC / 2. C'est exactement la réciproque appliquée au rapport 1/2, suivie du théorème appliqué dans l'autre sens.

Ce n'est donc pas un résultat indépendant. Il reste utile, car le rapport est connu d'avance, ce qui raccourcit la rédaction.

Traduction vectorielle et lecture par les transformations

La version vectorielle

La formulation vectorielle supprime toute discussion d'ordre des points. Elle s'écrit ainsi, en notant les vecteurs par leurs extrémités.

Si AM→ = k · AB→ et AN→ = k · AC→ avec k ∈ ℝ, alors MN→ = k · BC→

Ici k est un réel sans unité, appelé rapport. Les vecteurs AM→, AB→, AN→, AC→, MN→, BC→ sont des vecteurs du plan ou de l'espace. L'égalité MN→ = k · BC→ signifie que les deux vecteurs sont colinéaires, donc que les droites (MN) et (BC) sont parallèles.

La démonstration tient en une ligne. On écrit MN→ = AN→ − AM→, soit k · AC→ − k · AB→, soit k · (AC→ − AB→), soit k · BC→.

Cette version est celle que tu utiliseras en prépa. Elle vaut aussi pour k négatif, ce qui couvre d'un coup les deux configurations.

La lecture par les homothéties

Une homothétie de centre A et de rapport k associe à tout point P le point P′ tel que AP′→ = k · AP→. Dans la configuration de Thalès, l'application qui envoie B sur M et C sur N est exactement l'homothétie de centre A et de rapport k.

Deux propriétés de l'homothétie redonnent alors le théorème entier. Une homothétie transforme une droite en une droite parallèle. Elle multiplie toutes les longueurs par la valeur absolue de son rapport.

Le théorème devient ainsi un cas particulier d'un énoncé sur les transformations. Le triangle emboîté correspond à k positif, la configuration papillon à k négatif.

Similitudes et applications affines

Une similitude de rapport k multiplie toutes les longueurs par k et conserve les angles. Les homothéties en sont. Les triangles AMN et ABC sont donc semblables, ce qui redonne l'égalité des trois rapports.

Plus généralement, une application affine conserve les barycentres, donc les rapports de longueurs sur une même droite. Cette propriété est la forme la plus abstraite du théorème, et celle qui en explique la portée.

Usages en géométrie analytique et en prépa

En géométrie analytique

En repère, le parallélisme se lit sur les vecteurs directeurs. Deux vecteurs u de coordonnées (x ; y) et v de coordonnées (x′ ; y′) sont colinéaires si et seulement si leur déterminant est nul.

x · y′ − x′ · y = 0

x, y, x′, y′ sont les coordonnées des vecteurs dans une base donnée, sans unité si le repère est adimensionné. Le déterminant est un nombre réel.

Le lien avec Thalès est direct. L'égalité y / x = y′ / x′ et l'annulation du déterminant sont la même condition. La seconde écriture reste valable quand x ou x′ est nul.

Où la notion resurgit en classe préparatoire

Les programmes de CPGE scientifiques ne listent pas le théorème de Thalès comme objet d'étude. Il y est supposé acquis, puis réinvesti. Tu le retrouves derrière plusieurs outils.

En géométrie affine, il justifie que les rapports de longueurs sur une droite se conservent par projection parallèle. En calcul barycentrique, il sous-tend les relations de Ménélaüs et de Ceva. En optique géométrique, le grandissement d'une lentille mince s'obtient par des triangles semblables, donc par Thalès.

Erreurs classiques en colle et en copie

Première erreur, confondre théorème et réciproque. Tu ne peux pas démontrer un parallélisme avec le théorème direct.

Deuxième erreur, oublier la condition d'ordre dans la réciproque. Deux rapports égaux ne suffisent pas si les points ne sont pas rangés de la même façon.

Troisième erreur, inverser une fraction. Mélanger AM / AB avec AC / AN donne un résultat faux sans que le calcul le signale.

Quatrième erreur, appliquer l'égalité au troisième rapport dans la réciproque. Le rapport des parallèles est une conséquence, jamais une hypothèse.

Applications concrètes, histoire et programme

Mesurer une hauteur inaccessible

L'application la plus ancienne mesure une hauteur par son ombre. Un bâton vertical de hauteur h projette une ombre de longueur l. Au même instant, un bâtiment de hauteur H projette une ombre de longueur L. Les rayons du Soleil étant supposés parallèles, les deux triangles sont en configuration de Thalès.

H / h = L / l, donc H = h × L / l

H et h sont des hauteurs, L et l des longueurs d'ombre, toutes dans la même unité, par exemple le mètre. Le quotient L / l est sans unité.

Agrandissement, réduction et échelles

Un agrandissement de rapport k multiplie les longueurs par k, les aires par k² et les volumes par k³. Le théorème de Thalès fournit ce k sur une figure.

Une échelle de carte fonctionne pareil. Une échelle de 1 / 25 000 signifie que 1 cm sur la carte vaut 25 000 cm sur le terrain, soit 250 m.

Ce que la tradition attribue à Thalès

Thalès de Milet est un penseur grec du VIe siècle avant notre ère. Aucun écrit de lui ne nous est parvenu. Tout ce que nous savons passe par des auteurs bien postérieurs, parfois de plusieurs siècles.

Il est établi que la tradition antique lui attribue des résultats de géométrie. Il n'est pas établi qu'il ait démontré, au sens actuel, l'énoncé qui porte son nom en français.

L'histoire de la mesure de la pyramide par son ombre est rapportée par Diogène Laërce, auteur du IIIe siècle de notre ère, qui cite Hiéronyme de Rhodes. Plutarque raconte une variante dans son Banquet des sept sages. Les deux textes sont donc très postérieurs aux faits allégués.

Proclus, au Ve siècle de notre ère, dans son commentaire sur Euclide, attribue à Thalès plusieurs propositions élémentaires. Là encore, il écrit bien après.

La proportionnalité elle-même est démontrée dans les Éléments d'Euclide, au livre VI. La proposition 2 y établit que si une droite coupe deux côtés d'un triangle parallèlement au troisième, elle les coupe proportionnellement, et réciproquement.

Le nom de Thalès n'y figure pas. L'attribution du théorème à Thalès relève d'une tradition scolaire, surtout francophone, et non du texte d'Euclide.

Où vérifier sa place dans les programmes

En France, ces configurations sont travaillées au collège, au cycle 4, avec le théorème puis sa réciproque. Les programmes de collège ont été révisés récemment. Vérifie donc la version en vigueur sur le site du ministère et au Bulletin officiel, plutôt que sur des reprises de seconde main.