La perpendicular por el incentro I a BC corta la circunferencia inscrita en Ai. Definimos análogamente Bi, Ci. El triángulo medial de AiBiCi es homotético al triángulo de contacto interior de ABC.