IE

h'

h

b = 3.1 (slider from 1.4 to 5, step 0.1)
A = (-6.6, -0.7666666666666666)
C: (x(A) + b, y(A))
d = Circle(C, 1)
D: (x(C) + 2, y(C))
E: (x(D) + 2 b, y(D))
F = Rotate(E, 45°, C)
c = Segment(C, F)
g = Line(E, c)
f = Line(A, c)
G = Intersect(d, c)
i = Segment(A, G)
a = OrthogonalLine(A, yAxis)
e = Line(G, a)
J = Intersect(g, e)
N = Rotate(J, 110°, E)
j_1 = Ray(E, N)
H = Intersect(f, e)
k_1 = Segment(C, H)
I = Intersect(i, k_1)
l = Line(I, e)
B = Point(a)
α = Angle(E, C, F)
P, j, d_1, e_1 = Polygon(D, E, J)
Q, a_1, c_1, g_1, h_1 = Polygon(A, C, G, H)
m = AngularBisector(J, E, D)
L = Point(l)
h = 6.5 (slider from 0 to 8, step 0.1)
S_1: (x(I), y(I) + h)
K = Intersect(j_1, l)
S_2: (x(K), y(K) + h)
n = Segment(A, S_1)
p = Segment(S_1, H)
q = Segment(S_1, G)
r = Segment(S_1, C)
s = Segment(S_2, D)
t = Segment(S_2, J)
b_1 = Segment(S_2, E)
f_1 = Segment(S_1, I)
i_1 = Segment(S_2, K)
k = 0.43 (slider from 0 to 1, step 0.01)
D' = Dilate(D, k, S_2)
E' = Dilate(E, k, S_2)
J' = Dilate(J, k, S_2)
P', j', d', e' = Polygon(D', E', J')
A' = Dilate(A, k, S_1)
C' = Dilate(C, k, S_1)
G' = Dilate(G, k, S_1)
H' = Dilate(H, k, S_1)
Q', a', c', g', h' = Polygon(A', C', G', H')
M = Point(l)
β = Angle(J, E, N)
O = Dilate(I, k, S_1)
R = Dilate(K, k, S_2)
T1: "A_1\;  = \; " + (b 2) + "cm^2"
T2: "A'_1\;  = \; " + (b 2 k²) + "cm^2"
T3: "A_2\;  = \; " + (0.5 * 2 b 2) + "cm^2"
T4: "A'_2\;  = \; " + (0.5 * 2 b 2 k²) + "cm^2"
S_3: (x(M), y(S_2))
S_4: (x(M) - 1, y(R))
l_1 = OrthogonalLine(S_4, l)
m_1 = Line(S_1, S_2)
S = Intersect(m_1, l_1)
u = Vector(M, S_3)
v = Vector(S_3, M)
w = Vector(S_4, S)
z = Vector(S, S_4)
n_1 = Segment(O, S_4)
T: (x(A) - 2, y(A) - 1)
p_1 = Line(T, j)
U: (x(E) + 2, y(T))
q_1 = Line(U, d_1)
V = Point(q_1)
r_1 = Line(V, p_1)
s_1 = Line(T, q_1)
W = Intersect(r_1, s_1)
Y, t_1, u_1, v_1, w_1 = Polygon(T, U, V, W)
a_2 = Segment(S_1, S_3)
γ = Angle(L, K, S_2)
δ = Angle(L, I, S_1)
S_7: (x(L), y(S_4))
ε = Angle(S_7, R, S_2)
ζ = Angle(S_7, O, S_1)
b_2 = Segment(I, M)
T6: "h = " + h + "cm"
T7: "h' = " + (h k) + "cm"
Z = Midpoint(S, S_4)
A_1 = Midpoint(S_3, M)
T' = Translate(T, Vector[u - w])
U' = Translate(U, Vector[u - w])
V' = Translate(V, Vector[u - w])
W' = Translate(W, Vector[u - w])
Y', t', u', v', w' = Polygon(T', U', V', W')