理解勾股定理的动态证明

GeoGebra 命令及参数

1. Segment(A, B) → f
2. OrthogonalLine(A, f) → g
3. Point(g) → C
4. Polygon(C, A, B) → t1, a, b, c
5. Circle(B, a) → d
6. Line(A, B) → h
7. Intersect(d, h, 2) → D
8. Circle(D, b) → e
9. OrthogonalLine(D, h) → i
10. Intersect(e, i, 2) → E
11. Circle(E, a) → k
12. Intersect(k, i, 2) → F
13. OrthogonalLine(F, i) → j
14. OrthogonalLine(A, h) → l
15. Intersect(j, l) → G
16. Polygon(G, A, D, F) → q1, g_1, a_1, d_1, f_1
17. Centroid(q1) → H
18. Rotate(C, 270°, H) → C'
19. Rotate(A, 270°, H) → A'
20. Rotate(B, 270°, H) → B'
21. Polygon(C', A', B') → t1', b', c', a'
22. Rotate(C, 90°, H) → C'_1
23. Rotate(A, 90°, H) → A'_1
24. Rotate(B, 90°, H) → B'_1
25. Polygon(C'_1, A'_1, B'_1) → t1'_1, b'_1, c'_1, a'_1
26. Rotate(C, 180°, H) → C'_2
27. Rotate(A, 180°, H) → A'_2
28. Rotate(B, 180°, H) → B'_2
29. Polygon(C'_2, A'_2, B'_2) → t1'_2, b'_2, c'_2, a'_2
30. Rotate(C'_2, (-(90°)), C') → I
31. Rotate(A'_2, (-(90°)), C') → J
32. Rotate(B'_2, (-(90°)), C') → K
33. Polygon(I, J, K) → t2, k_1, i_1, j_1
34. Rotate(C'_1, 90°, B) → L
35. Rotate(A'_1, 90°, B) → M
36. Rotate(B'_1, 90°, B) → N
37. Polygon(L, M, N) → t3, n, l_1, m
38. Circle(A'_2, c'_1) → q
39. Intersect(q, c'_1, 1) → O
40. Polygon(C', J, O, A'_2) → q2, c'_3, j_2, o_1, a'_3
41. Polygon(M, B, A'_1, O) → q3, m_1, b_1, a'_4, o_2