r

Thalész-kör

r

α

β

r

r

Bizonyítás

A = (2.4844, 3.4762)
B = (13.9464, 3.4762)
f = Segment(A, B)
O = Midpoint(f)
k = Circle(O, B)
C = Point(k)
t1, c, a, b = Polygon(A, B, C)
γ = Angle(A, C, B)
g = Segment(O, C)
α = Angle(O, A, C)
β = Angle(C, B, A)
α_2 = Angle(A, C, O)
β_2 = Angle(O, C, B)
h = Segment(A, O)
i = Segment(O, B)
t2, c_1, a_1, o = Polygon(A, O, C)
t3, o_1, c_2, b_1 = Polygon(C, B, O)
d = false