a_1 = 9 (slider from 0 to 20, step 0.1)
A = (3.4805662683008074, -1.551858308781811)
B = (10.804275323345866, -1.11764630947084)
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 = 7 (slider from 0 to 20, step 0.1)
h_2: 2 * a_2 / i
k = Circle(D, h_2)
a_3 = 5.4 (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]) + ""
n = OrthogonalLine(A, f)
I = Intersect(f, n)
f_1 = Segment(I, A)
g_1 = OrthogonalLine(B, i)
K = Point(g)
i_1 = Segment(K, B)
k_1 = OrthogonalLine(J, f)
l_1 = OrthogonalLine(J, g)
L = Intersect(f, k_1)
m_1 = Segment(L, J)
M = Intersect(g, l_1)
n_1 = Segment(J, M)
N = Point(n_1)
poly6, b_4, j_2, a_7 = Polygon(J, A, B)