线段加法公理演示 by 6mawa

GeoGebra 命令及参数

1. Line(A, B) → f
2. Point(f) → C
3. Point(f) → D
4. Point(f) → E
5. Point(f) → F
6. Distance(F, A) → distanceFA
7. Distance(A, C) → distanceAC
8. Distance(C, B) → distanceCB
9. Distance(B, D) → distanceBD
10. Distance(D, E) → distanceDE
11. Line(G, H) → g
12. Point(g) → I
13. Point(g) → J
14. Point(g) → K
15. Distance(G, J) → distanceGJ
16. Distance(H, G) → distanceHG
17. Distance(K, H) → distanceKH
18. Segment(L, M) → h
19. Segment(N, O) → i
20. Segment(P, Q) → j
21. Segment(R, S) → k