A = (9.866666666666667, 5.5)
B = (10.22716049382716, 9.520987654320985)
c = Circle(A, B)
a = Line(B, A)
C = Point(c)
b = Segment(C, A)
d = OrthogonalLine(C, b)
D = Point(d)
e = Circle(C, D)
E = Intersect(e, d, 2)
f = Segment(E, D)
g = OrthogonalLine(C, a)
φ_1 = Angle(B, A, C)
E' = Rotate(E, 90 ° - φ_1, E)
D' = Rotate(D, 90 ° - φ_1, E)
h = Segment(E', D')
i = Line(D, g)
j = Line(E, g)
k = OrthogonalLine(A, a)
F = Intersect(c, k, 2)
G = Intersect(c, k, 1)
φ = Angle(C, A, F)
φ' = Angle(D, E, D')