γ ésδ a CD húr kerületi szögei;
Mivel a körök egyenlő sugarúak γ=δ
Tehát HC=FC;
DJ és DK a háromszög magasságai;
DJ ⊥ CJ és KD ⊥ KC;
Tehát K és J a CD szakasz Thales körén vannak, azt határozzák meg.

(α az illesztett egyenes forgatását szolgálja)

$\overline{IC}$ a $HFC\triangle$ szimmetriatengelye...

A = (5.4447970977388245, -2.891066419609919)
c = Circle(A, 10)
B = (20.18581682287411, -1.6279294612585684)
d = Circle(B, 10)
C, D = Intersect(c, d)
α = 0.9948376736367678 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
C' = Rotate(C, α, D)
β = Angle(C, D, C')
a = Line(D, C')
E, F = Intersect(d, a)
G, H = Intersect(c, a)
I = Midpoint(H, F)
b = Segment(H, C)
e = Segment(C, F)
f = OrthogonalLine(D, e)
g = Segment(H, F)
J = Intersect(f, e)
h = Segment(D, J)
i = OrthogonalLine(D, b)
K = Intersect(i, b)
j = Segment(K, D)
γ = Angle(F, H, C)
δ = Angle(C, F, H)
k = Segment(C, J)
ε = Angle(C, J, D)
l = Segment(K, C)
ζ = Angle(D, K, C)
m = Segment(C, D)
n = Line(C, I)
η = Angle(D, I, C)