c: ((y - (2 * x) - 1) * (y - (2 * x) + 2)) = 0
A_∞: (1, 2)
B_∞: (-2, 1)
o_2: 0 = (-4 * x) + (2 * y) + 1
o_1: x + (2 * y) = 0
O = (0, 0)
p = Polar(O, c)