整数加法游戏 by Markus Winkler

GeoGebra 命令及参数

1. Polygon(A, B, C, D) → poly1, a, b, c, d
2. Point(Circle[E, a]) → F
3. Rotate(F + (b, 0), Angle[C - B] + Angle[F - E] - Angle[B - A], F) → G
4. Rotate(G + (c, 0), Angle[D - C] + Angle[G - F] - Angle[C - B], G) → H
5. Polygon(E, F, G, H) → poly2, e, f, g, h
6. Point(Circle[I, e]) → J
7. Rotate(J + (f, 0), Angle[G - F] + Angle[J - I] - Angle[F - E], J) → K
8. Rotate(K + (g, 0), Angle[H - G] + Angle[K - J] - Angle[G - F], K) → L
9. Polygon(I, J, K, L) → poly3, i, j, k, l
10. Point(Circle[M, e]) → N
11. Rotate(N + (f, 0), Angle[G - F] + Angle[N - M] - Angle[F - E], N) → O
12. Rotate(O + (g, 0), Angle[H - G] + Angle[O - N] - Angle[G - F], O) → P
13. Polygon(M, N, O, P) → poly4, m, n, o, p
14. Point(Circle[Q, a]) → R
15. Rotate(R + (b, 0), Angle[C - B] + Angle[R - Q] - Angle[B - A], R) → S
16. Rotate(S + (c, 0), Angle[D - C] + Angle[S - R] - Angle[C - B], S) → T
17. Polygon(Q, R, S, T) → poly5, q, r, s, t
18. Point(Circle[U, e]) → V
19. Rotate(V + (f, 0), Angle[G - F] + Angle[V - U] - Angle[F - E], V) → W
20. Rotate(W + (g, 0), Angle[H - G] + Angle[W - V] - Angle[G - F], W) → Z
21. Polygon(U, V, W, Z) → poly6, u, v, w, z_1
22. Point(Circle[A_1, i]) → B_1
23. Rotate(B_1 + (j, 0), Angle[K - J] + Angle[B_1 - A_1] - Angle[J - I], B_1) → C_1
24. Rotate(C_1 + (k, 0), Angle[L - K] + Angle[C_1 - B_1] - Angle[K - J], C_1) → D_1
25. Polygon(A_1, B_1, C_1, D_1) → poly7, a_1, b_1, c_1, d_1
26. Point(Circle[E_1, m]) → F_1
27. Rotate(F_1 + (n, 0), Angle[O - N] + Angle[F_1 - E_1] - Angle[N - M], F_1) → G_1
28. Rotate(G_1 + (o, 0), Angle[P - O] + Angle[G_1 - F_1] - Angle[O - N], G_1) → H_1
29. Polygon(E_1, F_1, G_1, H_1) → poly8, e_1, f_1, g_1, h_1
30. Point(Circle[I_1, a_1]) → J_1
31. Rotate(J_1 + (b_1, 0), Angle[C_1 - B_1] + Angle[J_1 - I_1] - Angle[B_1 - A_1], J_1) → K_1
32. Rotate(K_1 + (c_1, 0), Angle[D_1 - C_1] + Angle[K_1 - J_1] - Angle[C_1 - B_1], K_1) → L_1
33. Polygon(I_1, J_1, K_1, L_1) → poly9, i_1, j_1, k_1, l_1
34. Point(Circle[M_1, e_1]) → N_1
35. Rotate(N_1 + (f_1, 0), Angle[G_1 - F_1] + Angle[N_1 - M_1] - Angle[F_1 - E_1], N_1) → O_1
36. Rotate(O_1 + (g_1, 0), Angle[H_1 - G_1] + Angle[O_1 - N_1] - Angle[G_1 - F_1], O_1) → P_1
37. Polygon(M_1, N_1, O_1, P_1) → poly10, m_1, n_1, o_1, p_1
38. Point(Circle[Q_1, u]) → R_1
39. Rotate(R_1 + (v, 0), Angle[W - V] + Angle[R_1 - Q_1] - Angle[V - U], R_1) → S_1
40. Rotate(S_1 + (w, 0), Angle[Z - W] + Angle[S_1 - R_1] - Angle[W - V], S_1) → T_1
41. Polygon(Q_1, R_1, S_1, T_1) → poly11, q_1, r_1, s_1, t_1
42. Point(Circle[U_1, q]) → V_1
43. Rotate(V_1 + (r, 0), Angle[S - R] + Angle[V_1 - U_1] - Angle[R - Q], V_1) → W_1
44. Rotate(W_1 + (s, 0), Angle[T - S] + Angle[W_1 - V_1] - Angle[S - R], W_1) → Z_1
45. Polygon(U_1, V_1, W_1, Z_1) → poly12, u_1, v_1, w_1, z_2
46. Midpoint(C_2, B_2) → Center
47. Random(-5 - n1, 5 - n1) → number