sin α

sin α

r

cos α

P_2

r

-sin α

-cos α

α_1

Punkt mit gleicher y-Koordinate und Winkel α_2

Punkt mit gleicher x-Koordinate und Winkel α_2

M = Intersect(xAxis, yAxis)
k = Circle(M, 1.0)
P_1 = Point(k)
r = Segment(M, P_1)
a = Line(P_1, xAxis)
A, P_2 = Intersect(k, a)
k_1 = Segment(P_2, P_1)
b = Line(P_1, yAxis)
B = Intersect(xAxis, b)
c = Segment(P_1, B)
B' = Mirror(B, yAxis)
d = Segment(P_2, B')
e = Segment(M, P_2)
f = Segment(M, B)
C, Q = Intersect(k, b)
h = Segment(M, Q)
j = Segment(B, Q)
g = Segment(M, B')
D = Point(k)
α = Angle(D, M, P_1)
α_1 = Angle(D, M, P_2)
γ = Angle(D, M, Q)
l = false
i = false