反射：结果向量

GeoGebra 命令及参数

1. Vector(A, B) → AB
2. Line(A, B) → l1
3. UnitVector(AB) → U
4. Line(A, U) → l1'
5. Point(l1') → C
6. Vector((ί * U)) → N
7. Angle(B, C, C + N) → α
8. CurveCartesian(x(C + (cos(t) * U) + (sin(t) * N)), y(C + (cos(t) * U) + (sin(t) * N)), t, -3.141592653589793, 3.141592653589793) → a
9. Circle(C, 1) → c
10. Point(a) → D
11. Vector(D, C) → L
12. sign2(((-L) * N)) → σ
13. Angle(D, C, C + (σ * N)) → λ
14. Angle(C + (σ * N), C, C + R) → λ'
15. If(dex ≟ 1, 1, -1) → σ2
16. If(lerp ≥ 7, 4, If[lerp ≥ 6, 3, If[lerp ≥ 4, 2, 1]]) → h
17. If(lerp ≥ 15, 4, If[lerp ≥ 14, 3, If[lerp ≥ 13, 2, 1]]) → h2
18. Vector(C, C + L) → u
19. Angle(C + L_u, C, C + R) → β'
20. Angle(C + L_u, C, C + L) → β
21. If(dex ≟ 1, Vector[(((-N) * L) * N)], Vector[((U * L) * U)]) → w
22. If(lerp ≤ 12, C - L, If[lerp ≤ 13, C - L + L_u, C + L + (2 * L_u)]) → F2
23. If(lerp ≤ 12, C + L, If[lerp ≤ 13, C + L - L_N, C + L - (2 * L_N)]) → E