En todo tringulo no equiltero el ortocentro (O), el baricentro (G) y el circuncentro (K)
estn alineados, y, adems, se cumple la relacin mtrica: OG = 2 GK. La recta que los contiene se conoce como recta de Euler (1707-1783). Es muy sencillo comprobar este teorema utilizando Cabri o DR.GEO. (Para los alumnos es un ejercicio divertido) El siguiente applet (el primero que he diseado yo mismo, y, desde luego, mejorable) permite comprobar la situacin partiendo de un tringulo ABC, en el que la colocacin del vrtice C se puede cambiar a otra posicin sin ms que pinchar con el ratn. El dibujo se actualiza inmediatamente, pero no conviene utilizar posiciones de C muy alejadas de la inicial, porque el ortocentro fcilmente cae fuera del applet y se pierde la visin de conjunto.
DEMOSTRACIN: Consideremos la posicin inicial del tringulo ABC (para volver a ella pulsar el botn: "actualizar" del navegador). Llamaremos recta de Euler, de momento, a la que contiene al circuncentro K y al baricentro G. Si aplicamos una homotecia de centro G y razn -2 al tringulo MKG, obtenemos el tringulo GCO (al duplicar la longitud de los lados, el punto M se transforma en el vrtice C). El tringulo GCO obtenido es semejante al MKG y, por ser la razn de semejanza 2, tenemos que OG= 2 GK. Por otra parte OC y MK son paralelos (una homotecia transforma lineas que no pasan por el centro de la misma en lineas paralelas). Resumiendo, resulta que OC es perpendicular a la base AB y que el punto O est situado sobre la recta de Euler a una distancia de G doble que la que separa al circuncentro K de G. Si repitieramos el mismo razonamiento con las otras alturas del tringulo ABC obtendramos, de la misma forma, que cortan a la recta de Euler en el mismo punto, de lo que deducimos que el ortocentro del tringulo ABC es precisamente O.