VAR 是否精确：几何构造中的对称与角度度量验证

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → A
2. LineBisector(A, B) → f
3. Polygon(C, A, B, D) → q1, c, a, b, d
4. Intersect(f, d) → E
5. Intersect(f, a) → F
6. Segment(E, F) → g
7. Midpoint(D, B) → K
8. OrthogonalLine(K, b) → i
9. Intersect(g, i) → J
10. Polygon(K, J, F, B) → q2, k_1, j_1, f_1, b_1
11. Circle(J, 9.15) → k
12. Mirror(L, K) → L'
13. Midpoint(M, L') → N
14. Mirror(L, N) → L'_{1}
15. PolyLine(L, M, L'_{1}, L') → j
16. Mirror(O, K) → O'
17. Mirror(P, i) → P'
18. PolyLine(O, P, P', O') → l
19. Mirror(E, d) → E'
20. Mirror(F, d) → F'
21. Mirror(Q, g) → Q'
22. Mirror(L, g) → L'_{2}
23. Mirror(M, g) → M'
24. Mirror(L'_{1}, g) → R
25. Mirror(L', g) → L''
26. PolyLine(L'_{2}, M', R, L'') → j'
27. Mirror(O, g) → O'_{1}
28. Mirror(P, g) → P'_{1}
29. Mirror(P', g) → P''
30. Mirror(O', g) → O''
31. PolyLine(O'_{1}, P'_{1}, P'', O'') → l'
32. Circle(Q, 9.15) → q
33. Angle(O'_{1}, C, E') → δ
34. PointIn(q2) → G
35. Intersect(eq1, a) → H
36. Rotate(G, (-(α_{1}°)), H) → G'
37. Angle(G', H, G) → α
38. Distance(G, G') → distanceGG'
39. Line(G', H) → m
40. Angle(D, B, A) → β
41. Angle(C, D, B) → γ