动态几何证明辅助演示

GeoGebra 命令及参数

1. Circle(A, B) → c
2. Semicircle(A, B) → d
3. Point(d) → C
4. Midpoint(A, B) → F
5. Segment(A, C) → f
6. Segment(C, B) → g
7. Segment(B, A) → h
8. Point(f) → D
9. Point(g) → E
10. Midpoint(D, E) → G
11. Segment(F, G) → i
12. Segment(A, D) → j
13. OrthogonalLine(E, g) → k
14. Circle(E, j) → e
15. Intersect(e, k) → H, I
16. Segment(E, I) → l
17. Midpoint(B, I) → J
18. Segment(B, J) → m
19. Polygon(A, B, C) → poly1, c_1, a, b
20. Angle(A, C, B) → α
21. Dilate(A, If[0 < n ≤ 1, 1 - n, 0], F) → A'
22. Segment(A, A') → p
23. Rotate(A, If[1 < n ≤ 2, ((-(n - 1)) * π), (-π)], F) → A'_1
24. Rotate(A', If[1 < n ≤ 2, ((-(n - 1)) * π), (-π)], F) → A''
25. Segment(A'_1, A'') → p'
26. Dilate(D, If[3 < n ≤ 4, 4 - n, 0], G) → D'
27. Segment(D, D') → q
28. Dilate(G, If[4 < n ≤ 5, 5 - n, 0], E) → G'
29. Segment(G, G') → r
30. Rotate(D, If[5 < n ≤ 6, ((-(n - 5)) * π), (-π)], G) → D'_1
31. Rotate(D', If[5 < n ≤ 6, ((-(n - 5)) * π), (-π)], G) → D''
32. Segment(D'_1, D'') → q'
33. Angle(B, E, I) → β
34. Dilate(A, If[6 < n ≤ 7, 7 - n, 0], D) → A'_2
35. Dilate(B, If[6 < n ≤ 7, 7 - n, 0], E) → B'
36. Segment(A, A'_2) → s
37. Segment(B, B') → t
38. Rotate(B, If[7 < n ≤ 8, ((n - 7) * π / 2), π / 2], E) → B'_1
39. Rotate(B', If[7 < n ≤ 8, ((n - 7) * π / 2), π / 2], E) → B''
40. Segment(B'_1, B'') → t'
41. Circle(I, 2) → d_1
42. Intersect(d_1, k, 2) → K
43. Ray(I, K) → f_1
44. Dilate(A, If[8 < n ≤ 9, 9 - n, 0], E) → A'_3
45. Vector(A, A'_3) → u
46. Translate(A, u) → A'_4
47. Translate(A'_2, u) → L
48. Segment(A'_4, L) → s'
49. Dilate(I, If[9 < n ≤ 10, 10 - n, 0], J) → I'
50. Segment(I, I') → g_1
51. Dilate(J, If[10 < n ≤ 11, 11 - n, 0], B) → J'
52. Segment(J, J') → h_1
53. Rotate(I, If[11 < n ≤ 12, ((n - 11) * π), π], J) → I'_1
54. Rotate(I', If[11 < n ≤ 12, ((n - 11) * π), π], J) → I''
55. Segment(I'_1, I'') → i_1
56. Polygon(E, B, I) → poly2, i_2, e_1, b_1
57. Dilate(F, If[12 < n ≤ 13, 13 - n, 0], G) → F'
58. Segment(F, F') → j_1
59. Dilate(B, If[13 < n ≤ 14, 14 - n, 0], F) → B'_2
60. Vector(B, B'_2) → v
61. Translate(I'_1, v) → M
62. Translate(I'', v) → I'''
63. Segment(M, I''') → k_1