勾股定理探索 by mcalpiho

GeoGebra 命令及参数

1. Line(S, D) → L
2. OrthogonalLine(R, L) → M
3. OrthogonalLine(E, L) → N
4. Intersect(L, N) → F
5. Polygon(E, F, D) → poly1, b, a, c
6. Angle(D, F, E) → α
7. Polygon(D, F, 4) → poly2, f, g, h, i, F_1, G
8. Polygon(F, E, 4) → poly3, j, k, l, m_2, H, I
9. Polygon(E, D, 4) → poly4, n_2, p, q, r, J, K
10. Point(Circle[V, a + b]) → W
11. Segment(V, W) → m
12. Point(Circle[Z, a + b]) → A_1
13. Segment(Z, A_1) → n
14. Polygon(A_1, Z, 4) → poly8, i_1, j_1, k_1, l_1, B_1, C_1
15. Polygon(W, V, 4) → poly9, m_1, n_1, p_1, q_1, D_1, E_1
16. Point(Circle[K_2, a]) → L_2
17. Point(Circle[M_2, a]) → N_2
18. Line(K_2, L_2) → a_4
19. Point(Circle[K_2, b]) → P_2
20. Line(M_2, N_2) → d_4
21. Point(Circle[M_2, b]) → R_2
22. Point(Circle[S_2, a]) → T_2
23. Point(Circle[S_2, b]) → U_2
24. Point(Circle[V_2, a]) → W_2
25. Segment(V_2, W_2) → i_4
26. Point(Circle[V_2, b]) → Z_2
27. Segment(V_2, Z_2) → j_4
28. Polygon(Z_2, V_2, W_2) → poly20, w_2, z_2, v_2
29. Point(Circle[G_3, a]) → H_3
30. Segment(G_3, H_3) → h_4
31. Point(Circle[G_3, b]) → I_3
32. Segment(G_3, I_3) → m_4
33. Polygon(I_3, G_3, H_3) → poly21, h_5, i_5, g_5
34. Angle(poly20) → θ, ι, κ
35. Angle(poly21) → ϕ, χ, ψ
36. Point(Circle[A_3, a]) → B_3
37. Segment(A_3, B_3) → s_3
38. Rotate(B_3, 90*°, A_3) → C_3
39. Angle(B_3, A_3, C_3) → δ
40. Segment(C_3, A_3) → t_3
41. Point(Circle[A_3, b]) → D_3
42. Segment(A_3, D_3) → b_4
43. Polygon(D_3, A_3, B_3) → poly17, b_5, d_5, a_5
44. Point(Circle[E_3, a]) → F_3
45. Segment(E_3, F_3) → c_4
46. Point(Circle[E_3, b]) → J_3
47. Segment(E_3, J_3) → e_4
48. Angle(J_3, E_3, F_3) → ε
49. Polygon(J_3, E_3, F_3) → poly18, f_4, j_5, e_5
50. Point(Circle[K_3, a]) → L_3
51. Segment(K_3, L_3) → g_4
52. Point(Circle[K_3, b]) → M_3
53. Segment(K_3, M_3) → k_4
54. Angle(L_3, K_3, M_3) → ζ
55. Polygon(M_3, K_3, L_3) → poly19, l_4, m_5, k_5
56. Point(Circle[N_3, a]) → O_3
57. Segment(N_3, O_3) → n_4
58. Point(Circle[N_3, b]) → P_3
59. Segment(N_3, P_3) → p_4
60. Angle(O_3, N_3, P_3) → η
61. Polygon(O_3, N_3, P_3) → poly22, p_5, o_3, n_5
62. Point(Circle[A, a]) → B
63. Segment(A, B) → d
64. Point(Circle[A, b]) → C
65. Segment(A, C) → e
66. Point(Circle[O, a]) → P
67. Segment(O, P) → s
68. Point(Circle[O, b]) → Q
69. Segment(O, Q) → t
70. Angle(B, A, C) → β
71. Polygon(B, C, A) → poly5, a_1, b_1, c_1
72. Angle(P, O, Q) → γ
73. Polygon(P, O, Q) → poly6, q_2, p_2, o
74. Point(Circle[T, a]) → U
75. Segment(T, U) → d_1
76. Point(Circle[G_1, b]) → H_1
77. Segment(G_1, H_1) → e_1
78. Polygon(U, T, 4) → poly7, g_1, h_1, r_1, s_1, K_1, L_1
79. Polygon(H_1, G_1, 4) → poly10, t_1, a_2, b_2, c_2, M_1, N_1
80. Point(Circle[MOVE, a]) → R_1
81. Segment(MOVE, R_1) → h_2
82. Rotate(R_1, 90*°, MOVE) → S_1
83. Angle(R_1, MOVE, S_1) → λ
84. OrthogonalLine(S_1, h_2) → i_2
85. Point(Circle[MOVE, b]) → T_1
86. Segment(MOVE, T_1) → j_2
87. Angle(R_1, MOVE, T_1) → μ
88. OrthogonalLine(T_1, h_2) → k_2
89. Polygon(T_1, MOVE, R_1) → poly12, r_2, t_2, q_3
90. Line(MOVE, R_1) → l_2
91. Line(T_1, l_2) → d_3
92. Polygon(T_1, R_1, 4) → poly13, s_2, a_3, b_3, c_3, V_1, W_1