A = (5.6, -0.52)
B = (11.18, -4.22)
C = (9.66, -4)
a = Line(B, C)
b = 2.3312702491249455 (slider from 0.5 * distanceAJ to 8, step 0.1)
c = Circle(A, b)
d = OrthogonalLine(B, a)
e = Circle(B, b)
D, E = Intersect(e, d)
f = Line(D, a)
F, G = Intersect(c, f)
loc1 = Locus(F, b)
loc2 = Locus(G, b)
g = Segment(A, F)
h = Segment(A, G)
i = OrthogonalLine(F, a)
j = OrthogonalLine(G, a)
H = Intersect(a, i)
I = Intersect(a, j)
k = Circle(F, A)
p = Circle(G, A)
l = Segment(F, H)
m = Segment(G, I)
n = OrthogonalLine(A, a)
J = Intersect(n, a)
distanceAJ = Distance(A, J)
TextAJ: "\overline{" + (Name[A]) + (Name[J]) + "} \, = \, " + distanceAJ