📚 课程目录第2章费马原理的数学表述

2. 费马原理的数学表述：光程的概念，变分法初步，费马原理的数学公式 δ∫n ds = 0

好，我们正式进入费马原理的数学世界。说实话，很多同学一看到变分、泛函这些词就头大。我当年也一样，总觉得这东西太抽象。但后来做光学设计做多了才发现——费马原理的数学表述，其实就是一句话：光走的路，是时间最短的那条。只不过，我们需要用数学把它说清楚。

先聊一个基础概念——光程。你可能会想，光程不就是光走的距离吗？嗯，差不多，但不完全一样。

光在真空中走，速度是 c。但在介质里，速度会变慢，变成 c/n。所以同样一段几何距离，光在介质里花的时间更长。为了统一描述，我们引入光程这个概念：

光程 = 几何路程 × 介质折射率

数学上：L = n × s

为什么这么定义？因为光程直接对应了光传播的时间。你看：

时间 t = 路程 s / 速度 v = s / (c/n) = (n × s) / c = L / c

所以，光程 L 乘以一个常数 1/c，就是时间。说白了，光程就是“折算成真空中的等效路程”。我在做光纤通信系统时，经常要算不同光纤段的光程差，一旦算错，信号时序就全乱了。嗯，这玩意儿真的很实用。

如果光连续穿过多种介质，总光程就是各段光程之和：

L = n₁s₁ + n₂s₂ + n₃s₃ + ...

如果折射率连续变化呢？那就得用积分了：

L = ∫ n(s) ds

这个积分，就是费马原理的核心。

好，现在问题来了：光程知道了，但光到底走哪条路？费马说，光走的是光程取极值的那条路。怎么找这个极值？这就轮到变分法登场了。

变分法，说白了就是“函数的函数”求极值。普通函数 y = f(x)，你求导找极值点。但光程 L = ∫ n ds 是一个泛函——它的自变量不是 x，而是一条路径。你要找的是哪条路径让这个积分取极值。

我建议你这样理解：

变分法的核心操作，就是给路径加一个微小扰动，看光程怎么变。如果一阶变化为零，那这条路径就是极值路径。数学上写成：

δL = 0

读作：光程 L 的变分为零。

你可能会问：为什么是“变分”不是“微分”？嗯，这里有个关键区别。微分是对函数自变量做微小变化，变分是对整个函数（路径）做微小变化。我刚开始学的时候也搞混过，后来做光学系统优化时，天天跟变分打交道，才真正理解。

现在，我们把光程和变分法合在一起，就得到了费马原理的数学表述：

δ∫ n ds = 0

其中：n 是折射率，ds 是路径微元，∫ 是沿路径积分，δ 是变分符号。

这个公式的意思是：在所有可能的光路中，实际光路使光程的变分为零。也就是光程取极值——通常是最小值，但也可以是最大值或鞍点。

举个例子你就明白了。假设光从 A 点射到 B 点，中间经过一个平面镜反射。直觉告诉你，入射角等于反射角。但费马原理怎么说？它说：光走的是所有可能路径中光程最短的那条。你算一下，确实就是入射角等于反射角那条路。

我曾经在做一个激光测距项目时，需要精确计算激光在大气中的传播路径。大气折射率随高度变化，光不走直线。用费马原理的变分形式，我算出了实际光路，误差控制在微米级。嗯，那一刻我觉得变分法真香。

下面这张图，把本章的核心逻辑串起来了。你看一遍，应该就能明白费马原理的数学骨架：

为了帮你理清思路，我把几个容易混淆的概念放在一起对比：

我的小技巧： 刚开始学变分法时，别急着啃严格的数学推导。先记住 δ∫n ds = 0 这个公式，然后多拿反射、折射的例子去验证。用多了，自然就理解了。我当年就是这么过来的。

注意： 费马原理说的是“光程取极值”，不一定是“最小值”。比如椭球面反射，光从一焦点到另一焦点，所有路径光程相等——这是恒定值，也是极值的一种。别被“最小”两个字误导了。

最后，我们用一个最简单的例子来验证费马原理。假设光在真空中从 A(0,0) 到 B(4,0)，中间经过一个点 P(x, y)。光程就是距离 AP + PB。费马原理说，实际光路应该让这个光程取最小值。

你算一下：

光程 L = √(x² + y²) + √((4-x)² + y²)

对 x 求导，令导数为零，解得 x = 2。也就是说，P 点在 AB 中间时，光程最小。这不就是直线传播吗？

嗯，费马原理用最简洁的方式，解释了光为什么走直线——因为直线光程最短。这个看似简单的结论，却是整个几何光学的基石。