勾股定理数值验证——可调三角形尺寸的动态示例

GeoGebra 命令及参数

1. Segment(B, A) → a_2
2. Semicircle(B, A) → c_1
3. Point(c_1) → C
4. Polygon(B, A, C) → poly1, c, b, a
5. Angle(poly1) → α, β, γ
6. OrthogonalLine(C, b) → d
7. OrthogonalLine(A, b) → e
8. Circle(C, A) → f
9. Intersect(f, d, 1) → D
10. Line(D, b) → g
11. Intersect(e, g) → E
12. Polygon(C, A, 4) → poly2, h, i, j, k, F, G
13. Circle(B, C) → p
14. OrthogonalLine(B, a) → l
15. Intersect(p, l, 1) → H
16. Line(H, a) → m
17. OrthogonalLine(C, m) → n
18. Polygon(H, B, 4) → poly3, q, r, s, t, I, J
19. Circle(B, A) → d_1
20. OrthogonalLine(B, c) → a_1
21. Intersect(d_1, a_1, 1) → K
22. OrthogonalLine(K, a_1) → b_1
23. OrthogonalLine(A, b_1) → e_1
24. Polygon(B, K, 4) → poly4, f_1, g_1, h_1, i_1, L, M
25. Midpoint(C, E) → N
26. Midpoint(K, A) → O
27. Midpoint(B, J) → P
28. OrthogonalLine(Q, xAxis) → j_1
29. OrthogonalLine(Q, j_1) → k_1
30. Point(k_1) → R
31. Point(j_1) → S
32. OrthogonalLine(S, j_1) → l_1
33. OrthogonalLine(R, k_1) → m_1
34. Intersect(l_1, m_1) → T
35. Polygon(Q, R, T, S) → poly5, q_1, r_1, t_1, s_1
36. OrthogonalLine(U, xAxis) → n_1
37. OrthogonalLine(V, n_1) → p_1
38. OrthogonalLine(U, n_1) → b_2
39. OrthogonalLine(V, b_2) → c_2
40. Intersect(b_2, c_2) → W
41. Intersect(n_1, p_1) → Z
42. Polygon(U, W, V, Z) → poly6, u_1, w, v, z