3. 反射定律的费马原理推导：从费马原理出发证明入射角等于反射角

反射定律，说白了就是「入射角等于反射角」。这玩意儿我们在初中物理就背得滚瓜烂熟。但有没有想过——为什么光非得这么走？

我个人习惯，遇到这种「理所当然」的定律，总想从更底层的原理去捅一捅它。费马原理就是那把好用的刀。今天我们就用费马原理，把反射定律的底裤扒干净。

3.1 费马原理的「最小时间」表述

先回顾一下费马原理的核心：光从A点到B点，实际走的路径是耗时最短的那一条（准确说是「极值路径」，不过反射情况恰好是最小值）。

你想想看，光在均匀介质里走直线，因为直线最短嘛。但遇到反射面，光得拐个弯。它怎么知道拐哪个角度最快？

3.2 几何建模：把问题变成求极值

我们建个坐标系。反射面放在x轴上（y=0）。A点坐标 (0, a)，B点坐标 (d, b)，其中a>0, b>0。入射点P在x轴上，坐标 (x, 0)。

那么光程 L = AP + PB = √(x² + a²) + √((d-x)² + b²)。

我们要找x，让L最小。嗯，求导吧。

dL/dx = x / √(x² + a²) - (d-x) / √((d-x)² + b²) = 0

令 sinθ₁ = x / √(x² + a²)  （入射角的正弦）
令 sinθ₂ = (d-x) / √((d-x)² + b²)  （反射角的正弦）

则 dL/dx = sinθ₁ - sinθ₂ = 0
→ sinθ₁ = sinθ₂
→ θ₁ = θ₂

你看，费马原理一出手，反射定律就出来了。干净利落。

3.3 直观理解：为什么是「相等」而不是「更小」或「更大」？

我曾经给一个刚入行的同事解释这个问题。他说：「光为什么不走更短的路径？比如直接撞到反射面上更近的点？」

我让他画个图。如果P点太靠近A的正下方，AP短了，但PB会变得很长。反过来也一样。总光程L关于x的函数是一个开口向上的抛物线（其实是双曲型），最小值恰好出现在两个角度相等的位置。

说白了，光在「权衡」两段路程。它不会偏袒任何一段，而是让两段路的「单位水平位移带来的路程变化率」相等——这就是导数为零的物理含义。

3.4 用SVG把推导过程可视化

下面这张图，把几何关系、变量定义、以及极值条件都标出来了。我建议你盯着图看30秒，比读三页文字都管用。

3.5 从数学到物理：二阶导数验证

光真的走的是「最小时间」路径吗？万一是个极大值呢？

我们来算二阶导数：

d²L/dx² = a² / (x² + a²)^(3/2) + b² / ((d-x)² + b²)^(3/2) > 0

二阶导数恒为正，说明这个极值点确实是最小值。光没有耍滑头，它老老实实走了最短时间的那条路。

3.6 一个有趣的推论：光路可逆

从费马原理的推导中，我们还能顺手得到一个重要性质——光路可逆。

你看，如果把A和B互换，入射角和反射角也跟着互换，但等式 sinθ₁ = sinθ₂ 是对称的。所以光从B到A走的路径，和从A到B完全一样。

这个性质在透镜设计中太重要了。我设计双筒望远镜的光路时，就利用光路可逆性来验证系统是否对称——如果正向追迹和反向追迹的结果不一致，那一定是某个反射面装歪了。

3.7 本章小结

步骤	操作	关键点
1	建立坐标系，定义变量	A(0,a), B(d,b), P(x,0)
2	写出光程函数 L(x)	L = √(x²+a²) + √((d-x)²+b²)
3	对x求导，令导数为零	dL/dx = sinθ₁ − sinθ₂ = 0
4	得到反射定律	θ₁ = θ₂
5	验证最小值	二阶导数恒正

费马原理把反射定律从「经验总结」提升到了「原理推导」的高度。下次你看到镜子里的自己，可以想想——光为了让你看到自己，可是认认真真算了一道极值题呢。