ángulo = -30 (slider from -90 to 0, step 1)
c = Circle((0, 0), 1)
A = Intersect(c, xAxis, 2)
O = Intersect(xAxis, yAxis)
P = Rotate(A, ángulo 3.141592653589793 / 180, O)
sen = Segment(P, (x(P), 0))
cos = Segment((x(P), 0), O)
T1: "sen " + ángulo + "º = " + (y(P)) + " = - sen " + (-ángulo) + "º"
T2: "cos " + ángulo + "º = " + (x(P)) + "= cos " + (-ángulo) + "º "
Q, a, d, e = Polygon(P, O, (x(P), 0))
β = Angle(P, O, A)
P' = Mirror(P, xAxis)
f = Segment(P', O)
α = Angle(A, O, P')
B = Mirror((x(P), 0), xAxis)
Q', g, h, i = Polygon(P', O, B)
C = (0.17083333333333348, -0.16666666666666666)
T3: "-α=-" + β
D = Mirror(C, xAxis)
T4: "tg " + ángulo + "º = " + (y(P) / x(P)) + "= - tg " + (-ángulo) + "º "