F = Point(xAxis)
par = Parabola(F, yAxis)
P = Point(par)
a = Tangent(P, par)
b = OrthogonalLine(F, a)
S = Intersect(b, a)