SAS相似定理探索：动态几何验证

GeoGebra 命令及参数

1. Segment(A, B) → a
2. Rotate(B, (a_{2} * pi / 180), A) → B'
3. Ray(A, B') → f
4. Point(f) → C
5. Segment(A, C) → b
6. OrthogonalLine(C, b) → r
7. Circle(C, 1) → t
8. Intersect(t, r, 2) → K
9. OrthogonalLine(K, r) → i_1
10. Point(i_1) → W
11. Rotate(E, (a_{2} * pi / 180), D) → E'
12. Ray(D, E') → j
13. Segment(D, E) → a'
14. Circle(D, (a' / a * b)) → d
15. Intersect(d, j, 1) → F
16. Segment(D, F) → b'
17. Line(K, b') → k_1
18. Point(k_1) → U
19. Line(K, a') → j_1
20. Point(j_1) → V
21. Circle(B, 1) → s
22. OrthogonalLine(B, a) → q
23. Point(q) → M
24. Intersect(s, q, 1) → J
25. OrthogonalLine(J, q) → h_1
26. Point(h_1) → P
27. Polygon(A, B, C) → t1, c, a_1, b_{1}
28. Polygon(D, F, E) → t2, e, d_1, f_1
29. Min({a, a', b, b'}) → g
30. Circle(A, (0.35 * g)) → h
31. Intersect(h, a, 1) → G
32. Intersect(h, b, 1) → H
33. CircleSector(A, G, H) → k
34. Line(A, a') → i
35. Dilate(A, If[0 < l ≤ 1, 1 - l, 0], D) → A'
36. Vector(A, A') → u
37. Translate(k, u) → k'
38. Point(i) → I
39. Angle(I, A, B) → α
40. Rotate(k', If[0 < l ≤ 1, ((-l) * α), (-α)], A') → k''
41. CircleArc(A, G, H) → p
42. Dilate(D, If[1 < l ≤ 2, 2 - l, 0], J) → D'
43. Vector(D, D') → v
44. Translate(D, v) → D'_{1}
45. Translate(E, v) → E'_{1}
46. Segment(D'_{1}, E'_{1}) → a''
47. Line(J, a') → g_1
48. Point(g_1) → L
49. Angle(P, J, L) → β
50. Rotate(D'_{1}, If[1 < l ≤ 2, ((l - 1) * β), β], D'_{1}) → N
51. Rotate(E'_{1}, If[1 < l ≤ 2, ((-(l - 1)) * β), (-β)], D'_{1}) → O
52. Segment(N, O) → a'''
53. Dilate(D, If[2 < l ≤ 3, 3 - l, 0], K) → D'_{2}
54. Vector(D, D'_{2}) → w
55. Translate(D, w) → D'_{3}
56. Translate(E, w) → E'_{2}
57. Point(j_1) → Q
58. Point(i_1) → R
59. Angle(W, K, U) → γ
60. Rotate(D'_{3}, If[2 < l ≤ 3, ((l - 2) * γ), γ], D'_{3}) → S
61. Rotate(E'_{2}, If[2 < l ≤ 3, ((l - 2) * γ), γ], D'_{3}) → T
62. Translate(D, w) → D'_{4}
63. Translate(F, w) → F'
64. Segment(D'_{4}, F') → b''
65. Rotate(D'_{4}, If[2 < l ≤ 3, ((-(l - 2)) * γ), (-γ)], K) → Z
66. Rotate(F', If[2 < l ≤ 3, ((-(l - 2)) * γ), (-γ)], K) → F''
67. Segment(Z, F'') → b'''
68. If(o, 6, 3) → c_1
69. Angle(A, C, B) → δ
70. Intersect(t, b, 1) → A_1
71. Rotate(A_1, If[3 < l ≤ 4, ((l - 3) * δ), δ], C) → B_1
72. CircleSector(C, A_1, B_1) → e_1
73. Dilate(C, If[5 < l ≤ 6, 6 - l, 0], F) → C'
74. Vector(C, C') → u_1
75. Translate(e_1, u_1) → p_1
76. Line(C, b') → l_1
77. Point(l_1) → C_1
78. Angle(C_1, C, A) → ε
79. Rotate(p_1, If[5 < l ≤ 6, ((-(l - 5)) * ε), (-ε)], C') → q_1