r715	cevian product, incenter, Clawson point
r716	orthocenter
r717	circumcircle, altitudes, tripolar