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