AB = 3.8 (slider from 0 to 10, step 0.1)
A'' = (5.078624239895646, 0.3743745162828639)
c = Circle(A'', AB)
B'' = Point(c)
distanzaAB = Distance(A'', B'')
TestoAB: "\overline{" + (Name[A'']) + (Name[B'']) + "} \, = \, " + distanzaAB
α = 1.0995574287564276 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
β = 0.9424777960769379 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
B'_1 = Rotate(B'', α, A'')
α'' = Angle(B'', A'', B'_1)
a = Ray(A'', B'_1)
A'_1 = Rotate(A'', -1.0 * β, B'')
β'' = Angle(A'_1, B'', A'')
b = Ray(B'', A'_1)
C'' = Intersect(a, b)
poli1, c_1, a_1, b_1 = Polygon(A'', B'', C'')
A' = (-1.4225727657772433, 1.9504222752338676)
d = Circle(A', AB)
B' = Point(d)
B''_1 = Rotate(B', α, A')
α' = Angle(B', A', B''_1)
A''_1 = Rotate(A', -1.0 * β, B')
β' = Angle(A''_1, B', A')
e = Ray(A', B''_1)
f = Ray(B', A''_1)
C' = Intersect(e, f)
poli2, c', a', b' = Polygon(A', B', C')
distanzaA'B' = Distance(A', B')
TestoA'B': "\overline{" + (Name[A']) + (Name[B']) + "} \, = \, " + distanzaA'B'