La perpendicular per l'incentre I a BC talla la circumferència inscrita en Ai. Definim anàlogament Bi, Ci. El triangle medial de AiBiCi és homotètic al triangle de contacte interior d'ABC.