探索毕达哥拉斯定理：动态几何演示

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → A
2. Point(xAxis) → B
3. Segment(A, B) → f
4. OrthogonalLine(B, f) → g
5. Point(g) → C
6. Segment(A, C) → h
7. Segment(C, B) → i
8. Polygon(A, C, 4) → poly1, c, k, l, m, D, E
9. Polygon(C, B, 4) → poly2, a, p, q, r, F, G
10. Polygon(B, A, 4) → poly3, b, t, a_{12}, b_{13}, H, I
11. Line(A, F) → c_6
12. Circle(F, 1) → d
13. Intersect(d, c_6, 2) → J
14. Circle(J, f) → e
15. Intersect(e, c_6, 2) → K
16. Polygon(K, J, 4) → poly4, f_1, b_2, b_1, i_1, L, M
17. OrthogonalLine(K, c_6) → j_1
18. Circle(K, i) → c_5
19. Intersect(c_5, j_1, 2) → N
20. Polygon(N, K, 4) → poly5, k_1, l_1, a_2, a_1, O, P
21. OrthogonalLine(E, c_6) → p_1
22. Intersect(c_6, p_1) → Q
23. Circle(Q, 1) → d_1
24. Intersect(d_1, c_6, 1) → R
25. Circle(R, f) → e_1
26. Intersect(e_1, c_6, 1) → S
27. OrthogonalLine(R, c_6) → q_1
28. Circle(R, i) → r_1
29. Intersect(r_1, q_1, 2) → T
30. Polygon(S, T, 4) → poly6, s_1, t_1, a_9, b_{10}, U, V
31. OrthogonalLine(V, c_6) → f_2
32. OrthogonalLine(U, q_1) → g_2
33. Line(J, L) → h_2
34. Line(N, P) → i_2
35. Line(P, O) → j_2
36. Line(M, L) → k_2
37. Intersect(h_2, i_2) → W
38. Intersect(j_2, k_2) → Z
39. Intersect(f_2, g_2) → A_1
40. Intersect(q_1, g_2) → B_1
41. Intersect(c_6, f_2) → C_1
42. Polygon(A_1, V, U) → t1, a_5, a_{10}, b_5
43. Polygon(B_1, U, T) → t2, a_6, b_{11}, b_6
44. Polygon(T, S, R) → t3, r_2, b_7, a_7
45. Polygon(S, C_1, V) → t4, a_8, b_8, c_2
46. Polygon(J, W, N) → t5, a_3, b_3, c_1
47. Polygon(J, K, N) → t6, n_3, j_4, k_3
48. Polygon(M, Z, K) → t7, a_4, m_2, z_1
49. Polygon(Z, K, O) → t8, c_4, z_2, b_4
50. Polygon(C, A, B) → t9, b_{12}, c_3, a_{11}