f: y = -1
P: (0, 1)
c = Parabola(P, f)
A = Point(c)
g = OrthogonalLine(A, xAxis)
B = Intersect(f, g)
h = Segment(A, B)
i = Segment(A, P)