P

π/2-α

u = Vector((-2, 0), (2, 0))
v = Vector((0, -2), (0, 2))
A = (0, 0)
c = Circle(A, 1)
B = Point(c)
b = Line(B, u)
e = OrthogonalLine(B, u)
D = Point(u)
E = Point(u)
g = Segment((-2, 0), (2, 0))
f = Segment((0, -2), (0, 2))
C = Intersect(c, f, 2)
P_2: (y(B), x(B))
a = Segment(A, B)
d = Segment(A, P_2)
α = Angle(g, a)
β = Angle(g, d)
i = OrthogonalLine(B, u)
j = OrthogonalLine(P_2, u)
k = OrthogonalLine(P_2, v)
l = OrthogonalLine(B, v)
F = Intersect(k, f)
H = Intersect(l, f)
I = Intersect(j, g)
J = Intersect(i, g)
h = Segment(F, P_2)
p = Segment(B, J)
m = Segment(A, J)
n = Segment(F, A)