正方形的对称轴 by Nick Kochis

GeoGebra 命令及参数

1. Polygon(A, B, C, D) → poly1, a_1, b_1, d_1, c_1
2. Line(C, B) → j
3. Line(D, C) → k
4. Line(A, B) → l
5. Line(D, A) → m
6. LineBisector(M, C) → c
7. Intersect(c, k) → F_1
8. Intersect(c, l) → G
9. Intersect(c, m) → H
10. Intersect(j, c) → I
11. Mirror(B, c) → B'
12. Mirror(D, c) → D'
13. Mirror(A, c) → A'
14. Polygon(M, F_1, I) → poly2, i, e, f
15. Polygon(F_1, D, A, B, I) → poly3, f_1, d, a_2, b_2, i_1
16. Polygon(F_1, M, B', G) → poly4, f_2, e_1, b', g
17. Polygon(F_1, D, A, G) → poly5, f_3, d_2, a_3, g_1
18. Polygon(F_1, M, B', A', H) → poly6, f_4, e_2, b'_1, a', h
19. Polygon(F_1, D, H) → poly7, h_1, f_5, d_3
20. Polygon(H, D', M, I) → poly8, h_2, d', e_3, i_2
21. Polygon(H, A, B, I) → poly9, h_3, a_4, b_3, i_3
22. Polygon(H, D', M, B', G) → poly10, h_4, d'_1, e_4, b'_2, g_2
23. Polygon(H, A, G) → poly11, g_3, h_5, a_5
24. Polygon(G, B, I) → poly13, i_4, g_4, b_4
25. Polygon(G, A', D', M, I) → poly12, n, p, q, r, s
26. Midpoint(D, C) → E
27. Midpoint(A, B) → F
28. Segment(E, F) → t
29. If(Distance[M, D] ≤ 0.05, 1, 0) → ok
30. Midpoint(C, M) → J
31. Midpoint(b_1) → K
32. Midpoint(c_1) → L
33. Line(L, K) → a1
34. Line(E, F) → b1
35. Line(D, B) → b
36. Line(D, B) → c1
37. Line(C, A) → d1