A = (2.1471074380165303, 3.0142148760330576)
K = (6.428099173553719, 3.113388429752066)
a = Segment(A, K)
k = 1.618033988749895
c: a / k
d = Circle(A, c)
I = Intersect(d, a, 1.0)
b = OrthogonalLine(K, a)
C_1 = Midpoint(a)
r = Circle(I, A)
i = LineBisector(I, K)
F = Intersect(r, i, 1.0)
j = Line(A, K)
A' = Intersect(r, j, 2.0)
g_1 = Segment(F, A)
α = Angle(F, A, I)
e = Line(A, F)
f = Circle(K, Segment[A, I])
C = Intersect(f, j, 2.0)
g = Circle(A, C)
D = Intersect(g, e, 2.0)
h = Circle(A, C, D)
l = Segment(A, D)
m = Segment(K, C)
p = Circle(C, D)
q = Circle(D, C)
B = Intersect(h, p, 2.0)
E = Intersect(h, q, 2.0)
n = Segment(B, E)
s = Segment(E, C)
t = Segment(B, D)
O = Center(h)
a_1 = Segment(D, O)
b_1 = Segment(O, C)
β = Angle(D, O, C)