第二章利用费马原理对光的反射与折射这两个实验定律进行推证
- 3 -
第二章利用费马原理对光的反射与折射这两个实验
定律进行推证

2.1 反射定律和折射定律
在教材中我们早就学习了折射定律和反射定律]1[，反射定律的传统表达为：
入射光线与反射光线在同种介质中，且对称分居于法线两侧，即入射角i等于反
射角i，或i＝i。折射定律的传统表达为：光折射时，折射光线、入射光线、
法线在同一平面内，折射光线和入射光线分别位于法线的两侧。折射角随入射角
的改变而改变：入射角增大时，折射角也增大；入射角减小时，折射角也减小。
这两个定律通俗易懂，但它们在教材中都是通过实验推出，并没有从理论的角度
进行推证。本章利用费马原理从理论角度对反射定律和折射定律进行推导。

我们已经学过nds称为光程，并且当两列波在同一点相遇并叠加时，其光强
取决于相位差，而相位差又取决于光程差。可以证明，几何光学中，有关光线的
实验事实也可以归结为光程问题，即不考虑光的波动性，而只从光线的观点出发
通过光程的概念。

2.2费马原理

费马原理是费马在1650年概括光线传播的实验定律提出的[2]，其内容为：连
结给定两点P和Q可以有许多路径，而光线只遵循两点间光程为极值的路径，
数学表达形式为：
Q

P
nds

极值（极小值、极大值或恒值） （2-1）

费马原理要求光程为极值，可以是最小值，这是最常见的，也可以是最大值，
还可以是稳定值。
几何光学的核心就是费马原理，虽然几何光学被看作是波动光学的近似，但
现在光学设计中的光线追迹及光学成像等还是利用由费马原理推出的几何光学
的知识，费马原理是物理学和数学的精妙结合。

2.3 折射定律的推导

设光线由P点传播到Q点， P和Q两点分别在折射率为1n和2n的均匀媒质
中，首先建立笛卡儿空间直角坐标系，选两种介质的分界面为x y平面，选过P
和Q两点并与媒质分界面垂直的平面为yz平面，如果P和Q两点的连线与分界
第二章利用费马原理对光的反射与折射这两个实验定律进行推证
- 4 -
面不垂直，yz平面选取为唯一，否则yz平面的选取不唯一，任选一个即可，如
图2-1所示。设光线交xy平面于A点，由于在均匀媒质中光线沿直线传播，任
意可能的路径是光线沿着直线PA传播到A点，并沿着直线AQ前进到Q点。设
p点坐标为110,,yz，Q点坐标为220,,yz，A点坐标为(,,0)xy，P和Q分别在
两种均匀媒介中，不在xy平面上，即，10z ，20z。令：
222
111
()lPAxyyz

222
222
()lPQxyyz

光程 ：
222222
1122111222
()()()PAQnlnlnxyyznxyyz

光程()PAQ是x， y的二元函数，实际光线所走路径的光程为极值，则其对x，
y的偏导数为零，这时的A点设为0A，即实际光线与媒质分界面得交点为0A，

图2-1光线在折射中任意可能路径示意图
坐标标为(,,0)xy，则00x，即0A点在yz平面上，因此光线沿着yz平面传播，
111122(,)()0xfxynlnl


过0A点作xy平面得垂线OM即为法线，其也在yz平面上，由此得出折射光线，
法线，入射光线在同一平面上，如图2-2所示。图2-2中的1i为入射角，2i为折
射角。光程()PAQ在0A点对y的偏导数也为0。
第二章利用费马原理对光的反射与折射这两个实验定律进行推证

- 5 -
图2-2光线在两种媒质分界面的折射

11111222(,)()()yfxynlyynlyy


(0,)0yfy
111102200102()()0yyyynlnl


则：
111102200120()()yyyynlnl


（2-2）

由（2-2）式又得到：
0120
12

1020

()()yyyynnll

（2-3）

因此：
210
010202
120

()()()0nlyyyyyynl

即：
12012
min(,)max(,)yyyyy
（2-4）

设 ：12yy，则：

102
yyy
（2-5）
不失一般性，如果12yy，由（2-2）式则01yy，02yy否则12yy。因此：
102
yyy

12
yy
（2-6）

由（2-6）式可知，如果P，Q两点的连线与分界面不垂直，折射光线和入射光
线分居在法线的两侧。如果12yy，由（2-5）式可得012yyy因此：

012
yyy
（2-7）

在图2-2中，分别过P，Q两点做垂直于OM的垂线，垂足分别为B，C，由于P，
0
A
点都在yz平面上，并且法线OM与z轴平行，所以01yyPB，20yyCQ ，

并且100lPA，200lAQ，把这些关系式代入（2-3）式 得到：

12
00

PBCQ
nnPAAQ
（2-8）

由于10sinPBiPA，20sinCQiAQ ，可以得到下式：
第二章利用费马原理对光的反射与折射这两个实验定律进行推证
- 6 -
1122
sinsinnini
（2-9）
综合了（2-6）式和(2-9)式得出斯涅耳定律：折射光线、法线和入射光线在
同一个平面上，折射光线和入射光线分居在法线的两侧，并且入射角和折射角的
正弦之比为常量[3]（入射角不为0时）。
如果P，Q两点的连线与分界面垂直，由（2-7）式及P， 0A ，Q三点都
在yz平面上，P，0A，Q三点共线，则(2-9)式也满足，这时折射角和入射角都
为0，入射光线和折射光线垂直于分界面，折射光线、入射光线和法线都在同一
直线上。
为了证明光线遵循折射定律所走路径的光程为极值还需要证明：
0),0(),0()],0([0020yfyfyf
xyxyxy
成立。

由于：111111221122()(,)xxnlnlfxynlnlxx ，111122()(,)xynlnlfxyxy
因此：
110110220(0,)0xxfynlnl

（2-10）

0(0,)0xy
fy
（2-11）
11331122111222(,)[()()]yyfxynlnlnlyynlyy

（2-12）

根据前面1l，2l的定义，由于10z，20z，因此2211()yyl，2222()yyl，
则：3232111112221122()()nlyynlyynlnl 因此(,)0yyfxy则：

0(0,)0yy
fy
（2-13）
根据（2-10）～（2-13）式得到：
0),0(),0()],0([0020yfyfyf
yyxxxy
（2-14）

根据0(0,)0xxfy可知，遵循折射定律的路径的光程的确为极小值。
2.4 反射定律的推导
对于反射定律的推导和折射定律的推导相似只是把折射定律中的折射率
1
n

和2n都用n代替，折射角2i用反射角1i代替，而P，Q两点在xy平面的同侧，（2-9）
式变为：

1
sinsinnini
（2-15）

i
和1i都小于90，则有：
1
ii
（2-16）
第二章利用费马原理对光的反射与折射这两个实验定律进行推证
- 7 -
由此得到反射定律。
2.5 本章小结

利用费马原理，不须假设就能严格得推证反射与折射这两个实验定律，前
提只是折射时折射光线、法线和入射光线在同一平面内；反射时反射光线、法线
和入射光线在同一平面内。