角角边(AAS)定理快速探索

GeoGebra 命令及参数

1. Rotate(B, α, A) → B'
2. Ray(A, B') → g
3. Point(g) → D
4. Segment(A, D) → j
5. Circle(I, j) → p
6. Ray(A, B) → f
7. Point(f) → C
8. Segment(A, C) → i
9. Point(Circle[I, i]) → J
10. Rotate(J, α, I) → J'
11. Ray(I, J') → m
12. Intersect(p, m) → P,
13. Segment(D, C) → h
14. Min({i, j, h}) → a
15. Circle(A, (0.35 * a)) → c
16. Intersect(c, i, 1) → E
17. Intersect(c, j, 1) → F
18. CircleSector(A, E, F) → d
19. Circle(D, (0.35 * a)) → e
20. Intersect(e, j, 1) → G
21. Intersect(e, h, 1) → H
22. CircleSector(D, G, H) → k
23. Segment(I, J) → l
24. Segment(P, J) → q
25. Segment(I, P) → s
26. Circle(I, (0.35 * a)) → c_1
27. Circle(P, (0.35 * a)) → d_1
28. Intersect(c_1, l, 1) → L
29. Intersect(c_1, s, 1) → M
30. Intersect(d_1, q, 1) → N
31. Intersect(d_1, s, 1) → O
32. CircleSector(I, L, M) → g_1
33. Circle(C, (0.35 * a)) → p_1
34. Circle(J, (0.35 * a)) → q_1
35. Intersect(q_1, q, 1) → R
36. Intersect(q_1, l, 1) → S
37. Intersect(p_1, h, 1) → T
38. Intersect(p_1, i) → U,
39. CircleSector(J, R, S) → r_1
40. CircleSector(C, T, U) → s_1
41. Dilate(J, If[0 < b ≤ 1, 1 - b, 0], C) → J'_{1}
42. Vector(J, J'_{1}) → u
43. Translate(r_1, u) → r
44. Circle(P, (0.35 * a)) → t
45. Intersect(t, s, 1) → K
46. Intersect(t, q, 1) → Q
47. CircleSector(P, K, Q) → e_1
48. Line(J, h) → n
49. Point(n) → V
50. Angle(P, J, V) → β
51. Rotate(r, If[0 < b ≤ 1, (b * β), β], J'_{1}) → r'
52. Polygon(A, C, D) → t1, d_2, a_1, c_2