D = (-8, 0)
C = Point(Circle[D, 4])
f = Segment(D, C)
C_1 = Point(f)
poly1, g, h, i, j, B, A = Polygon(D, C, 4)
a = 1.2 (slider from 0 to 5, step 0.1)
E = Point(Circle[B, a])
k = Segment(B, E)
G = Point(Circle[C, a])
l = Segment(C, G)
m = OrthogonalLine(G, f)
n = OrthogonalLine(E, h)
F = Intersect(m, n)
H = Intersect(n, m)
I = Intersect(m, n)
AireEFGH, c, e, f_1, g_1 = Polygon(C, E, F, G)
AireEFGH_1 = LaTeX(AireEFGH, true, true)