# Tetraedro ortocéntrico

En geometría, un tetraedro ortocéntrico, es un tetraedro cuyas cuatro alturas son concurrentes. Su punto de convergencia se designa entonces como el ortocentro del tetraedro.
Fue estudiado por Simon Lhuilier en 1782 y más adelante por G. de Longchamps en 1890, quien le dio el nombre.
El tetraedro regular y el tetraedro trirrectangular son casos especiales de tetraedro ortocéntrico, pero no así el tetraedro cuatrirrectángulo.

## Propiedades
### Ortogonalidad de aristas opuestas

Un tetraedro es ortocéntrico si y solo si sus aristas opuestas son ortogonales dos a dos.
* Demostración
* Directa
* Sean $H_{A},H_{B},\ldots$ los pies de las alturas provenientes de $A,B,\ldots$. Por hipótesis, los segmentos $(AH_{A})$ y $(BH_{B})$ se cruzan en $H$. Forman el plano $(ABH)$ que contiene los 4 puntos $A,B,H_{A},H_{B}$.
* Por otra parte, $(AH_{A})$ es ortogonal al plano $(BCD)$, por tanto a cualquier normal de este plano, y en particular a $(CD)$. De manera similar, $(BH_{B})$ es ortogonal a $(CD)$, por lo que el plano $(ABH)$ es ortogonal a $(CD)$. Se deduce que $(AB)$ es ortogonal a $(CD)$ y se hace lo mismo con los demás pares de aristas.
* Recíproca
* Sean $H_{A},H_{B},\ldots$ los ortocentros de las caras opuestas a los índices. Siendo los dos segmentos que se cruzan $(BH_{A})$ y $(AB)$ ortogonales a $(CD)$, el plano $(ABH_{A})$ también es ortogonal a $(CD)$, y lo mismo el plano $(ABH_{B})$. Los planos $(ABH_{A})$ y $(ABH_{B})$, ortogonales a una misma recta y que tienen un punto en común, son el mismo. Por lo tanto, las rectas $(AH_{A})$ y $(BH_{B})$ de este plano se cortan en un punto $H$.
* La recta $(AH_{A})$ del plano $(ABH_{A})$ es ortogonal a $(CD)$, y de manera similar se demostraría que es ortogonal a $(BD)$. Por lo tanto, es ortogonal al plano $(BCD)$, es decir, es la altura que viene de $A$. Asimismo, $(BH_{B})$ es la altura de $B$ y estas dos alturas se cruzan. Por simetría, las cuatro alturas son entonces secantes dos a dos, y por lo tanto concurrentes porque no son coplanares.
Además, la denominada relación de Euler AB$^→$⋅CD$^→$+AC$^→$⋅DB$^→$+AD$^→$⋅BC$^→$=0{\textstyle {\overrightarrow {AB}}\cdot {\overrightarrow {CD}}+{\overrightarrow {AC}}\cdot {\overrightarrow {DB}}+{\overrightarrow {AD}}\cdot {\overrightarrow {BC}}=0} implica que basta con que dos pares de aristas opuestas sean ortogonales para que los tres pares lo sean también.

### Pies de las alturas

Un tetraedro es ortocéntrico si y solo si los pies de las cuatro alturas son los ortocentros de las caras, y basta que un pie de altura lo sea para que el tetraedro sea ortocéntrico.
* Demostración
* Directa
* Volviendo a la demostración anterior, la recta $(BH_{A})$ del plano $(ABH)$ ortogonal a $(CD)$ es ortogonal a $(CD)$; es por tanto la altura procedente de $B$ en el triángulo $(BCD)$. Pero por simetría de las hipótesis, las rectas $(CH_{A})$ y $(DH_{A})$ son las otras dos alturas del triángulo $BCD$: $H_{A}$ es, por tanto, el ortocentro, y lo mismo para $H_{B},H_{C},H_{D}$.
* Recíproca
* Sea $H_{A}$ el ortocentro de $BCD$. El plano $(ABH_{A})$ contiene las rectas $(BH_{A})$ y $(AH_{A})$ que son ortogonales a $(CD)$, por lo tanto es ortogonal a $(CD)$. La recta $(AB)$ que está en este plano es por tanto ortogonal a $(CD)$ y se podría hacer lo mismo con los demás pares de aristas opuestas.
Por lo tanto, se obtiene cualquier tetraedro ortocéntrico partiendo de un triángulo y tomando el cuarto vértice en la perpendicular al plano de este triángulo que pasa por el ortocentro.

### Paralelepípedo circunscrito

Es posible inscribir un tetraedro en el paralelepípedo cuyos tres pares de caras paralelas estén incluidos en los pares de planos paralelos que contienen dos aristas opuestas.
Un tetraedro es ortocéntrico si y solo si este paralelepípedo circunscrito tiene sus aristas de la misma longitud, en otras palabras es un romboedro.
De hecho, en el tetraedro, dos aristas opuestas son ortogonales si y solo si las caras correspondientes del paralelepípedo circunscrito son rombos (porque un paralelogramo es un rombo si y solo si sus diagonales son ortogonales). Si cuatro caras de un paralelepípedo son rombos, entonces todas las aristas tienen longitudes iguales y las seis caras son rombos. De ello se deduce que si dos pares de aristas opuestas en un tetraedro se forman a partir de aristas ortogonales, entonces el tercer par tiene la misma propiedad y el tetraedro es ortocéntrico.

### Relación métrica

Un tetraedro “ABCD” es ortocéntrico si y solo si la suma de los cuadrados de las longitudes de dos aristas opuestas es la misma para los tres pares de aristas opuestas:
    $\displaystyle AB^{2}+CD^{2}=AC^{2}+BD^{2}=AD^{2}+BC^{2}.$
De hecho, basta con que solo dos pares de aristas opuestas satisfagan esta condición para que el tetraedro sea ortocéntrico.
* Demostración
* $AB^{2}+CD^{2}-(AC^{2}+BD^{2})=(AB^{2}-AC^{2})-(DB^{2}-DC^{2})={\overrightarrow {CB}}\cdot ({\overrightarrow {AB}}+{\overrightarrow {AC}})-{\overrightarrow {CB}}\cdot ({\overrightarrow {DB}}+{\overrightarrow {DC}})=2{\overrightarrow {CB}}\cdot {\overrightarrow {AD}}$
* Entonces, $AB^{2}+CD^{2}=AC^{2}+BD^{2}$ si y solo si las aristas $(AD)$ y $(BC)$ son ortogonales. Escribiendo la misma relación para las aristas $(AB)$ y $(CD)$, se obtiene que esta condición es necesaria y suficiente.

### Bimedianas

Un tetraedro es ortocéntrico si y solo si sus tres bimedianas (que unen los puntos medios de dos aristas opuestas) tienen la misma longitud.
En efecto, las bimedianas son los segmentos que unen los centros de dos caras opuestas del paralelepípedo circunscrito, que tienen la misma longitud que las aristas paralelas a ellas. Por lo tanto, tienen la misma longitud si y solo si las aristas del paralelepípedo tienen la misma longitud.

### Bialturas

En un tetraedro ortocéntrico, las bialturas (perpendiculares comunes a dos aristas opuestas) coinciden en el ortocentro.
* Demostración
* El punto $H$ pertenece al plano $(ABH)$ que es el plano que contiene a $(AB)$ y ortogonal a $(CD)$. A su vez, también pertenece al plano $(CDH)$, que es el plano que contiene a $(CD)$ y ortogonal a $(AB)$, y por lo tanto pertenece a su intersección que es la bialtura perpendicular común a $(AB)$ y $(CD)$. Asimismo, pertenece a las otras dos bialturas.
Por el contrario, un tetraedro cuyas bialturas son concurrentes es ortocéntrico, equifacial, o está formado por un diamante oblicuo y sus diagonales.

## Punto de Monge y recta de Euler

Se tiene el siguiente teorema, debido a Gaspard Monge:
* En cualquier tetraedro, los seis planos que pasan por el medio de una arista y ortogonales a la arista opuesta pasan por el mismo punto M que es el simétrico del centro O de la esfera circunscrita respecto al centro de gravedad G
Si el tetraedro no es equifacial, en cuyo caso O=G, estos tres puntos están alineados en la denominada recta de Euler por analogía con el caso del triángulo. Y cuando el tetraedro es ortocéntrico, el punto de Monge coincide con el ortocentro.
* Demostración
* Se dispone $M$ como el simétrico de $O$ con respecto a $G$.
* Sean I y J los respectivos puntos medios de [AB] y [CD]. Entonces, se demuestra que ${\overrightarrow {IM}}={\overrightarrow {OJ}}$. Como (OJ) es ortogonal a (CD), esto demuestra que el plano que pasa por $I$ y es ortogonal a $(CD)$ pasa por $M$ y, por simetría, la misma propiedad se cumple para los seis planos similares.
* Se puede afirmar que: ${\overrightarrow {MI}}+{\overrightarrow {MJ}}={\frac {1}{2}}({\overrightarrow {MA}}+{\overrightarrow {MB}}+{\overrightarrow {MC}}+{\overrightarrow {MD}})=2{\overrightarrow {MO}}+2{\overrightarrow {OG}}$; o ${\overrightarrow {OG}}={\frac {1}{2}}{\overrightarrow {OM}}$, por lo tanto ${\overrightarrow {MI}}+{\overrightarrow {MJ}}={\overrightarrow {MO}}$ y ${\overrightarrow {IM}}={\overrightarrow {OJ}}$.
* Si el tetraedro es ortocéntrico, el plano que pasa por el centro de $(AB)$ y ortogonal a $(CD)$ es el plano que contiene a $(AB)$ y ortogonal a $(CD)$. Razonando de la misma manera para el plano que pasa por el medio de $(CD)$ y ortogonal a $(AB)$, se obtiene que el punto $M$ pertenece a su intersección, que es la bialtura asociada a $(AB)$ y $(CD)$. Pertenece por tanto a las tres bialturas, que coinciden en $H$. Entonces, $M=H$.

## Esferas de Euler
### Primera esfera de Euler

Los cuatro puntos medios de las aristas y los ocho pies de las perpendiculares comunes a las aristas opuestas son doce puntos de una misma esfera de centro G. Las intersecciones de la esfera con las caras son sus círculos de Euler.

### Segunda esfera de Euler

Los cuatro puntos ubicados en el tercio de los segmentos que unen H con los vértices, los cuatro pies de las alturas y los cuatro centros de gravedad de las caras son doce puntos de la misma esfera centrada en la recta de Euler en O', que verifica ${\overrightarrow {HO'}}={\frac {1}{3}}{\overrightarrow {HO}}$. Es la imagen de la esfera circunscrita por la homotecia con centro G y razón -1/3.

## Volumen del tetraedro ortocéntrico

Una primera fórmula es:
    $V={\frac {1}{6}}ab\delta$
donde a, b son las longitudes de dos aristas opuestas y $\delta$ su distancia.
Las propiedades de las aristas implican que si solo cuatro de las seis aristas de un tetraedro ortocéntrico son de longitud conocida, se pueden calcular las longitudes de las otras dos si no son opuestas entre sí. Por lo tanto, el volumen de un tetraedro ortocéntrico se puede expresar en términos de cuatro longitudes de aristas a, b, c, a'.
La fórmula es:
    $V={\frac {1}{6}}{\sqrt {4(a^{2}+a'^{2})p(p-a)(p-b)(p-c)-a^{2}b^{2}c^{2}}}$
donde a, b, c son las longitudes de las aristas de una misma cara, $p={\tfrac {1}{2}}(a+b+c)$ es el semi perímetro de esta cara y a' es la longitud de la arista opuesta a la de longitud a.