# Teorema de la media geométrica

El teorema de la altura de un triángulo rectángulo o el teorema de la media geométrica es el resultado de una propiedad geométrica elemental, que describe la relación entre las longitudes en un triángulo rectángulo de la altura perpendicular a la hipotenusa y de los dos segmentos en los que subdivide a la hipotenusa. Establece que la media geométrica de los dos segmentos es igual a la altura.

## Teorema y aplicación

Si h denota la altura de un triángulo rectángulo perpendicular a la hipotenusa, y p y q los segmentos en los que divide a hipotenusa, entonces el teorema puede expresarse como:
    $h={\sqrt {pq}}$
o en términos de áreas:
    $h^{2}=pq.$
La última fórmula permite obtener un método para determinar la cuadratura de un rectángulo utilizando regla y compás, es decir, posibilita construir un cuadrado de igual área que un rectángulo dado. Sea un rectángulo con lados dados p y q, cuyo vértice superior izquierdo se denomina D. A continuación, se extiende el segmento q a su izquierda en una longitud p (usando el arco AE centrado en D) y se dibuja un semicírculo con los puntos finales A y B; y con el nuevo segmento p + q como su diámetro. Se traza una línea perpendicular al diámetro en D, que interseca el semicírculo en C. Debido al teorema de Thales, C y el diámetro forman un triángulo rectángulo con el segmento de línea DC como su altura, y por lo tanto, DC es el lado de un cuadrado con el área del rectángulo. El método también permite la construcción de raíces cuadradas (véase número construible), ya que comenzando con un rectángulo que tenga un lado de longitud 1, el cuadrado construido tendrá una longitud lateral que es igual a la raíz cuadrada de la longitud del rectángulo.
La afirmación inversa también es cierta: cualquier triángulo, en el que la altura es igual a la media geométrica de los dos segmentos de línea creados por él, es un triángulo rectángulo.
El teorema de la media geométrica también puede considerarse como un caso especial del teorema de las cuerdas secantes para un círculo, ya que el inverso del teorema de Thales asegura que la hipotenusa del triángulo rectángulo es el diámetro de su circuncírculo.
Históricamente, el teorema se atribuye a Euclides (ca. 360-280 a. C.), quien lo declaró como corolario de la proposición 8 en el libro VI de sus Elementos. En la proposición 14 del libro II, Euclides da un método para cuadrar un rectángulo, que esencialmente coincide con el método dado aquí. Sin embargo, proporciona una prueba diferente ligeramente más complicada para verificar la validez de la construcción, en lugar de confiar en el teorema de la media geométrica.

## Demostración
### Basada en la semejanza

Demostración del teorema:
Los triángulos $\triangle ADC$ y $\triangle BCD$ son semejantes, ya que:
* Considérense los triángulos $\triangle ABC,\triangle ACD$. Entonces se tiene que $\angle ACB=\angle ADC=90^{\circ }$ y $\angle BAC=\angle CAD$, y por lo tanto, por el postulado AA, $\triangle ABC\sim \triangle ACD$
* Además, considérense los triángulos $\triangle ABC,\triangle BCD$. Aquí se tiene que $\angle ACB=\angle BDC=90^{\circ }$ y $\angle ABC=\angle CBD$, y por lo tanto, por el postulado AA, entonces $\triangle ABC\sim \triangle BCD$
Por lo tanto, ambos triángulos $\triangle ACD$ y $\triangle BCD$ son semejantes a $\triangle ABC$ y entre ellos, es decir $\triangle ACD\sim \triangle ABC\sim \triangle BCD$.
Debido a esta relación de semejanza, se obtiene la siguiente igualdad de razones, cuyo reordenamiento algebraico produce el teorema:
    ${\frac {h}{p}}={\frac {q}{h}}\,\Leftrightarrow \,h^{2}=pq\,\Leftrightarrow \,h={\sqrt {pq}}\qquad (h,p,q>0)$
Prueba recíproca:
Cuando se tiene un triángulo $\triangle ABC$ en el que $h^{2}=pq$, entonces es necesario demostrar que el ángulo en C es un ángulo recto. Dado que $h^{2}=pq$, también se tiene que ${\tfrac {h}{p}}={\tfrac {q}{h}}$. Junto con la condición de que $\angle ADC=\angle CDB$, entonces los triángulos $\triangle ADC$ y $\triangle BDC$ tienen un ángulo de igual tamaño y tienen pares de lados correspondientes con la misma proporción. Esto significa que los triángulos son semejantes, lo que produce:
       $\angle ACB=\angle ACD+\angle DCB=\angle ACD+(90^{\circ }-\angle DBC)=\angle ACD+(90^{\circ }-\angle ACD)=90^{\circ }$

### Basada en el teorema de Pitágoras

En la configuración del teorema de la media geométrica hay tres triángulos rectángulos $\triangle ABC$, $\triangle ADC$ y $\triangle DBC$, en el que el teorema de Pitágoras produce:
    $h^{2}=a^{2}-q^{2}$, $h^{2}=b^{2}-p^{2}$ y $c^{2}=a^{2}+b^{2}$
Sumando las dos primeras dos ecuaciones, y luego considerando la tercera, lleva a:
    $2h^{2}=a^{2}+b^{2}-p^{2}-q^{2}=c^{2}-p^{2}-q^{2}=(p+q)^{2}-p^{2}-q^{2}=2pq$ .
Una división por dos finalmente produce la fórmula del teorema de la media geométrica.

### Basada en disección y reordenamiento

Diseccionar el triángulo rectángulo a lo largo de su altura h produce dos triángulos semejantes (rojo y amarillo), que se pueden suplementar (cuadrado y rectángulo ambos de color verde) y organizar de dos formas alternativas, componiendo dos triángulos rectángulos de mayor tamaño, con lados perpendiculares de longitudes p+h y q+h en ambos casos. Una de estas disposiciones requiere un cuadrado (verde) de área h$^2$ para completarla, y la otra necesita un rectángulo (verde) de área pq. Como ambas disposiciones producen el mismo triángulo, las áreas del cuadrado y del rectángulo deben ser idénticas.

### Basada en aplicaciones de corte

El cuadrado de la altitud se puede transformar en un rectángulo de igual área con lados p y q con la ayuda de tres aplicaciones de corte (las aplicaciones de corte preservan el área):