a_1 = 11 (slider from 0 to 20, step 0.1)
A = (0.1516076069166893, -2.3044924409208276)
B = (15.117447849834853, -1.7834380417476623)
b = Segment(A, B)
h: 2 * a_1 / b
c = OrthogonalLine(A, b)
d = Circle(A, h)
C = Intersect(d, c, 2)
e = OrthogonalLine(C, c)
D = Point(e)
f = Line(B, D)
g = Line(A, D)
i = Segment(A, D)
j = OrthogonalLine(D, i)
a_2 = 20 (slider from 0 to 20, step 0.1)
h_2: 2 * a_2 / i
k = Circle(D, h_2)
a_3 = 3.8 (slider from 0 to 20, step 0.1)
p = Segment(D, B)
h_3: 2 * a_3 / p
l = OrthogonalLine(D, g)
E = Intersect(k, l, 2)
m = OrthogonalLine(E, l)
F = Intersect(f, m)
poly2 = Polygon({F, D, A})
distanceDA = Distance(D, A)
circumferencek = Circumference(k)
r = OrthogonalLine(D, p)
t = Line(A, F)
poly3, a_4, d_2, b_2 = Polygon(D, B, A)
q = Circle(D, h_3)
G = Intersect(q, r, 2)
s = OrthogonalLine(G, r)
H = Intersect(g, s)
poly1, d_1, b_1, h_1 = Polygon(B, H, D)
a_6 = Line(B, H)
J = Intersect(t, a_6)
poly4, j_1, b_3, a_5 = Polygon(B, A, J)
poly5 = Polygon({J, H, D, F})
e_1 = Segment(D, J)
c_1 = OrthogonalLine(D, e_1)
a: a_1^(2)
s_1: a_1^(2)
s2: a_2 * a_3
text2: "$a_1^2=$" + (LaTeX[s_1]) + "
$a_2 a_3=$" + (LaTeX[s2]) + ""
text3: "Area of $\square$ FDHJ is " + (LaTeX[poly4]) + ""