Talesov izrek

A = (0, 3)
B = (3, 0)
a = Segment(A, B)
c = Semicircle(B, A)
C = Point(c)
mnogokotnik1, b, a_1, c_1 = Polygon(A, C, B)
α = Angle(B, C, A)