F = (0, 2)
A = Point(xAxis)
a = Segment(F, A)
b = LineBisector(F, A)
c = OrthogonalLine(A, xAxis)
P = Intersect(c, b)
d = Segment(F, P)
e = Segment(P, A)