毕达哥拉斯定理证明 - 方形

GeoGebra 命令及参数

1. Polygon(A, B, 4) → poly1, f, g, h, i, C, D
2. Segment(A, C) → j
3. Segment(B, D) → k
4. Intersect(j, k) → M
5. Point(i) → E
6. Rotate(E, 90°, M) → F
7. Ray(F, B) → l
8. OrthogonalLine(X, l) → a_8
9. Rotate(F, 90°, M) → G
10. Rotate(G, 90°, M) → H
11. Segment(F, G) → c_5
12. Segment(G, H) → c_3
13. Segment(H, E) → c_4
14. Segment(F, B) → a_1
15. Segment(B, G) → b_8
16. Segment(G, C) → a_3
17. Segment(C, H) → b_3
18. Segment(H, D) → a_4
19. Segment(D, E) → b_4
20. Vector(X, Y) → u
21. Translate(F, u) → F'
22. Translate(B, u) → B'
23. Segment(F', B') → a_5
24. Translate(A, u) → A'
25. Translate(F, u) → F'_1
26. Segment(A', F'_1) → b_7
27. Translate(D, u) → D'
28. Translate(E, u) → E'
29. Segment(D', E') → b_5
30. Polygon(D', A', 4) → poly2, m, n, p, q, I, J
31. Segment(B', J) → r
32. Segment(J, D') → s
33. Segment(A', E') → t
34. Polygon(F', B', 4) → poly3, a_7, b_1, c_1, d, K, L
35. Segment(F', L) → e
36. Segment(L, K) → f_1
37. Segment(L, E') → g_1
38. Segment(B', K) → a_6
39. Segment(K, J) → i_1
40. OrthogonalLine(L, s) → j_1
41. Intersect(j_1, s) → N
42. Segment(D', N) → b_6
43. Segment(N, J) → l_1
44. Segment(L, N) → m_1
45. Segment(F', E') → n_1
46. Segment(L, J) → p_1
47. Segment(A, F) → b
48. Segment(F, E) → c
49. Segment(E, A) → a
50. Polygon(E, F, G, H) → c_2, e_1, f_2, g_2, h_1
51. Polygon(F', B', K, L) → a_2, f', b', k_1, l_2
52. Polygon(E', L, N, D') → b_2, e', l_3, n_2, d'