Recta de Euler: O, G, H son colineales
En todo triángulo no equilátero, el circuncentro , el baricentro y el ortocentro son colineales, con .
La recta de Euler es uno de los resultados más bellos de la geometría elemental: tres centros notables de un triángulo —que se definen por construcciones completamente distintas— resultan estar siempre alineados, y además guardan entre sí una proporción fija.
Sea un triángulo no equilátero. Sean su circuncentro, su baricentro y su ortocentro. Entonces:
- Los puntos son colineales.
- divide al segmento en razón (con entre y ).
- Equivalentemente, .
Trabajamos con vectores tomando como origen, de modo que (el circunradio).
Definición del baricentro. , es decir .
Ortocentro: afirmación clave. Sea . Probaremos que , es decir, que es el ortocentro.
Para que sea el ortocentro, basta probar que (y análogamente para los otros dos lados; por simetría basta uno).
Calculemos el producto escalar:
Por lo tanto . Análogamente para las otras dos alturas. Así está sobre las tres alturas y, por tanto, .
Conclusión. De y , se sigue inmediatamente
Esto significa que está en la recta extendida (al lado opuesto del origen respecto a ), y que . En particular, divide al segmento en razón .
Si el triángulo es equilátero, los tres centros coinciden () y la "recta de Euler" se degenera en un punto. Por eso la hipótesis "no equilátero" es esencial para hablar de una recta única.
El centro de la circunferencia de los nueve puntos también está sobre la recta de Euler, y es el punto medio de . Junto con la relación , esto da las posiciones relativas:
en proporción a lo largo de la recta.
La recta de Euler aparece de forma recurrente en problemas que combinan varios centros notables. Cualquier identidad que relacione con otros puntos del triángulo se simplifica notablemente al recordar que .
Una consecuencia útil: la distancia , que se obtiene desarrollando y usando el producto escalar entre vectores que parten de .