ASA定理动态演示

GeoGebra 命令及参数

1. Segment(A, B) → h
2. Line(L, h) → i_1
3. Circle(L, h) → r
4. Intersect(r, i_1, 2) → Z
5. Point(r) → V
6. Angle(Z, L, V) → τ
7. Dilate(B, If[6 < l ≤ 7, 7 - l, 0], V) → B'_4
8. Vector(B, B'_4) → u_1
9. Translate(A, u_1) → A'_3
10. Line(L, h) → t
11. Point(t) → P
12. Rotate(B, α, A) → B'
13. Angle(B, A, B') → β
14. Ray(A, B') → f
15. Point(f) → C
16. Rotate(A, (-γ), B) → A'
17. Angle(A', B, A) → δ
18. Ray(B, A') → g
19. Intersect(f, g) → D
20. Polygon(A, B, D) → poly1, d, a_1, b
21. Segment(D, B) → i
22. Segment(D, A) → j
23. Min({h, i, j}) → c
24. Circle(A, (0.2 * c)) → e
25. Circle(B, (0.2 * c)) → k
26. Intersect(e, h) → E,
27. Intersect(e, j) → F, I
28. Intersect(k, h) → G,
29. Intersect(k, i) → H, J
30. CircleSector(A, E, F) → p
31. CircleSector(B, H, G) → q
32. Rotate(K, β, L) → K'
33. Angle(K, L, K') → ε
34. Ray(L, K) → m
35. Intersect(r, m, 1) → M
36. Ray(L, K') → n
37. Rotate(L, (-γ), M) → L'
38. Angle(L', M, L) → ζ
39. Ray(M, L') → s
40. Intersect(n, s) → N
41. Dilate(A, If[0 < l ≤ 1, 1 - l, 0], L) → A'_1
42. Vector(A, A'_1) → u
43. Translate(p, u) → p'
44. Translate(F, u) → F'
45. Point(t) → O
46. Angle(M, L, O) → η
47. Angle(P, L, V) → θ
48. Dilate(B, If[2 < l ≤ 3, 3 - l, 0], L) → B'_1
49. Vector(B, B'_1) → v
50. Translate(A, v) → A'_2
51. Translate(B, v) → B'_2
52. Segment(A'_2, B'_2) → h'
53. Rotate(A'_2, If[3 < l ≤ 4, ((l - 3) * θ), θ], L) → Q
54. Rotate(B'_2, If[3 < l ≤ 4, ((l - 3) * θ), θ], L) → R
55. Segment(Q, R) → h''
56. Dilate(B, If[4 < l ≤ 5, 5 - l, 0], V) → B'_3
57. Vector(B, B'_3) → w
58. Translate(q, w) → q'
59. Line(M, g) → f_1
60. Point(f_1) → S
61. Angle(N, M, S) → τ_1
62. Translate(B, u_1) → B'_5
63. Translate(D, u_1) → D'
64. Polygon(A'_3, B'_5, D') → poly1', d', a'_3, b'_5
65. Line(V, g) → g_1
66. Point(g_1) → W
67. Angle(W, V, L) → σ
68. Rotate(L, (-α), L) → L'_1
69. Rotate(K', (-α), L) → K''
70. Ray(L'_1, K'') → n'
71. Line(B, L) → h_1
72. Rotate(p', If[1 < l ≤ 2, ((l - 1) * τ), τ], L) → p''
73. Rotate(q', If[5 < l ≤ 6, ((l - 5) * (σ - γ)), σ - γ], Q) → q''
74. Translate(A, v) → A'_4
75. Translate(B', v) → B''
76. Rotate(A'_4, θ, L) → A_1
77. Rotate(B'', θ, L) → B'''
78. Rotate(V, α, L) → V'
79. Angle(V, L, V') → ι
80. Ray(L, V') → j_1
81. Rotate(L, (-γ), V) → L'_2
82. Angle(L'_2, V, L) → κ
83. Ray(V, L'_2) → k_1
84. Intersect(j_1, k_1) → T
85. Angle(T, V, W) → λ
86. Rotate(A'_3, If[7 < l ≤ 8, ((-(l - 7)) * λ), (-λ)], V) → U
87. Rotate(B'_5, If[7 < l ≤ 8, ((-(l - 7)) * λ), (-λ)], V) → B_1
88. Rotate(D', If[7 < l ≤ 8, ((-(l - 7)) * λ), (-λ)], V) → D''
89. Polygon(U, B_1, D'') → poly1'', d'', u_2, b_1