动态圆内垂直割线段问题演示

GeoGebra 命令及参数

1. Circle(A_1, B_1) → c
2. Intersect(c, f, 1) → D_1
3. Intersect(c, f, 2) → E_1
4. CircleArc(A_1, D_1, E_1) → c_1
5. Intersect(c, g, 1) → F_1
6. CircleArc(A_1, F_1, E_1) → d
7. Point(c_1) → D
8. Intersect(c, j) → H_1, I
9. CircleArc(A_1, H_1, F_1) → k
10. CircleArc(A_1, D_1, F_1) → e
11. Point(k) → C
12. Intersect(c, h, 2) → E
13. Intersect(c, i) → K, B
14. Intersect(h, i) → A
15. Segment(C, A) → l
16. Segment(A, E) → m
17. Line(E, B) → n
18. OrthogonalLine(C, n) → p
19. Intersect(n, p) → G
20. Line(C, D) → q
21. OrthogonalLine(A, q) → r
22. Intersect(q, r) → H
23. OrthogonalLine(D, n) → s
24. Intersect(n, s) → F
25. Segment(A, H) → t
26. Circle(G, t) → d_1
27. Intersect(d_1, n, 1) → J
28. Dilate(D, If[0 < b ≤ 1, 1 - b, 0], A) → D'
29. Dilate(C, If[0 < b ≤ 1, 1 - b, 0], A) → C'
30. Segment(D, D') → f_1
31. Segment(C, C') → g_1
32. Angle(D, A, C) → α
33. Dilate(D, If[2 < b ≤ 3, 3 - b, 0], E) → D'_1
34. Segment(D, D'_1) → h_1
35. Dilate(E, If[3 < b ≤ 4, 4 - b, 0], F) → E'
36. Segment(E, E') → i_1
37. Dilate(D, If[3 < b ≤ 4, 4 - b, 0], F) → D'_2
38. Segment(D, D'_2) → j_1
39. Dilate(F, If[4 < b ≤ 5, 5 - b, 0], J) → F'
40. Segment(F, F') → k_1
41. Dilate(J, If[5 < b ≤ 6, 6 - b, 0], G) → J'
42. Segment(J, J') → l_1
43. Dilate(C, If[5 < b ≤ 6, 6 - b, 0], G) → C'_1
44. Segment(C, C'_1) → m_1
45. Dilate(C, If[7 < b ≤ 8, 8 - b, 0], D) → C'_2
46. Segment(C, C'_2) → n_1
47. Dilate(A, If[8 < b ≤ 9, 9 - b, 0], H) → A'
48. Segment(A, A') → p_1
49. Dilate(A, If[10 < b ≤ 11, 11 - b, 0], G) → A'_1
50. Vector(A, A'_1) → u
51. Translate(A, u) → A'_2
52. Translate(A', u) → A''
53. Segment(A'_2, A'') → q_1
54. Line(A, l_1) → r_1
55. Point(r_1) → N
56. Angle(N, A, H) → β
57. Rotate(A'_2, If[10 < b ≤ 11, ((-(b - 10)) * β), (-β)], A'_2) → O
58. Rotate(A'', If[10 < b ≤ 11, ((-(b - 10)) * β), (-β)], A'_2) → A'''
59. Segment(O, A''') → s_1
60. Dilate(A, If[11 < b ≤ 12, 12 - b, 0], J) → A'_3
61. Vector(A, A'_3) → v
62. Translate(A, v) → A'_4
63. Translate(A', v) → A''_1
64. Segment(A'_4, A''_1) → t_1
65. Rotate(A'_4, If[11 < b ≤ 12, ((-(b - 11)) * β), (-β)], A'_4) → P
66. Rotate(A''_1, If[11 < b ≤ 12, ((-(b - 11)) * β), (-β)], A'_4) → Q
67. Segment(P, Q) → a_1
68. Angle(E, G, C) → γ
69. Angle(D, F, E) → δ
70. Angle(C, H, A) → ε
71. Segment(G, B) → b_1