反射光线

GeoGebra 命令及参数

1. Circle(S, 1) → c
2. Circle(S, 2) → f
3. Point(f) → A_1
4. Ray(S, A_1) → h
5. Vector(S, A_1) → a
6. UnitVector(a) → L_0
7. UnitOrthogonalVector(L_0) → u
8. CurveCartesian(x(S + (cos(t) * L_0) + (sin(t) * u)), y(S + (cos(t) * L_0) + (sin(t) * u)), t, -3.14159, 3.141592653589793) → UnitCircle
9. Vector(S, B) → b'
10. Vector(S, C) → c'
11. CircumcircleArc(B, S + L_0, C) → λ_2
12. Vector(D, E) → v
13. Segment(D, E) → DE
14. UnitOrthogonalVector(v) → N
15. Vector(S, D) → w
16. Sequence(z_ε^(k), k, (-n), n) → zε
17. Zip(Vector[(z_L * Z)], Z, zε) → Lk
18. Zip(M ⊗ v, Vector[M], Lk) → Det
19. Zip((w ⊗ M) / N, Vector[M], Lk, N, Det) → Times
20. Zip(0 ≤ T ≤ 1 ∧ ((σwv * N) ≥ 0), T, Times, Vector[M], Lk, N, Det) → Isect
21. IndexOf(true, Sort[Isect]) → dex
22. Zip(If[n2 ≟ 2, 1, If[n2 ≟ 0, If[X, 0, 1], If[X ∧ σwv ≟ -1, 0, 1]]], X, Isect) → Ref
23. OrdinalRank(Ref) → KeyR
24. OrdinalRank(Isect) → KeyX
25. Zip(If[X, D + (T * v), S], X, Isect, T, Times) → pts
26. Take(Sort[Rk', KeyR], IndexOf[1, Sort[Ref]], (2 * n) + 1) → Rk
27. Zip(Ray[P, Vector[V]], P, pts, V, Rk') → rays
28. Zip(Segment[S, P], P, Take[Sort[pts, KeyX], dex, (2 * n) + 1]) → segs
29. Point(UnitCircle) → B'