La perpendicular per l'incentre I a BC talla AB en Ab i AC en Ac. Anàlogament definim Bc, Ba, Ca, Cb. Dels tres segments AbAc, BcBa, CaCb n'hi ha un que és la suma dels altres dos.