无余数的分割：用多边形与对称验证整除几何关系

GeoGebra 命令及参数

1. Polygon(A0, B, 4) → poly0, f, g, h, i, A, C
2. Polygon(A3, H, 4) → poly3, j, k, l, m, E, G
3. Polygon(A7, P, 4) → poly7, n, p, q, r, I, K
4. Polygon(A1, D, 4) → poly1, s, t, a, b, M, O
5. Polygon(A6, N, 4) → poly6, c, d, e, f_1, Q, S
6. Polygon(A2, H2, 4) → poly2, k_1, l_1, m_1, n_1, W, Z
7. Polygon(A8, A8 + (2, 0), 4) → poly8, g_1, h_1, i_1, j_1, U, V
8. Polygon(A9, T, 4) → poly9, p_1, q_1, r_1, s_1, A_1, B_1
9. Polygon(A4, J, 4) → poly4, t_1, a_1, b_1, c_1, C_1, D_1
10. Polygon(A5, L, 4) → poly5, d_1, e_1, f_2, g_2, E_1, F_1
11. Polygon(G_1, H_1, 4) → poly11, h_2, i_2, j_2, k_2, I_1, J_1
12. Polygon(K_1, L_1, 4) → poly10, l_2, m_2, n_2, p_2, M_1, N_1
13. Polygon(O_1, P_1, 4) → poly12, q_2, r_2, s_2, t_2, Q_1, R_1
14. Polygon(S_1, T_1, 4) → poly13, a_2, b_2, c_2, d_2, U_1, V_1
15. Polygon(C_2, D_2, 4) → poly15, i_3, j_3, k_3, l_3, E_2, F_2
16. Polygon(G_2, H_2, 4) → poly16, m_3, n_3, p_3, q_3, I_2, J_2
17. Polygon(G_{3}, H_{3}, 4) → poly17, m_{4}, n_{4}, p_{4}, q_{4}, I_{3}, J_{3}
18. Polygon(G_{4}, H_{4}, 4) → poly18, m_{5}, n_{5}, p_{5}, q_{5}, I_{4}, J_{4}
19. Polygon(G_{5}, H_{5}, 4) → poly19, m_{6}, n_{6}, p_{6}, q_{6}, I_{5}, J_{5}
20. Polygon(G_{6}, H_{6}, 4) → poly14, m_{7}, n_{7}, p_{7}, q_{7}, I_{6}, J_{6}