勾股定理旋转证明

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
24. Point(k) → I
25. Intersect(f, c_1) → J
26. Segment(I, J) → q
27. Intersect(k, c_1) → K
28. Polygon(J, I, K) → poly5, k_1, j_1, i_1
29. Intersect(g, a_1) → L
30. Intersect(g, e') → M
31. Polygon(L, H, J, M) → poly6, l_1, h_3, j_2, m_1
32. Intersect(f, l) → N
33. Intersect(f, l) → O
34. Polygon(L, H, K, H') → poly7, l_2, h_4, k_2, h'_1