A = Point(c)
B = Point(c)
M = Midpoint(A, B)
I: (x(M), x(M)^(2.0))
a = Tangent(I, c)
b = Line(A, B)