A = (0.84, 2.96)
B = (4.04, 2.78)
c = Circle(A, B)
a = Segment(A, B)
b = OrthogonalLine(B, a)
C = Point(c)
d = Segment(B, C)
D = Point(b)
e = Segment(A, D)
E = Mirror(B, e)
f = Line(E, D)
g = Segment(A, E)
h = Segment(A, C)
α = Angle(C, B, D)
F = Point(f)