P

1

-α

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)
a = Segment(A, B)
e = OrthogonalLine(B, u)
D = Point(u)
E = Point(u)
g = Segment((-2, 0), (2, 0))
h = OrthogonalLine(B, u)
G = Intersect(h, g)
α = Angle(g, a)
H = Intersect(c, g, 2)
j = Segment(A, G)
m = Segment(G, B)
C = Intersect(c, h, 2)
d = Segment(A, C)
f = Segment(G, C)
β = Angle(d, g)