旋转法证明勾股定理

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → A
2. Circle(A, a) → c
3. Intersect(c, xAxis, 2) → B
4. Circle(B, b) → d
5. Intersect(d, xAxis, 2) → C
6. Polygon(A, B, 4) → poly1, e, f, g, h, D, E
7. Polygon(B, C, 4) → poly2, i, j, k, l, F, G
8. Circle(A, b) → p
9. Intersect(p, e, 1) → H
10. Segment(E, H) → m
11. Segment(H, F) → n
12. Polygon(E, H, A) → poly3, a_1, e_1, h_1
13. Polygon(H, F, C) → poly4, c_1, h_2, f_1
14. Rotate(E, rotation, E) → E'
15. Rotate(H, rotation, E) → H'
16. Rotate(A, rotation, E) → A'
17. Polygon(E', H', A') → poly3', a', e', h'
18. Rotate(F, rotation, F) → F'
19. Rotate(E, (3 * rotation), E) → E'_1
20. Rotate(H, (3 * rotation), F) → H'_2
21. Rotate(F, (3 * rotation), F) → F'_1
22. Rotate(C, (3 * rotation), F) → C'_1
23. Polygon(H'_2, F'_1, C'_1) → poly4'_1, c'_1, h'_2, f'_1