a_2 = Segment(A, B)
b_2 = OrthogonalLine(A, a_2)
c_2 = OrthogonalLine(B, a_2)
C = Point(b_2)
d_2 = OrthogonalLine(C, b_2)
F = (18.471090909090897, 1.1052727272727259)
h_1 = Ray(E, F)
i_1 = OrthogonalLine(E, h_1)
k_1 = Circle(E, Segment[A, B])
p = Circle(E, Segment[A, C])
G = Intersect(p, i_1, 1.0)
j_1 = OrthogonalLine(G, i_1)
c = Distance(C, A)
a_3: "\overline{" + (Name[C]) + (Name[A]) + "} \, = \, " + c
a = Distance(A, B)
b_3: "\overline{" + (Name[A]) + (Name[B]) + "} \, = \, " + a
e = Distance(E, G)
e_2: "\overline{" + (Name[E]) + (Name[G]) + "} \, = \, " + e