Satz des Thales

A = (1.8200000000000003, 2.22)
B = (8.320000000000007, 2.2)
a = Segment(A, B)
M = Midpoint(A, B)
c = Semicircle(A, B)
C = Point(c)
poly1, c_1, a_1, b = Polygon(A, B, C)
α = Angle(A, C, B)
d = Segment(C, M)
β = Angle(A, C, M)
γ = Angle(M, C, B)
β' = Angle(M, A, C)
γ' = Angle(C, B, M)