三角不等式与向量加法

GeoGebra 命令及参数

1. PointIn(y > 0) → C
2. Circle(C, A) → c
3. Segment(A, B) → h
4. Line(C, h) → i
5. Intersect(c, i, 1) → D
6. CircleArc(C, D, A) → e
7. Circle(C, B) → d
8. Intersect(d, i, 2) → E
9. Point(e, 1 - animT(t1)) → F
10. CircleArc(C, B, E) → k
11. Point(k, animT(t1)) → G
12. Segment(F, C) → j
13. Segment(C, G) → l
14. Polygon(A, C, B) → t2, b, a, c_1
15. Vector(F, C) → u
16. Vector(C, G) → v
17. Vector(A, B) → w