il triangolo    0  c  P_t    è simile al triangolo    0   cP   P_tP
e come   P_t  =  c  +  s i   =  c 1  +  s  i  ,    così si ha :
P_t P   =   c P  +  s P_o   
( P_o  è l'ortogonale antiorario di P, così come  i  lo è di  1 )
( t  è la misura in radianti dell'angolo  α 
e  c  ed  s   sono il suo coseno e il suo seno )

A = Intersect(xAxis, yAxis)
B = Point(xAxis)
circ = Circle(A, B)
t = Point(xAxis)
P_t: (cos(x(t)), sin(x(t)))
a = Line(P_t, yAxis)
b = Line(P_t, xAxis)
si = Intersect(b, yAxis)
c = Intersect(a, xAxis)
d = Segment(si, P_t)
e = Segment(P_t, c)
P = (1.3659808259067274, 0.3887256720351023)
f = Line(P, xAxis)
g = Line(P, yAxis)
D = Intersect(f, yAxis)
E = Intersect(g, xAxis)
h = Segment(D, P)
i1 = Segment(P, E)
P_o: (-y(P), x(P))
j = Line(A, P)
k = Line(A, P_o)
l = Segment(B, P)
m = Line(c, l)
cP = Intersect(j, m)
n = Segment(c, cP)
i = Intersect(circ, yAxis, 1)
p = Segment(i, P_o)
q = Line(si, p)
sP_o = Intersect(k, q)
r = Line(sP_o, j)
s_1 = Line(cP, k)
P_tP = Intersect(r, s_1)
a_1 = Segment(cP, P_tP)
b_1 = Segment(sP_o, P_tP)
c_1 = Segment(si, sP_o)
d_1 = Vector(A, P_t)
u = Vector(A, P_tP)
F = Midpoint(c, B)
e_1 = Line(F, yAxis)
G = Intersect(circ, e_1, 2)
f_1 = CircumcircleArc(B, G, P_t)
g_1 = Segment(A, t)
α = Angle(B, A, P_t)