Les triangles rectangles
Author: Marc Lichtenberg

A = Point(a)
A': (x(A)^(2.0) - y(A)^(2.0), 2.0 * x(A) * y(A))
A'': (x(A) * (x(A)^(2.0) - 3.0 * y(A)^(2.0)), y(A) * (3.0 * x(A)^(2.0) - y(A)^(2.0)))
poly1, a'', a_1, a' = Polygon(A, A', A'')
α = Angle(A', A, A'')
I = (-0.5, 0)
O = (0, 0)
c = Circle(I, O)
B = Point(c)
B': (x(B)^(2.0) - y(B)^(2.0), 2.0 * x(B) * y(B))
B'': (x(B) * (x(B)^(2.0) - 3.0 * y(B)^(2.0)), y(B) * (3.0 * x(B)^(2.0) - y(B)^(2.0)))
poly2, b', b, b'' = Polygon(B, B'', B')
β = Angle(B', B'', B)
C = Point(d)
C': (x(C)^(2.0) - y(C)^(2.0), 2.0 * x(C) * y(C))
C'': (x(C) * (x(C)^(2.0) - 3.0 * y(C)^(2.0)), y(C) * (3.0 * x(C)^(2.0) - y(C)^(2.0)))
poly3, c'', c_1, c' = Polygon(C, C', C'')
γ = Angle(C, C', C'')