Le Théorème de Thalès affine constitue un résultat fondamental de la géométrie des espaces affines, établissant une relation de proportionnalité stricte entre les mesures algébriques de segments portés par des droites parallèles sécantes. Cette propriété découle directement de la linéarité des applications affines et de la conservation du barycentre.
Énoncé formel dans un espace affine
Soit $\mathcal{E}$ un espace affine de dimension quelconque sur un corps commutatif $\mathbb{K}$ de caractéristique nulle. Considérons deux droites distinctes $(D)$ et $(\Delta)$ sécantes en un point $O$. Soient $A, B$ deux points distincts de $(D)$ et $A’, B’$ deux points distincts de $(\Delta)$.
Si les droites $(AA’)$ et $(BB’)$ sont parallèles, alors les rapports des mesures algébriques sont égaux :
$$ \frac{\overline{OA’}}{\overline{OA}} = \frac{\overline{OB’}}{\overline{OB}} = \frac{\overline{A’B’}}{\overline{AB}} $$Cette égalité signifie qu’il existe un scalaire $\lambda \in \mathbb{K}$ tel que $\overrightarrow{OA’} = \lambda \overrightarrow{OA}$ et $\overrightarrow{OB’} = \lambda \overrightarrow{OB}$. Le coefficient $\lambda$ est le rapport de l’homothétie de centre $O$ transformant $A$ en $A’$ et $B$ en $B’$.
Hypothèses de non-dégénérescence
Pour que le théorème soit applicable, il est impératif que les points $O, A, B$ soient distincts deux à deux, tout comme $O, A’, B’$. De plus, les droites supportant les segments doivent être distinctes pour éviter la trivialité de la configuration.
La condition de parallélisme $(AA’) \parallel (BB’)$ est la hypothèse géométrique centrale. Dans le langage vectoriel, cela se traduit par la colinéarité des vecteurs directeurs :
$$ \exists k \in \mathbb{K}, \quad \overrightarrow{A’B’} = k \overrightarrow{AB} $$L’objectif de la démonstration est de prouver que ce scalaire $k$ est identique au rapport des vecteurs issus du centre $O$.
Démonstration par la méthode vectorielle
La preuve la plus rigoureuse du Théorème de Thalès affine repose sur la décomposition des vecteurs dans une base adaptée ou l’utilisation directe de la relation de Chasles couplée à la colinéarité.
Preuve détaillée étape par étape
Preuve : Supposons que les droites $(AA’)$ et $(BB’)$ soient parallèles. Il existe donc un réel $\lambda$ tel que :
$$ \overrightarrow{A’B’} = \lambda \overrightarrow{AB} $$Exprimons ces vecteurs en fonction du point d’intersection $O$ en utilisant la relation de Chasles :
$$ \overrightarrow{OB’} – \overrightarrow{OA’} = \lambda (\overrightarrow{OB} – \overrightarrow{OA}) $$Puisque les points $O, A, A’$ sont alignés sur la droite $(D)$, les vecteurs $\overrightarrow{OA}$ et $\overrightarrow{OA’}$ sont colinéaires. Il existe donc un réel $\alpha$ tel que $\overrightarrow{OA’} = \alpha \overrightarrow{OA}$.
De même, $O, B, B’$ étant alignés sur $(\Delta)$, il existe un réel $\beta$ tel que $\overrightarrow{OB’} = \beta \overrightarrow{OB}$.
Substituons ces expressions dans l’équation vectorielle initiale :
$$ \beta \overrightarrow{OB} – \alpha \overrightarrow{OA} = \lambda \overrightarrow{OB} – \lambda \overrightarrow{OA} $$Réarrangeons les termes pour regrouper les vecteurs selon leur direction :
$$ (\beta – \lambda) \overrightarrow{OB} + (\lambda – \alpha) \overrightarrow{OA} = \vec{0} $$Les droites $(D)$ et $(\Delta)$ étant sécantes en $O$, les vecteurs $\overrightarrow{OA}$ et $\overrightarrow{OB}$ sont linéairement indépendants (ils forment une famille libre). La seule combinaison linéaire nulle de vecteurs libres est celle où tous les coefficients sont nuls.
Par conséquent, nous obtenons le système :
$$ \begin{cases} \beta – \lambda = 0 \\ \lambda – \alpha = 0 \end{cases} \implies \alpha = \beta = \lambda $$Ainsi, $\overrightarrow{OA’} = \lambda \overrightarrow{OA}$ et $\overrightarrow{OB’} = \lambda \overrightarrow{OB}$. En passant aux mesures algébriques, on obtient bien l’égalité des rapports : $\frac{\overline{OA’}}{\overline{OA}} = \frac{\overline{OB’}}{\overline{OB}} = \lambda$. $\blacksquare$
Propriétés fondamentales et Réciproque
Le Théorème de Thalès affine ne se limite pas à son sens direct. Sa réciproque et sa forme contraposée sont des outils essentiels pour démontrer le parallélisme ou l’alignement.
Théorème réciproque de Thalès
Soit $(D)$ et $(\Delta)$ deux droites sécantes en $O$. Soient $A, B$ des points de $(D)$ et $A’, B’$ des points de $(\Delta)$, tous distincts de $O$.
Si les rapports sont égaux :
$$ \frac{\overline{OA’}}{\overline{OA}} = \frac{\overline{OB’}}{\overline{OB}} $$et si les points $O, A, A’$ d’une part, et $O, B, B’$ d’autre part, sont alignés dans le même ordre (ou si le rapport est positif), alors les droites $(AA’)$ et $(BB’)$ sont parallèles.
Démonstration rapide : Posons $\lambda = \frac{\overline{OA’}}{\overline{OA}}$. Alors $\overrightarrow{OA’} = \lambda \overrightarrow{OA}$. L’hypothèse implique $\overrightarrow{OB’} = \lambda \overrightarrow{OB}$. On calcule alors $\overrightarrow{A’B’} = \overrightarrow{OB’} – \overrightarrow{OA’} = \lambda(\overrightarrow{OB} – \overrightarrow{OA}) = \lambda \overrightarrow{AB}$. La colinéarité des vecteurs $\overrightarrow{A’B’}$ et $\overrightarrow{AB}$ implique le parallélisme des droites.
Conservation du barycentre
Une propriété profonde du théorème est liée à la conservation du barycentre par projection parallèle. Si $G$ est le barycentre des points pondérés $(A, \alpha)$ et $(B, \beta)$, alors son projeté $G’$ sur $(\Delta)$ parallèlement à $(AA’)$ est le barycentre de $(A’, \alpha)$ et $(B’, \beta)$.
Cela s’écrit vectoriellement :
$$ \overrightarrow{OG’} = \frac{\alpha \overrightarrow{OA’} + \beta \overrightarrow{OB’}}{\alpha + \beta} = \lambda \frac{\alpha \overrightarrow{OA} + \beta \overrightarrow{OB}}{\alpha + \beta} = \lambda \overrightarrow{OG} $$Cette propriété généralise le théorème à un nombre quelconque de points et fonde l’approche affine de la géométrie.
Corollaires et extensions géométriques
Plusieurs résultats classiques découlent immédiatement du Théorème de Thalès affine, enrichissant la boîte à outils du géomètre.
Théorème de la droite des milieux
C’est un cas particulier où le rapport $\lambda = 1/2$. Soit un triangle $OAB$. Si $A’$ est le milieu de $[OA]$ et $B’$ le milieu de $[OB]$, alors la droite $(A’B’)$ est parallèle à $(AB)$.
De plus, la longueur du segment intercepté est la moitié de la base :
$$ A’B’ = \frac{1}{2} AB $$Ce corollaire est fréquemment utilisé pour construire des parallèles ou démontrer des propriétés de médianes sans calcul de coordonnées.
Extension au cas de trois droites parallèles
Si trois droites parallèles coupent deux sécantes, elles déterminent sur ces sécantes des segments de mesures proportionnelles. Soient $(d_1), (d_2), (d_3)$ trois droites parallèles coupant une droite $(\Delta)$ en $A, B, C$ et une droite $(\Delta’)$ en $A’, B’, C’$.
Alors :
$$ \frac{\overline{AB}}{\overline{BC}} = \frac{\overline{A’B’}}{\overline{B’C’}} $$Cette propriété permet de transférer des rapports de sections d’une droite à l’autre sans passer par un centre d’homothétie explicite, en considérant simplement les translations entre les parallèles.
Exemples concrets et applications analytiques
Illustrons l’application du Théorème de Thalès affine par des exemples numériques et des configurations géométriques standards.
Exemple 1 : Calcul de longueur dans un trapèze
Considérons un trapèze $ABCD$ de bases parallèles $[AB]$ et $[CD]$. Les diagonales $[AC]$ et $[BD]$ se coupent en $O$. On donne $AB = 4$ cm et $CD = 6$ cm.
Appliquons Thalès dans le triangle formé par les diagonales et les bases. Les droites $(AB)$ et $(CD)$ sont parallèles. Donc :
$$ \frac{OA}{OC} = \frac{OB}{OD} = \frac{AB}{CD} = \frac{4}{6} = \frac{2}{3} $$Si la longueur totale de la diagonale $AC$ est de 10 cm, on peut déterminer $OA$. Puisque $\frac{OA}{OC} = \frac{2}{3}$, on a $OC = \frac{3}{2} OA$.
Sachant que $OA + OC = AC = 10$, on substitue :
$$ OA + \frac{3}{2} OA = 10 \implies \frac{5}{2} OA = 10 \implies OA = 4 \text{ cm} $$Ce calcul montre comment le théorème permet de diviser un segment selon un rapport connu issu de parallèles.
Exemple 2 : Vérification de parallélisme par la réciproque
Dans un repère orthonormé, soient $O(0,0)$, $A(2,3)$, $B(4,1)$. Plaçons $A'(4,6)$ sur la demi-droite $[OA)$ et $B'(8,2)$ sur $[OB)$.
Vérifions si $(AA’)$ est parallèle à $(BB’)$. Calculons les rapports :
$$ \overrightarrow{OA} = (2,3), \quad \overrightarrow{OA’} = (4,6) = 2\overrightarrow{OA} \implies \frac{OA’}{OA} = 2 $$ $$ \overrightarrow{OB} = (4,1), \quad \overrightarrow{OB’} = (8,2) = 2\overrightarrow{OB} \implies \frac{OB’}{OB} = 2 $$Les rapports sont égaux et les points sont alignés dans le même ordre. D’après la réciproque du Théorème de Thalès affine, les droites $(AA’)$ et $(BB’)$ sont parallèles.
Contre-exemple : Configuration non proportionnelle
Si l’on choisit $A »$ tel que $\overrightarrow{OA »} = 2\overrightarrow{OA}$ mais $B »$ tel que $\overrightarrow{OB »} = 3\overrightarrow{OB}$, alors les rapports $\frac{OA »}{OA} = 2$ et $\frac{OB »}{OB} = 3$ sont différents.
Dans ce cas, la droite $(A »B »)$ n’est absolument pas parallèle à $(AB)$. Elles sont sécantes en un point qui n’est pas $O$ (sauf cas dégénéré). L’égalité des rapports est une condition nécessaire et suffisante pour le parallélisme dans cette configuration.
Généralisation projective et limite
Le Théorème de Thalès affine peut être vu comme un cas limite de propriétés projectives plus générales lorsque le point de fuite est envoyé à l’infini.
Lien avec le birapport
Dans le plan projectif, si l’on considère le point à l’infini $\Omega$ commun aux droites parallèles $(AA’)$ et $(BB’)$, le théorème de Thalès exprime l’égalité de certains birapports impliquant ce point à l’infini.
Plus précisément, la conservation du rapport simple de trois points alignés par projection parallèle est une manifestation de l’invariance du birapport lorsque l’un des points est à l’infini :
$$ [O, A, A’, \infty_D] = [O, B, B’, \infty_\Delta] $$Cette perspective unifie la géométrie affine et projective, montrant que le parallélisme n’est qu’une intersection à l’infini.
Conclusion synthétique
Le Théorème de Thalès affine est un pilier de la géométrie élémentaire et supérieure, reliant algèbre vectorielle et configurations géométriques par la notion de proportionnalité. Sa démonstration par l’indépendance linéaire offre une rigueur indispensable, tandis que sa réciproque fournit un outil puissant de preuve de parallélisme.
Maîtriser ce théorème et ses corollaires, tels que la droite des milieux, est essentiel pour résoudre des problèmes de construction, de calcul de longueurs et pour comprendre la structure des homothéties dans les espaces affines.