勾股定理：构建直角三角形

GeoGebra 命令及参数

1. Point(Ray[C, Q]) → A
2. Segment(C, A) → t_2
3. Ray(O, P) → d_2
4. Point(d_2) → B
5. Distance(A, B) → a
6. Polygon(A, C, 4) → poly1, f, g, h, i, D, E
7. Polygon(C, B, 4) → poly2, j, k, l, m, F, G
8. Polygon(B, A, 4) → poly3, n, p, q, r, H, I
9. Midpoint(C, F) → J
10. Midpoint(E, C) → K
11. Dilate(K, If[0 < t3 ≤ 1, 1 - t3, 0], J) → K'
12. Vector(K, K') → u
13. Translate(poly1, u) → poly1'
14. Midpoint(A, I) → L
15. Line(D, C) → s
16. Vector(K, J) → v
17. Segment(C, G) → t
18. Segment(G, F) → c
19. Segment(F, B) → d
20. Segment(B, C) → e
21. Line(D, E) → f_1
22. Line(E, A) → g_1
23. Line(A, C) → h_1
24. OrthogonalLine(L, e) → i_1
25. OrthogonalLine(L, i_1) → j_1
26. Line(H, I) → k_1
27. Line(I, B) → l_1
28. Line(B, A) → m_1
29. Line(A, H) → n_1
30. Intersect(j_1, n_1) → M
31. Intersect(i_1, k_1) → N
32. Intersect(j_1, l_1) → R
33. Intersect(i_1, m_1) → S
34. Polygon(M, L, N, H) → q1, m_2, l_2, n_2, h_2
35. Polygon(A, S, L, M) → q2, a_1, s_1, l_3, m_3
36. Polygon(S, B, R, L) → q3, s_2, b_1, r_1, l_4
37. Polygon(N, I, R, L) → q4, n_3, i_2, r_2, l_5
38. Vector(L, C) → w
39. Vector(L, G) → u_1
40. Vector(L, F) → v_1
41. Vector(L, B) → w_1
42. Translate(M, v_1) → M'
43. Translate(L, v_1) → L'
44. Translate(N, v_1) → N'
45. Translate(H, v_1) → H'
46. Polygon(M', L', N', H') → q1', m', l', n', h'
47. Translate(N, u_1) → N'_1
48. Translate(I, u_1) → I'
49. Translate(R, u_1) → R'
50. Translate(L, u_1) → L'_1
51. Polygon(N'_1, I', R', L'_1) → q4', n'_1, i', r', l'_1
52. Translate(S, w) → S'
53. Translate(B, w) → B'
54. Translate(R, w) → R'_1
55. Translate(L, w) → L'_2
56. Polygon(S', B', R'_1, L'_2) → q3', s', b', r'_1, l'_2
57. Translate(A, w_1) → A'
58. Translate(S, w_1) → S'_1
59. Translate(L, w_1) → L'_3
60. Translate(M, w_1) → M'_1
61. Polygon(A', S'_1, L'_3, M'_1) → q2', a', s'_1, l'_3, m'_1
62. Dilate(L, If[1 < t3 ≤ 2, 2 - t3, 0], F) → L'_4
63. Vector(L, L'_4) → d_1
64. Vector(L, L'_4) → e_1
65. Translate(M, e_1) → M'_2
66. Translate(L, e_1) → L'_5
67. Translate(N, e_1) → N'_2
68. Translate(H, e_1) → H'_1
69. Polygon(M'_2, L'_5, N'_2, H'_1) → q1'_1, m'_2, l'_5, n'_2, h'_1
70. Dilate(L, If[2 < t3 ≤ 3, 3 - t3, 0], B) → L'_6
71. Vector(L, L'_6) → c_1
72. Translate(A, c_1) → A'_1
73. Translate(S, c_1) → S'_2
74. Translate(L, c_1) → L'_7
75. Translate(M, c_1) → M'_3
76. Polygon(A'_1, S'_2, L'_7, M'_3) → q2'_1, a'_1, s'_2, l'_7, m'_3
77. Dilate(L, If[3 < t3 ≤ 4, 4 - t3, 0], C) → L'_8
78. Vector(L, L'_8) → p_1
79. Translate(S, p_1) → S'_3
80. Translate(B, p_1) → B'_1
81. Translate(R, p_1) → R'_2
82. Translate(L, p_1) → L'_9
83. Polygon(S'_3, B'_1, R'_2, L'_9) → q3'_1, s'_3, b'_1, r'_2, l'_9
84. Dilate(L, If[4 < t3 ≤ 5, 5 - t3, 0], G) → L'_{10}
85. Vector(L, L'_{10}) → q_1
86. Translate(N, q_1) → N'_3
87. Translate(I, q_1) → I'_1
88. Translate(R, q_1) → R'_3
89. Translate(L, q_1) → L'_{11}
90. Polygon(N'_3, I'_1, R'_3, L'_{11}) → q4'_1, n'_3, i'_1, r'_3, l'_{11}
91. Segment(C, D) → t_1
92. Segment(D, E) → f_2
93. Segment(E, A) → g_2
94. Segment(A, H) → j_2
95. Segment(H, I) → k_2
96. Segment(I, B) → p_2
97. Segment(B, A) → q_2
98. Angle(B, A, C) → α
99. Polygon(C, A, B) → t1_1, b_2, c_2, a_2
100. Angle(C, G, F) → β
101. Angle(G, F, B) → γ
102. RandomElement(l1) → o, 8