k = 0.5 (slider from 0.05 to 1, step 0.05)
r = 3 (slider from 0 to 6, step 0.1)
ω = 0.7853981633974483 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
H1 = Point(xAxis)
H2 = Point(xAxis)
a = Line(H1, H2)
b = OrthogonalLine(H1, a)
H3 = Point(b)
h = Vector(H1, H3)
M = Point(a)
c = Circle(M, r)
A' = Point(c)
A: (x(A') + k * y(A') * cos(ω), y(A') * k * sin(ω))
d = Circle(M, 4.0)
e = Segment(A', M)
f = OrthogonalLine(M, e)
D' = Intersect(d, f, 2.0)
B' = Intersect(d, f, 1.0)
g = Ray(A', M)
C' = Intersect(c, g, 2.0)
B: (x(B') + k * y(B') * cos(ω), y(B') * k * sin(ω))
C: (x(C') + k * y(C') * cos(ω), y(C') * k * sin(ω))
D: (x(D') + k * y(D') * cos(ω), y(D') * k * sin(ω))
Vieleck1, a_1, b_1, c_1, d_1 = Polygon(A, B, C, D)
E = Translate(A, h)
F = Translate(B, h)
H = Translate(D, h)
G = Translate(C, h)
Vieleck2, a'_1, b'_1, c'_1, d'_1 = Polygon(E, F, G, H)
i = Segment(E, A)
j = Segment(F, B)
l = Segment(H, D)
m = Segment(G, C)
n = Segment(A, G)
α = Angle(C, A', G)
abstandAG = Distance(A, G)
TextAG: "\overline{" + (Name[A]) + (Name[G]) + "} \, = \, " + abstandAG