线段加法公理：形成性评估

GeoGebra 命令及参数

1. Sequence(i, i, -20, 20, 0.25) → l1
2. RandomElement(l1) → sol
3. Random(1, 50) → ls
4. Random(1, 50) → rs
5. Union(Sequence[i, i, -10, -1, 1], Sequence[i, i, 1, 10, 1]) → c1list
6. RandomElement(c1list) → c1
7. Union(Sequence[i, i, -10, -1, 1], Sequence[i, i, 1, 10, 1]) → c2list
8. RandomElement(c2list) → c2
9. Union(Sequence[i, i, -10, -1, 1], Sequence[i, i, 1, 10, 1]) → c3list
10. RandomElement(c3list) → c3
11. Simplify(g) → r
12. Simplify(h) → s
13. Simplify(p) → t
14. Segment(A, B) → i
15. Textfield(j) → InputBox1
16. Textfield(k) → InputBox2
17. Textfield(l) → InputBox3
18. Textfield(m) → InputBox4
19. If(j ≟ sol, "√", "X") → text4
20. If(k ≟ ls, "√", "X") → text5
21. If(l ≟ rs, "√", "X") → text6
22. If(m ≟ tot, "√", "X") → text7