Théorème de la moyenne géométrique
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Hoehensatz2.svg/260px-Hoehensatz2.svg.png)
Le théorème de la hauteur du triangle rectangle ou théorème de la moyenne géométrique est un résultat de géométrie élémentaire qui exprime une relation entre la hauteur sur l'hypoténuse d'un triangle rectangle et les deux segments qu'elle découpe sur l'hypoténuse. Il établit que la moyenne géométrique des longueurs des deux segments est égale à la hauteur.
Théorème et applications
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/Root_construction_geometric_mean5.svg/260px-Root_construction_geometric_mean5.svg.png)
Si h désigne la hauteur d'un triangle rectangle et p et q les longueurs des segments sur l'hypoténuse, le théorème s'écrit [1]:
ou, en termes d'aires :
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Am_gm_half_circle3.svg/260px-Am_gm_half_circle3.svg.png)
Cette deuxième version donne une méthode pour construire à la règle et au compas un carré de même aire qu'un rectangle donné. Pour un rectangle de côtés p et q, on note le sommet en haut à gauche D. On prolonge le segment de longueur q à sa gauche par un segment de longueur p (en utilisant un arc de cercle AE centré en D) et on trace un demi-cercle d'extrémités A et B de diamètre le nouveau segment de longueur p+q. On trace ensuite une droite perpendiculaire au diamètre en D qui va intersecter le demi-cercle en C. Par le théorème de Thalès, C et le diamètre forment un triangle rectangle de hauteur DC, donc DC est le côté d'un carré de même aire que le rectangle. La méthode permet aussi de donner une construction de racines carrées (voir nombre constructible), car en partant d'un rectangle de largeur 1, le carré construit aura un côté égal à la racine carrée de la longueur du rectangle de départ[1],[2].
Une autre application permet de prouver géométriquement l'inégalité arithmético-géométrique de deux nombres. Pour les nombres p et q, on construit un demi-cercle de diamètre p + q. Alors la hauteur représente la moyenne géométrique et le rayon la moyenne arithmétique des deux nombres. Puisque la hauteur est toujours inférieure ou égale au rayon, on en déduit l'inégalité[3].
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Sehnensatz_hoehensatz.svg/260px-Sehnensatz_hoehensatz.svg.png)
Le théorème peut aussi être vu comme un cas spécial de la puissance d'un point par rapport à un cercle, car la réciproque du théorème de Thalès assure que l'hypoténuse du triangle rectangle est le diamètre de son cercle circonscrit[1].
L'énoncé réciproque est également vrai. Tout triangle tel que sa hauteur est égale à la moyenne géométrique des deux segments qu'il crée sur la base, est rectangle.
Histoire
Le théorème est couramment attribué à Euclide (ca. 360–280 EC), qui l'a établi comme un corollaire de la proposition 8 du livre VI de ses Éléments. Dans la proposition 14 du livre II, Euclide donne une méthode pour rendre carré un rectangle, qui correspond de près à la méthode décrite supra. Euclide donne toutefois une preuve différente, un peu plus compliquée, pour l'exactitude de la construction en n'utilisant pas le théorème de la moyenne géométrique[1],[4],[5].
Preuves
En utilisant les triangles semblables
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dc/Hoehensatz.svg/260px-Hoehensatz.svg.png)
- Preuve directe
Les triangles ADC et BCD sont semblables, car :
- en considérant les triangles ABC et ACD, on a et , donc ABC et ADC sont semblables ;
- en considérant les triangles ABC et BCD, on a donc et , et par le même résultat, ABC et BCD sont semblables ;
Ainsi, les deux triangles ACD et BCD sont tous deux semblables à ABC et donc entre eux.
Par la similitude, on a égalité des rapports, qui permettent de conclure[1]:
- Preuve de la réciproque
Pour la réciproque, on a un triangle ABC tel que et on doit conclure que l'angle en C est droit. De , on en déduit . En remarquant que , les triangles ACD et BCD ont un angle de même mesure et une paire de côtés de rapports égaux. Les triangles sont donc semblables, donc on déduit :
Par le théorème de Pythagore
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dc/Hoehensatz_beweis_pythagoras.svg/220px-Hoehensatz_beweis_pythagoras.svg.png)
Dans la configuration étudiée, on a trois triangles droits : ABC, ADC et DBC, qui, par application du théorème de Pythagore, donnent les égalités :
La somme des deux premières égalités permet d'avoir :
- .
dont on déduit naturellement l'égalité du théorème recherché[6]
Par dissection et réarrangement
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Geometrischer_H%C3%B6hensatzbeweis.svg/590px-Geometrischer_H%C3%B6hensatzbeweis.svg.png)
La découpe du triangle rectangle le long de sa hauteur donne deux triangles semblables, qu'on peut retrouver, de deux manières différentes, dans un triangle rectangle plus grand d'apothèmes p+h et q+h. Le premier arrangement demande d'ajouter un carré d'aire h2 pour le compléter, l'autre un rectangle d'aire pq. Puisque les deux arrangements mènent au même triangle, les aires du carré et du rectangle sont égales.
Par transvections
Le carré de la hauteur peut être transformé en un rectangle d'aire égale de côtés p et q par composition de trois transvections, ou cisaillements, qui préservent l'aire :
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Scherungen_alle2.svg/880px-Scherungen_alle2.svg.png)
Articles connexes
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Geometric mean theorem » (voir la liste des auteurs).
- ↑ a b c d et e (de) Hartmut Wellstein et Peter Kirsche, Elementargeometrie, Springer, , 76-77 p. (ISBN 9783834808561, lire en ligne)
- ↑ « Construction géométriques - Cinq quadratures du rectangle »
- ↑ (en) Claudi Alsina et Roger B. Nelsen, Icons of Mathematics: An Exploration of Twenty Key Images, MAA 2011, 31–32 p. (ISBN 9780883853528, lire en ligne)
- ↑ Euclide, Éléments (lire en ligne), Livre II – proposition 14
- ↑ Euclide, Éléments (lire en ligne), Livre VI – proposition 8
- ↑ (en) Ilka Agricola et Thomas Friedrich, Elementary Geometry, AMS, , 25 p. (ISBN 9780821843475)
- ↑ La démonstration s'appuie sur le fait que le triangle découpé à gauche dans le triangle rectangle est égal, par rotation, au triangle découpé dans le haut du carré
Liens externes
- Geometric Mean sur Cut-the-Knot
Portail de la géométrie