公理1

GeoGebra 命令及参数

1. Segment(A, B) → f
2. Distance(A, B) → distanceAB
3. Point(Circle[C, distanceAB]) → D
4. Segment(C, D) → g
5. Distance(C, D) → distanceCD
6. Segment(E, F) → h
7. Segment(F, G) → i
8. Angle(G, F, E) → α
9. Rotate(H, α, I) → H'
10. Angle(H, I, H') → β
11. Segment(H', I) → j
12. Segment(H, I) → k
13. Polygon(J, K, L) → t1, l, j_1, k_1
14. Angle(L, K, J) → γ
15. Angle(J, L, K) → δ
16. Distance(K, L) → distanceKL
17. Point(Circle[M, distanceKL]) → N
18. Segment(M, N) → m
19. Rotate(N, γ, M) → N'
20. Angle(N, M, N') → ε
21. Rotate(M, (-δ), N) → M'
22. Angle(M', N, M) → ζ
23. Line(M, N') → n
24. Line(N, M') → p
25. Intersect(n, p) → O
26. Segment(O, M) → q
27. Segment(O, N) → r