O = (10.217264608192888, -2.126745971214172)
B_1 = (14.635781522942548, -5.986599827777093)
c = Circle(O, B_1)
A = (10.445808586542007, 5.135873785213431)
a = Segment(A, O)
D = Midpoint(A, O)
d = Circle(D, O)
C = Intersect(c, d, 2.0)
B = Intersect(c, a, 1.0)
h = Segment(A, B)
e = Segment(B, O)
R = Segment(O, C)
f = Segment(A, C)
α = Angle(A, C, O)