Modifica il valore di a per risolvere altre disequazioni

O = (0, 0)
c = Circle(O, 1)
a = 1 (slider from -10 to 10, step 0.05)
d: y = a
alfa: atan(a)
P: (1, tan(alfa))
A = (1, 0)
e = Segment(P, A)
B = (0, 1)
Q: (-cos(alfa), -sin(alfa))
f = Segment(P, Q)
D = (0, -1)
α = Angle(P, O, B)
β = Angle(Q, O, D)
T1: "tan(α)>=" + a
T2: alfa / π 180 + "° + k 180° <= α < 90° + k 180°"