毕达哥拉斯重构证明

GeoGebra 命令及参数

1. Point(x = x(A)) → C
2. Point(Ray[C, C + (1, 0)]) → B
3. Polygon(A, C, B) → poly1, b, a, c
4. Polygon(B, E, D) → poly2, d, c_1, e
5. LineBisector(d) → a_3
6. LineBisector(c) → b_2
7. Intersect(a_3, b_2) → F
8. Rotate(A, -90*°, F) → A'
9. Rotate(C, -90*°, F) → B'
10. Rotate(B, -90*°, F) → C'
11. Polygon(A', B', C') → poly1', c', a', b'
12. Rotate(B, 90*°, F) → C'_1
13. Rotate(E, 90*°, F) → E'
14. Rotate(D, 90*°, F) → D'
15. Polygon(C'_1, E', D') → poly2', d', c'_1, e'
16. Mirror(C'_1, e') → G
17. Mirror(E', e') → E''
18. Mirror(D', e') → D''
19. Polygon(G, E'', D'') → poly2'', d'', g, e''
20. Midpoint(E, E'') → H
21. Rotate(G, 180*°, H) → G'
22. Rotate(E'', 180*°, H) → E'''
23. Rotate(D'', 180*°, H) → D'''
24. Polygon(G', E''', D''') → poly2''', d''', g', e'''
25. Line(D, D''') → f
26. Mirror(G, f) → G'_1
27. Mirror(E'', f) → E'''_1
28. Mirror(D'', f) → D'''_1
29. Polygon(G'_1, E'''_1, D'''_1) → poly2'''_1, d'''_1, g'_1, e'''_1
30. Mirror(G', f) → G''
31. Mirror(E''', f) → I
32. Mirror(D''', f) → J
33. Polygon(G'', I, J) → poly3, j, g'', i
34. Polygon(A, B, E, A') → poly4, a_2, c_2, e_1, a'_1
35. Line(D', E'') → h
36. Intersect(f, h) → K
37. Polygon(D, E, D''', G'_1) → poly5, d_1, e_2, d'''_2, g'_2
38. Polygon(D''', E'', K, E'''_1) → poly6, d'''_3, e''_1, k, e'''_2