Recta de Euler con ángulo de 60º

Si △PQC es equilátero y AP + QB = PQ
⇒ PQ es la recta de Euler de △ABC

Si se tiene en cuenta que H y O son conjugados isogonales, se puede abreviar el razonamiento.

Por otra parte:
Recta de Euler ⊥ b_C ⇔ ∠C = 60º (Recta de Euler perpendicular a la bisectriz)

Ignacio Larrosa Cañestro (Grupo XeoDin), 22 noviembre 2016. Creado con GeoGebra