Show square

Show the lines for dissection

Show the dissected objects

Show rotation 1

Show translation 1

Show rotation 2

Show translation 2

Show angles

Move triangle AFC

Move triangle CDI

Show perpendicular line IFK

Show square of Side1

Show Square of side 2

Corresponding sides are:
AC = CD = DB = BA = Side of square
CF = DI = BH=AG = Let us call it Side 1
AF =CI = DH = BG = Let us call it Side 2

What can you say about the 4 triangles formed?

What can you say about FGHI?
FG  = AG - AF = Side 1 - Side 2
GH = BH - BG = Side 1 - Side 2?
So what figure is it?
What can you say about the angles - why?

Show textboxes

csquare = 5 (slider from 4 to 20, step 1)
A = (0.68, 0.32)
B = Point(Circle[A, csquare])
a_4 = Segment(A, B)
b_3 = OrthogonalLine(A, a_4)
c = OrthogonalLine(B, a_4)
d = Circle(A, csquare)
e = Circle(B, csquare)
C = Intersect(d, b_3, 2)
D = Intersect(e, c, 2)
g = Segment(B, D)
h = Segment(C, A)
i = true
E = (-2.26, -1.66)
j = Line(E, A)
k = OrthogonalLine(C, j)
l = OrthogonalLine(B, j)
m = OrthogonalLine(D, l)
F = Intersect(j, k)
poly1, f_1, a_1, c_1 = Polygon(A, C, F)
G = Intersect(j, l)
poly2, b_1, a_2, g_1 = Polygon(A, G, B)
H = Intersect(l, m)
poly3, h_1, b_2, d_1 = Polygon(B, D, H)
I = Intersect(k, m)
poly4, c_2, i_1, d_2 = Polygon(I, D, C)
n = false
poly5, i_2, h_2, g_2, f_2 = Polygon(I, H, G, F)
o = true
A' = Rotate(A, 90°, F)
C' = Rotate(C, 90°, F)
F' = Rotate(F, 90°, F)
poly1', f', a', c' = Polygon(A', C', F')
u = Vector(F, G)
A'' = Translate(A', u)
C'' = Translate(C', u)
F'' = Translate(F', u)
poly1'', f'', a'', c'' = Polygon(A'', C'', F'')
q = false
r = false
v = Vector(G, H)
A'_1 = Rotate(A, 90°, G)
G' = Rotate(G, 90°, G)
B' = Rotate(B, 90°, G)
poly2', b', a'_1, g' = Polygon(A'_1, G', B')
s = false
J = Translate(A'_1, v)
G'' = Translate(G', v)
B'' = Translate(B', v)
poly2'', b'', j_1, g'' = Polygon(J, G'', B'')
t = false
distanceCD = Distance(C, D)
distanceBD = Distance(B, D)
distanceAB = Distance(A, B)
distanceAC = Distance(A, C)
α = Angle(A, C, F)
β = Angle(F, A, C)
γ = Angle(B, A, G)
δ = Angle(G, B, A)
ε = Angle(D, B, H)
ζ = Angle(H, D, B)
η = Angle(C, D, I)
θ = Angle(I, C, D)
p = false
e_1 = Distance(C, F)
perimeterpoly4 = Perimeter(poly4)
Pointpoly4_1 = PointIn(poly4)
k_1 = Perimeter(poly4)
Pointpoly4 = PointIn(poly4)
u_1 = Vector(C, D)
v_1 = Vector(C, A)
side: (4.3 * 4.3)
side1: (1.8 * 1.8)
side2: (2.5 * 2.5)
A'_2 = Translate(A, u_1)
C'_1 = Translate(C, u_1)
F'_1 = Translate(F, u_1)
poly1'_1, f'_1, a'_2, c'_1 = Polygon(A'_2, C'_1, F'_1)
I' = Translate(I, v_1)
D' = Translate(D, v_1)
C'_2 = Translate(C, v_1)
poly4', c'_2, i', d' = Polygon(I', D', C'_2)
w = false
l_1 = false
m_1 = OrthogonalLine(F, b_1)
K = Intersect(m_1, c'_2)
n_1 = Segment(F, K)
o_1 = false
poly6, i_3, d_3, f'_2, k_2 = Polygon(I, D, F'_1, K)
poly7, a_3, f_3, k_3, i'_1 = Polygon(A, F, K, I')
p_1 = false
q_1 = false
A'_3 = Mirror(A, h)
C'_3 = Mirror(C, h)
F'_2 = Mirror(F, h)
L = (-3.9, -0.04)
M = Point(Circle[L, c_1])
Side2 = Segment(L, M)
b = OrthogonalLine(M, Side2)
r_1 = Circle(M, a_1)
N = Intersect(r_1, b, 2)
s_1 = Segment(L, N)
Side1 = Segment(N, M)
distanceMN = Distance(M, N)
distanceLM = Distance(L, M)
distanceNL = Distance(N, L)
TextNL: Name[N] + (Name[L]) + " = " + distanceNL
w_1 = Distance(a_4, g)
a = Segment(C, D)
f = false