无字证明：勾股定理的旋转与面积演示

GeoGebra 命令及参数

1. Point(xAxis) → A
2. Intersect(xAxis, yAxis) → B
3. Mirror(A, B) → A'
4. CircleArc(B, C, A) → c
5. Point(c) → D
6. Segment(A, D) → a
7. Segment(D, A') → b
8. Polygon(D, A', 4) → poly1, d, e, f, g, E, F
9. Polygon(A', A, 4) → poly2, h, i, j, k, G, H
10. Polygon(A, D, 4) → poly3, l, m, n, p, I, J
11. Line(E, h) → q
12. Intersect(q, g) → K
13. OrthogonalLine(K, h) → r
14. Ray(G, A) → s
15. Intersect(r, d) → L
16. Intersect(m, s) → M
17. Polygon(L, K, E, A') → poly4, l_1, k_1, e_1, a'
18. Polygon(L, K, D) → poly5, d_1, l_2, k_2
19. Polygon(K, F, E) → poly6, e_2, k_3, f_1
20. Polygon(M, A, D) → poly7, d_2, m_1, a_1
21. Polygon(M, I, J, A) → poly8, m_2, i_1, j_1, a_2
22. Vector(A, H) → u
23. Vector(E, H) → v
24. Vector(E, A') → w
25. Vector(K, A') → t
26. Vector(A, G) → u_1
27. Centroid(poly5) → N
28. Centroid(poly6) → O
29. Centroid(poly7) → P
30. Centroid(poly8) → Q
31. Centroid(poly4) → R
32. Translate(R, w) → R'
33. Translate(O, v) → O'
34. Translate(N, t) → N'
35. Translate(P, u_1) → P'
36. Translate(Q, u) → Q'
37. Segment(P, P') → b_1
38. Segment(Q, Q') → c_1
39. Segment(R, R') → g_1
40. Segment(N, N') → h_1
41. Segment(O, O') → n_1
42. Point(n_1) → S
43. Vector(O, S) → v_1
44. Point(g_1) → T
45. Vector(R, T) → w_1
46. Point(h_1) → U
47. Vector(N, U) → p_1
48. Point(b_1) → V
49. Vector(P, V) → q_1
50. Point(c_1) → W
51. Vector(Q, W) → r_1
52. Translate(L, p_1) → L'
53. Translate(K, p_1) → K'
54. Translate(D, p_1) → D'
55. Polygon(L', K', D') → poly5', d', l', k'
56. Translate(K, v_1) → K'_1
57. Translate(F, v_1) → F'
58. Translate(E, v_1) → E'
59. Polygon(K'_1, F', E') → poly6', e', k'_1, f'
60. Translate(M, q_1) → M'
61. Translate(A, q_1) → A'_1
62. Translate(D, q_1) → D'_1
63. Polygon(M', A'_1, D'_1) → poly7', d'_1, m', a'_1
64. Translate(L, w_1) → L'_1
65. Translate(K, w_1) → K'_2
66. Translate(E, w_1) → E'_1
67. Translate(A', w_1) → A''
68. Polygon(L'_1, K'_2, E'_1, A'') → poly4', l'_1, k'_2, e'_1, a''
69. Translate(M, r_1) → M'_1
70. Translate(I, r_1) → I'
71. Translate(J, r_1) → J'
72. Translate(A, r_1) → A'_2
73. Polygon(M'_1, I', J', A'_2) → poly8', m'_1, i', j', a'_2