Le cercle de Kenmotu
Author: Yvan Monka - m@ths et tiques 2010

Cercle de Kenmotu

A = (0.47881181226924724, 0.6780274019636343)
B = (8.07686698845785, 0.13176199713961723)
C = (5.262772478758367, 5.826165005002099)
a = Line(A, B)
k_4 = Line(B, C)
g = Line(A, C)
poly4, b_1, c_4, a_1 = Polygon(C, A, B)
c = Rotate(k_4, 315.0*°, B)
b = Rotate(k_4, 45.0*°, C)
d = Rotate(g, 315.0*°, C)
e = Rotate(g, 45.0*°, A)
D = Intersect(d, e)
E = Intersect(c, b)
h = Line(D, B)
l = Line(A, E)
V = Intersect(h, l)
n = Line(C, V)
β = Angle(V, C, B)
α = Angle(B, A, V)
f = Rotate(g, β, C)
m = Rotate(g, -(α), A)
O = Intersect(f, m)
r: a_1 * b_1 * c_4 * sqrt(2.0) / (a_1^(2.0) + b_1^(2.0) + c_4^(2.0) + 4.0 * poly4)
c_1 = Circle(O, r)
H, I = Intersect(c_1, a)
J, K = Intersect(c_1, g)
poly1, k_3, k, h_1, i, L, M = Polygon(K, O, 4.0)
poly2, k_1, i_1, j, l_1, N, P = Polygon(O, I, 4.0)
poly3, k_2, j_1, m_1, n_1, Q, R = Polygon(O, J, 4.0)
δ = Angle(B, A, C)
γ = Angle(C, B, A)
ε = Angle(A, C, B)
p = Circle(L, P, I)