用开放中间主题写出等价表达式：化简与条件代入

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, K_1, 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) → poly10, h_2, i_2, j_2, k_2, I_1, J_1
12. Polygon(G_2, H_2, 4) → poly11, h_3, i_3, j_3, k_3, I_2, J_2
13. Polygon(G_3, H_3, 4) → poly12, h_4, i_4, j_4, k_4, I_3, J_3
14. Polygon(G_4, H_4, 4) → poly13, h_5, i_5, j_5, k_5, I_4, J_4
15. Polygon(G_5, H_5, 4) → poly14, h_6, i_6, j_6, k_6, I_5, J_5
16. Polygon(G_6, H_6, 4) → poly15, h_7, i_7, j_7, k_7, I_6, J_6
17. Polygon(G_7, H_7, 4) → poly16, h_8, i_8, j_8, k_8, I_7, J_7
18. Polygon(G_8, H_8, 4) → poly17, h_9, i_9, j_9, k_9, I_8, J_8
19. Polygon(G_9, H_9, 4) → poly18, h_{10}, i_{10}, j_{10}, k_{10}, I_9, J_9
20. Polygon(G_{10}, H_{10}, 4) → poly19, h_{11}, i_{11}, j_{11}, k_{11}, I_{10}, J_{10}
21. If(o ∧ u_1, "Nice job!", "Not fully correct yet.") → text8