F = Point(xAxis)
B = (0, 0)
C = Midpoint(F, B)
a = OrthogonalLine(C, xAxis)
P = Point(a)
b = Segment(F, P)
c = OrthogonalLine(P, b)