二维向量与圆的几何构造

GeoGebra 命令及参数

1. Line(A, B) → s
2. OrthogonalLine(A, s) → b
3. LineBisector(A, B) → m
4. Vector(A, B) → u
5. OrthogonalVector(u) → v
6. Midpoint(I_3, A) → K_3
7. OrthogonalLine(K_3, m) → i
8. OrthogonalLine(R, i) → h_1
9. Line(J_1, i) → m_1
10. Mirror(m_1, i) → q_1
11. Line(F_2, s) → q_2
12. Intersect(m_1, h_1) → G_1
13. Line(G_2, E_1) → i_1
14. OrthogonalLine(M_3, b) → g_4
15. Line(F, g_4) → h
16. Intersect(m, s) → C
17. Mirror(h, i) → h'
18. Intersect(b, h') → H
19. OrthogonalLine(D, i) → f
20. Intersect(f, h') → I
21. Midpoint(H, I) → J
22. Mirror(J, i) → J'
23. OrthogonalLine(B, u, xOyPlane) → g
24. Mirror(I_3, m) → J_3
25. Polygon(A, B, J_3, I_3) → q1, a_1, b_1, j_3, i_3
26. Mirror(f, m) → f'
27. Mirror(D, m) → D'
28. Mirror(D, i) → D'_1
29. Mirror(D', i) → D''
30. Intersect(h, f) → E
31. Line(L, D_1) → j
32. Line(K, j) → k
33. Line(M, s) → l
34. Line(N, k) → n
35. Intersect(k, g_4) → O
36. Intersect(j, g_4) → P
37. Intersect(k, h) → Q
38. Intersect(n, h) → S
39. Intersect(n, l) → T
40. Intersect(k, l) → U
41. Intersect(j, l) → V
42. Intersect(n, g_4) → W
43. OrthogonalLine(Z, h') → p
44. Intersect(p, g_4) → A_1
45. Intersect(p, l) → B_1
46. Intersect(p, h) → C_1
47. Semicircle(Z, A_1) → c
48. Semicircle(B_1, C_1) → d
49. Polygon(K, L, P, O) → q2, k_1, l_1, p_1, o_1
50. Polygon(V, U, Q, D_1) → q3, q, e, f_1, g_1
51. Polygon(N, Z, A_1, W) → q4, n_1, z_1, r, w
52. Polygon(T, B_1, C_1, S) → q5, t, a, c_1, s_1
53. Mirror(E, m) → E'
54. Line(H_1, h_1) → j_1
55. Intersect(j_1, m_1) → I_1
56. Intersect(i_1, q_2) → F_1
57. Line(K_1, i) → r_1
58. Intersect(i_1, r_1) → L_1
59. Intersect(g_4, i_1) → M_1
60. CurveCartesian(((1 - t)^(4) * I_1) + (((4 * (1 - t)^(3)) * t) * N_1) + (((6 * (1 - t)^(2)) * t^(2)) * P_1) + (((4 * (1 - t)) * t^(3)) * O_1) + (t^(4) * M_1), t, 0, 1) → d_1
61. OrthogonalLine(N_1, l) → t_1
62. Intersect(t_1, l) → R_1
63. CurveCartesian(((1 - t)^(4) * I_1) + (((4 * (1 - t)^(3)) * t) * Q_1) + (((6 * (1 - t)^(2)) * t^(2)) * R_1) + (((4 * (1 - t)) * t^(3)) * S_1) + (t^(4) * M_1), t, 0, 1) → u_1
64. CurveCartesian(((1 - t)^(4) * T_1) + (((4 * (1 - t)^(3)) * t) * Z_1) + (((6 * (1 - t)^(2)) * t^(2)) * B_2) + (((4 * (1 - t)) * t^(3)) * A_2) + (t^(4) * L_1), t, 0, 1) → v_1
65. Polygon(D'_1, D'', D', D) → q6, d'_1, d'', d', d_2
66. Polygon(F_1, U_1, T_1, L_1) → q7, e_1, f_2, g_2, h_2
67. Polygon(F_1, U_1, B_2, L_1) → q8, i_2, j_2, b_2, k_2
68. Midpoint(U_1, F_1) → W_1
69. Midpoint(T_1, U_1) → C_2
70. Vector(C_2, U_1) → w_1
71. Polygon(W_1, U_1, D_2) → t1, l_2, m_2, n_2
72. LineBisector(D_2, W_1) → p_2
73. Intersect(p_2, l) → E_2
74. CircleArc(E_2, W_1, D_2) → c_2