A = (7.75384, -0.3583)
B = (14.96584, -0.3583)
C = (1.87324, 5.2319)
D = (1.87324, 0.2709)
a = Segment(C, D)
b = OrthogonalLine(C, a)
c = OrthogonalLine(D, a)
E = Midpoint(a)
F = Point(b)
d = Circle(E, F)
G, H = Intersect(d, c)
e = Segment(C, F)
f = Segment(D, G)
I = (2.4009207622430147, 1.640907254223812)
J = (6.41861764087153, 1.640907254223812)
K = Intersect(a, e)
L = Intersect(a, f)