H' = Point(a)
H = Point(a)
F = (4.02, -2.84)
b = OrthogonalLine(H, a)
c = OrthogonalLine(H', a)
d = Segment(H, F)
e = Segment(H', F)
I' = Midpoint(H', F)
I = Midpoint(H, F)
f = OrthogonalLine(I', e)
g = OrthogonalLine(I, d)
M = Intersect(g, b)
M' = Intersect(f, c)
h = Circle(M, F)
k = Circle(M', F)
i = Ray(H', M')
j = Ray(H, M)
l = Line(M, M')