1/A

-P

1/P

-1/A

-1/P

-A

O = (0, 0)
U = (1, 0)
c = Circle(O, U)
a = Segment(O, U)
A = Point(a)
b = Line(A, yAxis)
P = Intersect(c, b, 2)
d = Segment(O, P)
e = OrthogonalLine(P, d)
A_{inv}: 1 / A
P_{opp}: -P
f = Segment(O, P_{opp})
P_{inv}: 1 / P
k = Segment(P_{inv}, A_{inv})
A_{oppinv}: (-1) / A
P_{oppinv}: (-1) / P
m = Segment(O, P_{oppinv})
n = Segment(O, P_{inv})
p = Segment(P_{oppinv}, A_{oppinv})
U' = (-1, 0)
poli1, u', p_1, p_{inv} = Polygon(P, P_{inv}, U')
poli2, p_{opp}, u, p_{oppinv} = Polygon(U, P_{oppinv}, P_{opp})
A_{opp}: -A