折射光线（斯涅尔定律）

GeoGebra 命令及参数

1. sign2(η2 - η1) → σ2
2. Circle(S, 1) → c
3. Point(c) → A
4. Segment(S, A) → SA
5. UnitVector(SA) → L
6. Circle(C, 1) → d
7. Point(d) → D
8. Vector(C, D) → v
9. Segment(C, D) → CD
10. Line(C, D) → lineCD
11. Point(lineCD) → X'
12. Circle(X', 2) → f
13. Point(f) → S'
14. UnitOrthogonalVector(v) → N
15. Angle(v, N) → β
16. Vector(C, S) → w
17. sign2((w * N)) → σ
18. sign2((((-σ) * L) * N)) → dir
19. Segment(X - (1.5 * N), X + (1.5 * N)) → e
20. If(dir ≟ 1, C + (t * v), S + (20 * L)) → X2
21. Segment(S, X2) → incident
22. IntersectScreen(C + (0.2 * N), D + (0.2 * N), Corner[1], Corner[3]) → LBL1
23. IntersectScreen(C - (0.2 * N), D - (0.2 * N), Corner[1], Corner[3]) → LBL2
24. Angle(X + N2, X, S) → θ_1
25. Min((k1 + k2) / 2, 1) → rfl
26. Vector(If[dir ≟ 1, ((-z_N^(2)) * conjugate(z_L)), L]) → R
27. Ray(X2, R) → reflection
28. Vector(If[dir ≟ 1, (((-σ) * z_N) * zθ2), (0, 0)]) → T
29. Ray(X, T) → transmission
30. Angle(X - N2, X, X + T) → θ_2