m∠POA

P'

S'

c: x^(2) + y^(2) = 1
P = Point(c)
O = Intersect(xAxis, yAxis)
A = Point(c)
f = Segment(P, O)
α = Angle(A, O, P)
g = Line(O, P)
S: (α, sin(α))
C: (cos(α), 0)
D: ((sqrt(2.5) * cos(α)), 0)
i = Segment(P, C)
Q = Mirror(A, f)
R: (cos((2 * α)), 0)
h = Segment(Q, R)
j = Segment(O, Q)
T: (α, sin((2 * α)))
k: x = 4
l = OrthogonalLine(Q, k)
m = OrthogonalLine(P, k)
B = Intersect(k, l)
u = Vector(Q, B)
E = Point(m)
v = Vector(P, E)
n: x = -11
p = OrthogonalLine(T, n)
q = OrthogonalLine(S, n)
F = Intersect(n, p)
w = Vector(F, T)
G = Intersect(n, q)
a = Vector(G, S)