r1763
The midpoint between the incenter I and the point X(100) is the complement of X(80).