f(x) = (1 / 2 * x^(2)) - 1
P = Point(f)
P' = Mirror(P, a)
b = Segment(P, P')