线段的垂直平分线上的点到线段两端点的距离相等

GeoGebra 命令及参数

1. Segment(B, C) → a
2. Midpoint(a) → C_1
3. OrthogonalLine(C_1, a) → b
4. Point(b) → A_1
5. Ray(B, C) → c
6. Point(c) → E
7. Vector(B, E) → u
8. Translate(B, u) → A_2
9. Translate(C, u) → B'
10. Translate(A_1, u) → A
11. Segment(A_2, B') → d
12. Ray(A_1, C) → n
13. Ray(A, E) → q
14. Intersect(n, q) → J
15. Vector(A, J) → w
16. Translate(A_2, w) → K
17. Translate(B', w) → B''_1
18. Segment(K, B''_1) → d'
19. Translate(A_2, w) → L
20. Translate(A, w) → A'_1
21. Translate(A, w) → A'_2
22. Translate(B', w) → B''_2
23. Translate(A, w) → A'_3
24. Translate(E, w) → E'
25. Translate(A, w) → A'
26. Translate(B', w) → B''
27. AngularBisector(E', A'_3, B'') → a_1
28. Intersect(a_1, d') → M
29. OrthogonalLine(B'', d') → q_1
30. Point(q_1) → W
31. OrthogonalLine(A_1, a) → e
32. Point(e) → D
33. Point(e) → F
34. Point(a) → G
35. Vector(G, E) → v
36. Translate(D, v) → D'_1
37. Translate(D, v) → D'_2
38. Translate(F, v) → F'_1
39. Translate(A_1, v) → H
40. Vector(A_1, A'_3) → f
41. Translate(F, f) → F'
42. Translate(D, f) → D'
43. Segment(D, A_1) → g
44. Segment(D'_2, H) → h
45. Segment(D', A'_3) → k
46. Point(a) → I
47. Intersect(a, g) → N
48. Intersect(d, h) → O
49. Segment(I, N) → l
50. Segment(N, C) → m
51. Segment(E, O) → p
52. Segment(O, B') → r
53. Segment(E', M) → b_{15}
54. Segment(M, B'') → d_1
55. Segment(E, F'_1) → e_1
56. Segment(B', F'_1) → f_1
57. Segment(E', F') → g_1
58. Segment(F', B'') → h_1
59. Angle(C, N, F) → α
60. Angle(B', O, F'_1) → β
61. Angle(B'', M, F') → γ
62. Midpoint(A_1, D) → P
63. Midpoint(D'_2, H) → Q
64. Midpoint(P, Q) → R
65. Segment(P, Q) → i_1
66. Point(i_1) → S
67. Circle(R, S) → k_1
68. Intersect(k_1, i_1, 2) → T
69. Vector(T, S) → u_1
70. Vector(T, S) → v_1
71. Segment(E', F') → j_1
72. Segment(B'', F') → l_1
73. Segment(M, F') → m_1
74. Point(k) → U
75. Circle(U, M) → p_1
76. OrthogonalLine(U, g_1) → r_1
77. Intersect(p_1, r_1, 1) → V
78. Vector(U, V) → w_1
79. Intersect(r_1, g_1) → Z
80. Translate(Z, w_1) → Z'
81. OrthogonalLine(Z', g_1) → s_1
82. Line(Z', g_1) → t_1
83. Line(U, d') → a_2
84. Intersect(p_1, a_2, 1) → B_1
85. Line(B_1, k) → b_{14}
86. Intersect(t_1, b_{14}) → E_1
87. Intersect(t_1, a_2) → F_1
88. Intersect(k, m_1) → G_1
89. Segment(E_1, F_1) → c_2
90. Point(c_2) → D_1
91. Mirror(E_1, k) → H_1
92. Mirror(D_1, k) → I_1
93. Mirror(B_1, k) → J_1
94. Mirror(F_1, k) → K_1
95. Segment(E_1, B_1) → d_2
96. Segment(B_1, F_1) → e_2
97. Segment(H_1, J_1) → g_2
98. Segment(J_1, K_1) → h_2
99. Vector(F_1, D_1) → z_1
100. Vector(K_1, I_1) → u_2
101. Angle(F', M, E') → δ