The perpendicular from the incenter I to BC cuts AB at Ab and AC at Ac. Define analogously Bc, Ba, Ca, Cb. One of the three segments AbAc, BcBa, CaCb is the sum of the other two.