La perpendicular por el incentro I a BC corta AB en Ab y AC en Ac. Análogamente definimos Bc, Ba, Ca, Cb. De los tres segmentos AbAc, BcBa, CaCb uno es la suma de los otros dos.