r515	Spieker point, radical center
r516	excircles, isotomic points, point X(56)
r517	Kiepert hyperbola