El circuncentro Ot del triángulo tangencial AtBtCt de ABC pertenece a la recta de Euler e de ABC, y el circuncentro O de ABC pertenece a la recta de Euler ei del triángulo de contacto interior AiBiCi.