The circumradius is twice the length of the 
radius of the nine point circle.

- HO=2HN
- HB=2 HE (Why?)

A = (5.164418793253371, 14.475952290070131)
B = (46.553998767692995, -15.477033217748133)
C = (-14.596771645670811, -23.412629378261023)
poly1, c, a, b = Polygon(A, B, C)
f = Line(B, C)
g = Line(C, A)
h = Line(A, B)
i = OrthogonalLine(A, f)
k = OrthogonalLine(B, g)
l = OrthogonalLine(C, c)
P_1 = Intersect(h, l)
P_2 = Intersect(g, k)
P_3 = Intersect(f, i)
d = Circle(P_3, P_2, P_1)
H = Intersect(i, k)
m = LineBisector(A, C)
n = LineBisector(A, B)
O = Intersect(m, n)
p = Line(O, H)
q = LineBisector(P_3, P_1)
r = LineBisector(P_2, P_1)
s = LineBisector(P_3, P_1)
t = LineBisector(P_3, P_2)
N = Intersect(p, q)
m_1 = Line(A, H)
E = Intersect(d, q, 1)
F = Intersect(d, m_1, 1)
poly4, o_1, b_1, h_2 = Polygon(B, H, O)
e = Circle(C, A, B)
D = Intersect(d, h, 2)
G = Intersect(d, a, 2)
I = Intersect(d, g, 2)
J = Midpoint(H, A)
K = Midpoint(H, B)
L = Midpoint(H, C)
M = Midpoint(G, P_3)
P = Midpoint(D, P_1)
Q = Midpoint(D, P_1)
S = Center(e)