毕达哥拉斯定理的直观证明

GeoGebra 命令及参数

1. Segment(A, B) → a
2. Point(a) → C
3. Rotate(A, 270*°, C) → A'_1
4. Rotate(A'_1, 270*°, A'_1) → D
5. Segment(D, B) → q
6. Rotate(B, 90*°, A) → B'
7. Rotate(B', 90*°, B') → B''
8. Rotate(A, 90*°, A) → A'
9. Rotate(A', 90*°, B') → A''
10. Rotate(B'', 90*°, A'') → B'''
11. Rotate(A'', 90*°, A'') → A'''
12. Segment(A''', B''') → a'''
13. Rotate(C, 270*°, C) → C'
14. Rotate(C', 270*°, A'_1) → C''
15. Line(C'', A'_1) → d
16. Intersect(d, a''') → F
17. Segment(F, A'') → p
18. Segment(A', B') → a'
19. Segment(A'', B'') → a''
20. Segment(A, C) → b
21. Segment(A'_1, C') → b'
22. Segment(D, C'') → b''
23. Line(C, A'_1) → c
24. Intersect(c, a'') → E
25. Polygon(C'', B', E) → poly1, e, c'', b'_1
26. Point(b) → H
27. Vector(C, H) → u
28. Translate(A'_1, u) → I
29. Translate(C', u) → C''_1
30. Segment(I, C''_1) → b''_1
31. Segment(A'_1, F) → f
32. Point(p) → G
33. Vector(F, G) → v
34. Translate(A'_1, v) → J
35. Translate(F, v) → F'
36. Segment(J, F') → f'
37. Vector(A'_1, G) → w
38. Translate(A'_1, w) → K
39. Translate(C', w) → C''_2
40. Segment(K, C''_2) → b''_2
41. Vector(A'_1, H) → z
42. Translate(A'_1, z) → L
43. Translate(F, z) → F'_1
44. Segment(L, F'_1) → f'_1
45. Polygon(I, H, F'_1) → poly2, f'_2, i, h
46. Polygon(J, C''_2, G) → poly3, g, j, c''_2
47. Line(A'_1, B) → k
48. Point(q) → M
49. Vector(C, M) → l
50. Translate(A, l) → A'_2
51. Translate(C, l) → C'_1
52. Segment(A'_2, C'_1) → b'_2
53. Segment(A'_1, E) → m
54. Vector(A'_1, M) → n
55. Translate(A'_1, n) → N
56. Translate(E, n) → E'
57. Segment(N, E') → m'
58. Polygon(A'_2, M, E') → poly4, e', a'_2, m_1
59. Segment(A'_1, E) → r
60. Segment(A'_1, F) → s
61. Segment(A'_1, C'') → t
62. Segment(A'_1, C) → a_1
63. Segment(C'', E) → b_1
64. Rotate(C'', 90*°, E) → C'''
65. Rotate(E, 90*°, E) → E'_1
66. Segment(C''', E'_1) → c_1
67. Rotate(C''', 90*°, C''') → O
68. Rotate(E'_1, 90*°, C''') → P
69. Segment(O, P) → d_1
70. Rotate(O, 90*°, P) → O'
71. Rotate(P, 90*°, P) → P'
72. Segment(O', P') → e_1