勾股定理的可视化演示

GeoGebra 命令及参数

1. Segment(A, B) → f
2. Segment(B, C) → g
3. Segment(C, A) → h
4. Polygon(A, B, C) → t1, c, a, b
5. InteriorAngles(t1) → α, β, γ
6. Polygon(A, C, 4) → poly1, i, j, k, l, D, E
7. Polygon(C, B, 4) → poly2, m, n, p, q, F, G
8. Polygon(B, A, 4) → poly3, r, s, t, d, H, I
9. Line(H, k) → e
10. Line(I, j) → f_1
11. Intersect(e, f_1) → J
12. Circle(D, Segment[H, J]) → c_1
13. Intersect(e, d) → K
14. Intersect(f_1, f) → L
15. Intersect(c_1, k, 1) → M
16. Vector(C, S) → u
17. Vector(J, O) → v
18. Vector(J, R) → w
19. Vector(J, Q) → u_1
20. Vector(J, P) → v_1
21. Polygon(H, A, L, J) → q1, h_1, a_1, l_1, j_1
22. Polygon(J, L, B, K) → q2, j_2, l_2, b_1, k_1
23. Polygon(I, K, J) → t2, j_3, i_1, k_2
24. Polygon(H, I, J) → t3, j_4, h_2, i_2
25. Translate(poly2, u) → poly2'
26. Translate(H, v_1) → H'
27. Translate(A, v_1) → A'
28. Translate(L, v_1) → L'
29. Translate(J, v_1) → J'
30. Polygon(H', A', L', J') → q1', h', a', l', j'
31. Translate(H, v_1) → H'_1
32. Translate(A, v_1) → A'_1
33. Translate(L, v_1) → L'_1
34. Translate(J, v_1) → J'_1
35. Polygon(H'_1, A'_1, L'_1, J'_1) → q1'_1, h'_1, a'_1, l'_1, j'_1
36. Translate(H, u_1) → H'_2
37. Translate(I, u_1) → I'
38. Translate(J, u_1) → J'_2
39. Polygon(H'_2, I', J'_2) → t3', j'_2, h'_2, i'
40. Translate(I, w) → I'_1
41. Translate(K, w) → K'
42. Translate(J, w) → J'_3
43. Polygon(I'_1, K', J'_3) → t2', j'_3, i'_1, k'
44. Translate(J, v) → J'_4
45. Translate(L, v) → L'_2
46. Translate(B, v) → B'
47. Translate(K, v) → K'_1
48. Polygon(J'_4, L'_2, B', K'_1) → q2', j'_4, l'_2, b', k'_1
49. Intersect(j, k) → N