t

Point N

t

Point P

O = (0, 0)
I = (1, 0)
c = Circle(O, 1)
t = 0.6283185307179586 (slider from 0 to 3.141592653589793, step 0.10471975511965977)
M: (cos(t), sin(t))
J = (0, 1)
a = Segment(O, M)
α = Angle(I, O, M)
d = OrthogonalLine(M, xAxis)
e = OrthogonalLine(M, b)
A = Intersect(xAxis, d)
B = Intersect(b, e)
f = Segment(M, B)
g = Segment(M, A)
N: (t, sin(t))
h = Segment(B, N)
C: (t, 0)
i = Segment(N, C)
j = false
P: (t, cos(t))
D: (t, 0)
E: (0, cos(t))
k = Segment(E, P)
l = Segment(P, D)
m = Segment(O, E)
n = Segment(O, A)
o = false
q = Segment(O, B)
J' = (0, -1)
r = Segment(J, J')