确定正方形的性质

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → D
2. Point(yAxis) → A
3. Line(D, C_1) → a
4. Segment(A, D) → b
5. Mirror(A, a) → C_2
6. Mirror(D, a) → A'
7. Segment(C_2, A') → b'
8. Line(C_2, D_1) → c
9. Polygon(A, D, C_2) → poly1, b'_1, b_1, a_1
10. Line(C_2, A) → d
11. Mirror(A, a_1) → B'_1
12. Mirror(D, a_1) → B
13. Mirror(C_2, a_1) → C
14. Polygon(B'_1, B, C) → poly1', b'', b'_2, a'_1
15. Polygon(D, A, B, C_2) → poly2, a_2, b_2, a'_2, b'_3
16. Angle(C_2, D, A) → α
17. Angle(D, A, B) → β
18. Angle(A, B, C_2) → γ
19. Angle(B, C_2, D) → δ
20. Segment(D, B) → g
21. Segment(A, C_2) → h
22. Intersect(g, h) → E
23. Segment(A, E) → j
24. Segment(E, C_2) → k
25. Segment(E, B) → l
26. Segment(E, D) → m
27. Angle(E, D, A) → ε
28. Angle(D, A, E) → ζ
29. Angle(E, A, B) → η
30. Angle(A, B, E) → θ
31. Angle(E, B, C_2) → ι
32. Angle(B, C_2, E) → κ
33. Angle(E, C_2, D) → λ
34. Angle(C_2, D, E) → μ
35. Angle(A, E, D) → ν
36. Angle(D, E, C_2) → ξ
37. Angle(C_2, E, B) → ο
38. Angle(B, E, A) → ρ
39. Polygon(A, B, C, D) → poly3, a_3, b_3, c_1, d_1
40. Segment(A, C) → q
41. Segment(D, B) → r
42. Polygon(A, B, C, D) → poly4, a_4, b_4, c_2, d_2
43. Segment(A, C) → t
44. Segment(D, B) → e_1