向量代数：直线与半圆的交点

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → O
2. Circle(O, 1) → unitCircle
3. Point(unitCircle) → N
4. Vector(O, N) → n
5. Point(unitCircle) → L
6. Vector(O, L) → l
7. Ray(Lamp, O) → p1
8. OrthogonalLine(L, p1) → p
9. Point(p) → F
10. Vector(L, F) → u
11. Vector(O, -δ * Perp * l) → d
12. Vector(-Perp * n) → e
13. Line(O, N) → north
14. Angle(n, l) → θ
15. Angle(C, O, D) → ξ
16. Vector(G, A) → z
17. Angle(O, G, A) → κ
18. Segment(W, E) → f
19. CircleArc(O, W, E) → block
20. Line(O, E) → east
21. Locus(H, t) → loc1
22. Locus(dFB, F) → loc2
23. Locus(dBC, F) → loc4
24. Locus(dFC, F) → loc5
25. Locus(dAC, F) → loc6
26. Locus(dFA, F) → loc7
27. If(abs(δ) ≤ 1, If[NA < 0, A, If[abs(δ) < abs(N * L), C, Q]], Q) → J
28. Segment(F, J) → s
29. Segment(Lamp, If[NL > 0, O, L]) → h
30. Segment(M, P) → k
31. Vector(O, L) → v
32. Segment(a + 0.25 * Perp * a, a - 0.25 * Perp * a) → R
33. Vector(A, S) → w
34. Angle(S, A, F) → θ'
35. If(NA < 0, true, false) → Abelow
36. If(NL < 0, true, false) → Lbelow