1. Le Concept Clé
Le théorème de Thalès est fondamental en géométrie. Il relie la proportionnalité des longueurs dans un triangle à une condition essentielle : le parallélisme.
Dans un triangle \( ABC \), si une droite \( (DE) \) est parallèle à la droite \( (BC) \) et coupe les côtés \( [AB] \) et \( [AC] \) respectivement en \( D \) et \( E \), alors : \[ \frac{AD}{AB} = \frac{AE}{AC} = \frac{DE}{BC} \] (Note: souvent simplifié en \(\frac{AD}{DB} = \frac{AE}{EC}\) pour les segments sur les côtés)
2. Démonstrations
Approche Classique (Triangles Semblables)
On utilise généralement les triangles semblables.
- Les droites \((DE)\) et \((BC)\) sont parallèles.
- Les angles \(\hat{ADE}\) et \(\hat{ABC}\) sont correspondants, donc égaux.
- L'angle \(\hat{A}\) est commun aux deux triangles \(ADE\) et \(ABC\).
- Conclusion : Les triangles \(ADE\) et \(ABC\) onleurs trois angles égaux, ils sont donc semblables.
- Leurs côtés sont donc proportionnels : \(\frac{AD}{AB} = \frac{AE}{AC} = \frac{DE}{BC}\).
Approche par Coordonnées
On place les points dans un repère, par exemple \(A(0,0)\).
Si \(D\) est sur \([AB]\), on peut écrire \( \vec{AD} = k \cdot \vec{AB} \).
La condition de parallélisme entre \((DE)\) et \((BC)\) impose que leurs pentes soient égales.
Un calcul simple d'équation de droite montre que l'intersection \(E\) avec \([AC]\) vérifie nécessairement \( \vec{AE} = k \cdot \vec{AC} \).
On retrouve donc le même rapport de proportionnalité \(k\).
Preuve par les Aires (Euclide)
C'est la preuve historique d'Euclide (Proposition 2 du Livre VI). Elle est très élégante et ne nécessite que des calculs d'aires basiques.
- Les triangles \(BDE\) et \(CDE\) ont la même base \([DE]\) et la même hauteur (car \((DE) // (BC)\)). Donc : \[ \text{Aire}(BDE) = \text{Aire}(CDE) \]
- On ajoute l'aire de \(ADE\) aux deux. Ou mieux, on compare les rapports : \[ \frac{\text{Aire}(ADE)}{\text{Aire}(BDE)} = \frac{\text{Aire}(ADE)}{\text{Aire}(CDE)} \]
- Or, la hauteur issue de \(E\) est la même pour \(ADE\) et \(BDE\). Donc le rapport de leurs aires vaut le rapport de leurs bases : \(\frac{AD}{DB}\).
- De même pour l'autre côté : \(\frac{AE}{EC}\).
- Conclusion : \(\frac{AD}{DB} = \frac{AE}{EC}\).
Approche par l'Homothétie
L'homothétie est une transformation géométrique qui correspond à un "zoom".
On considère l'homothétie \(h\) de centre \(A\) qui transforme \(B\) en \(D\).
- Si \(h(B) = D\), alors \(D\) est sur la droite \((AB)\).
- L'image d'une droite par une homothétie est toujours une droite parallèle. Donc \(h((BC))\) est une droite passant par \(D\) et parallèle à \((BC)\) : c'est la droite \((DE)\).
- Comme \(C\) est sur \((BC)\), son image \(E\) doit être sur \((DE)\). Et comme une homothétie conserve l'alignement avec le centre, \(E\) est sur \((AC)\).
Conclusion : Le triangle \(ADE\) est simplement une "miniature" du triangle \(ABC\). Le rapport de zoom \(k\) s'applique partout : \(AD = k \cdot AB\), \(AE = k \cdot AC\), \(DE = k \cdot BC\).
Preuve Vectorielle
C'est la version moderne, très concise.
On exprime \(\vec{DE}\) en fonction de \(\vec{BC}\) grâce à la relation de Chasles et la colinéarité supposée :
Si \((DE) // (BC)\), alors il existe un réel \(t\) tel que \(\vec{DE} = t \cdot \vec{BC}\).
Or \(\vec{DE} = \vec{DA} + \vec{AE} = -k\vec{AB} + \vec{AE}\).
L'unicité de la décomposition des vecteurs dans un repère (ou l'axiome de Thalès vectoriel) permet de conclure que nécessairement :
\[ \vec{AE} = k \cdot \vec{AC} \]3. Applications Pratiques
Mesurer un Arbre
Comment mesurer un très grand arbre sans grimper dessus ? Utilisez son ombre !
Plantez un bâton de taille connue à côté. Les rayons du soleil sont parallèles (à notre échelle), donc ils forment deux triangles semblables.
Perspective & Architecture
Les architectes et les artistes utilisent Thalès pour créer de la profondeur. Dans une perspective à un point de fuite, les lignes qui s'éloignent convergent.
Pour dessiner des fenêtres qui semblent de même taille mais s'éloignent, leur largeur apparente doit diminuer proportionnellement à la distance au point de fuite. C'est une application directe du théorème.
4. Laboratoire Interactif
Entraînez-vous à calculer les longueurs manquantes. Supposons que \((DE) // (BC)\).
Calculateur
Formule utilisée : \( \frac{AD}{DB} = \frac{AE}{EC} \) donc \( EC = \frac{AE \times DB}{AD} \)
Fiche Récapitulative
| Concept | Formule |
|---|---|
| Théorème | \(\frac{AD}{AB} = \frac{AE}{AC}\) |
| Papillon | Marche aussi si A est entre les parallèles (configuration sablier) |
| Réciproque | Si \(\frac{AD}{AB} = \frac{AE}{AC}\), alors parallèles. |