1 历史背景
1.1 费马的提出
费马原理通常归功于17世纪法国数学家皮埃尔·德·费马。相传他在研究几何光学问题时提出，光从一点传播到另一点，并不任意选择路径，而是遵循使传播时间取驻值的路线。这一思想最初以处理反射与折射问题的形式出现，后来逐渐被整理为具有普遍意义的物理原理。
费马的观点在当时具有明显的数学色彩。它把光的传播问题从单纯的几何构造，提升为关于时间比较与路径选择的问题，为后来的变分思想埋下了线索。
1.2 早期光学的发展
在费马之前，古代与中世纪光学主要关注直线传播、镜面反射和透镜成像等现象。随着近代科学兴起，光学开始形成更系统的研究框架。对反射和折射规律的经验认识不断积累，使人们迫切需要一种能够统一解释这些规律的理论。
17世纪的光学研究正处于从经验描述走向理论概括的阶段。费马原理正是在这一背景下出现，并逐步成为几何光学中的核心思想之一。
1.3 与笛卡尔、惠更斯等人的学术争鸣
费马原理的提出并非孤立完成，而是与同时代学者的观点交锋密切相关。笛卡尔曾以机械论方式讨论光的传播，并试图用不同介质中的运动类比解释折射现象。惠更斯则强调波动观点，提出光波前推进的构造方法。
这些学术争鸣推动了光学从单一的射线图景走向更丰富的理论体系。费马关于时间驻值的想法，与笛卡尔的几何推导、惠更斯的波前理论之间，既有竞争也有互补，后来共同构成现代光学的重要基础。
1.4 从“最短时间”到“驻值时间”的概念演化
费马原理常被简化为“光走最短时间的路径”，但这一说法并不总是准确。更严格的表述应是：光的实际路径使传播时间取驻值，也就是在局部扰动下，时间的一阶变化为零。
这种概念演化反映了数学语言的成熟。早期说法偏向直观，容易让人误以为总是“最小”；而后来的表述强调“驻值”，能够容纳极小、极大及鞍点等多种情况，也更符合现代分析框架。
2 基本内容
2.1 原理的核心表述
费马原理指出，光在两个给定点之间传播时，实际走过的路径对应的传播时间为驻值。这里的“路径”可以是直线，也可以是折线或弯曲曲线，取决于介质性质和边界条件。
这一原理并不是单纯对“最短路”的描述，而是对光传播规律的一种总体约束。它说明光的运动并非随机，而是服从某种可由时间函数表达的选择机制。
2.2 光程与传播时间
在几何光学中，光程是描述光传播的重要量。对于均匀介质，光程与几何路程成正比；对于非均匀介质，则需把折射率沿路径积分考虑。传播时间与光程之间存在直接联系，因此可以通过比较不同路径的光程来判断实际传播路线。
当介质中折射率恒定时，光以直线传播；当折射率变化时，路径可能弯曲。费马原理正是通过“时间驻值”把这些情况统一起来。
2.3 “极值”与“驻值”的区别
“极值”强调函数取得局部最大或最小；“驻值”则只要求一阶变分为零，不必限定为最小或最大。对于光学路径而言，真正普遍成立的是驻值条件。
这一点非常关键。某些光路对应最短时间，某些则可能不是最短而是其他驻值情形。因而在严格数学意义上，将费马原理表述为“驻值原理”比“最小时间原理”更准确。
2.4 适用范围与前提条件
费马原理主要适用于几何光学近似成立的情形，即光的波长远小于系统特征尺度时。此时可以把光视为沿射线传播，而不必详细考虑衍射、干涉等波动效应。
此外，该原理通常默认介质性质在空间上变化平缓，且不涉及强烈散射或复杂量子效应。在这些条件下，费马原理能够高效地给出光路的主要特征。
3 数学表述
3.1 几何光学中的路径函数
在几何光学中，可将光线路径表示为一条曲线，并把传播时间写成关于路径的函数。若介质折射率为 \(n\)，路径参数为 \(s\)，则传播时间可表示为沿路径积分的形式。
这种表述把光路问题转化为求函数极值或驻值的问题。也正因如此，费马原理常被看作几何光学与变分法之间的重要纽带。
3.2 变分法语言下的表达
用变分法表述时，实际光路满足作用泛函的一阶变分为零。若把传播时间写成泛函 \(T[\gamma]\)，其中 \(\gamma\) 代表路径，则费马原理可写为 \[ \delta T[\gamma] = 0 \] 这意味着在给定端点附近，对路径做任意微小变动，传播时间的线性变化项消失。
这种写法使光学路径问题具备了清晰的分析结构，也为后来的力学与场论表达提供了模板。
3.3 欧拉—拉格朗日方程的联系
当传播时间泛函写成标准的积分形式后，对其取驻值可导出欧拉—拉格朗日方程。换言之，光路满足一组变分方程，其解给出了实际传播路径。
在均匀介质中，这些方程的解对应直线；在折射率随位置变化的介质中，则对应曲线。欧拉—拉格朗日方程因此成为费马原理的数学桥梁。
3.4 多路径与奇异点情形
在某些光学系统中，同一对端点之间可能存在多条满足驻值条件的光路，例如多重反射系统、复杂透镜系统或折射率分布特殊的介质。此时不同路径都可能是可行的解。
此外，在焦点、焦散或奇异点附近，路径的稳定性会下降，简单的局部极值判断可能失效。对此需要更细致的分析方法来处理多重解与退化情况。
4 物理解释
4.1 光线为何呈直线传播
在均匀介质中，折射率处处相同。若从一点到另一点比较所有可能路径，直线路径的传播时间具有驻值特征，因此实际光线呈直线传播。
这并不意味着光“主动计算”路径，而是说明在可观察尺度上，满足驻值条件的路径会表现为最稳定、最自然的传播方式。
4.2 反射定律的推导
费马原理可以自然导出反射定律。设光从一点射向镜面后再到另一点，比较所有可能的反射点位置，传播时间驻值条件会推出入射角等于反射角。
这一结果与几何光学中的经典反射规律完全一致。由此可见，反射并非独立经验法则，而可由更一般的时间驻值思想统一解释。
4.3 折射定律的推导
折射问题同样可由费马原理处理。光线穿过两种折射率不同的介质时，实际路径会在界面处折转。对界面上的可变交点应用驻值条件，可得到折射角与入射角之间的关系，即斯涅尔定律。
这一推导说明，折射并不是光“偏离直觉”，而是因为在不同介质中，传播速度不同，光会选择使总时间驻值的路径。
4.4 介质折射率变化时的路径选择
当折射率随空间位置连续变化时，光路不再是简单折线，而会形成弯曲轨迹。此时光会倾向于在传播速度较快的区域“停留更久”，在较慢区域“尽量缩短行程”。
这种弯曲路径反映了光对介质空间结构的响应。典型例子包括大气中光线的弯折、梯度折射率材料中的聚焦效应等。
5 典型应用
5.1 平面镜成像
平面镜成像可借助费马原理理解。物点到像点的光路，经镜面反射后满足时间驻值条件，因此反射点的位置具有确定性，最终形成符合几何对称关系的虚像。
这种解释不仅能说明成像位置，也能帮助理解为什么镜像与物体关于镜面成对称关系。
5.2 透镜与成像系统
透镜成像涉及多次折射，光路的选择依赖于不同区域的折射率分布和曲面几何。费马原理为透镜设计提供了基本思路：通过调节曲面形状，使来自物点的光线在像点附近具有合适的时间关系。
因此，许多成像系统的优化，本质上都与光程控制有关。现代光学仪器中，透镜组的设计也常在这一思想基础上进行。
5.3 光纤传播与波导
在光纤和波导中，光并不是简单沿轴线前进，而是在边界约束下以特定模式传播。费马原理有助于理解光在这些结构中的反射、折返与模式选择。
由于边界和折射率分布的限制，某些路径比其他路径更稳定，从而形成可长期传播的导引模式。这也是光通信系统能够高效传输的重要基础之一。
5.4 大气折射与海市蜃楼现象
大气折射率随高度变化，导致来自远处物体的光线发生弯曲。费马原理可用于解释一些视线偏折现象，例如地平线附近的光学偏移和某些海市蜃楼图像。
在温度分层明显的情况下，光路会在不同密度空气层中连续弯折，从而造成物体位置的视觉错觉。这类现象体现了费马原理在自然光学中的直观应用。
6 与其他理论的关系
6.1 与惠更斯原理的联系
惠更斯原理强调波前上的每一点都可看作次级波源，新的波前由这些次级波的包络形成。费马原理则从时间驻值角度确定实际光路。两者虽然表达方式不同，但在许多几何光学问题中会给出一致结论。
前者更接近波动图像，后者更偏向路径选择。它们共同构成了理解光传播的两种互补视角。
6.2 与波动光学的对应
在波动光学中，光的传播要通过波函数或电磁场来描述。几何光学可看作波长趋于极小时的近似极限，而费马原理则是这一极限下的简洁表达。
因此，费马原理并不是与波动理论相互排斥，而是波动描述在短波极限下显现出的有效规律。
6.3 与最小作用量原理的类比
费马原理常被视为最小作用量原理的直观先导。二者都体现出“系统沿某种泛函取驻值演化”的思想，只是一个讨论光程时间，另一个讨论力学作用量。
这种类比之所以重要，是因为它将光学中的路径问题与经典力学中的轨道问题联系起来，推动了统一性更强的理论框架形成。
6.4 与哈密顿原理的关系
哈密顿原理认为，力学系统在给定初末状态之间的真实运动轨迹，使作用量取驻值。该思想在形式上与费马原理高度相似。
正因如此，费马原理经常被看作哈密顿原理的重要先声。二者虽然对象不同，但都强调“真实过程不是任意发生，而是满足整体变分条件”。
7 现代扩展
7.1 在经典力学中的推广
费马原理所体现的驻值思想，被推广到经典力学的轨道求解中。质点、刚体乃至连续介质的运动，都可以借助变分方法来描述。
这使“路径选择”成为经典物理中的通用语言之一，而不再局限于光学领域。
7.2 在电磁学中的应用
在电磁学中，光作为电磁波的一种形式，其传播可由麦克斯韦方程组刻画。在适当近似下，费马原理仍可用于描述光线在介质中的传播方向与路径特征。
特别是在复杂介质、渐变折射率材料和光学设计问题中，这一思想依然具有实用价值。
7.3 在广义相对论中的思想关联
广义相对论中，光沿测地线传播，时空结构决定光路形态。这与费马原理的核心精神相近：路径并非任意，而受某种整体极值或驻值条件约束。
不过，两者所处的理论层次不同。费马原理讨论的是光在给定介质中的传播时间，而广义相对论则涉及时空几何本身。
7.4 在量子力学路径积分中的启发意义
量子力学的路径积分方法认为，粒子从初态到末态的演化可视为对所有可能路径的叠加。在经典极限下，贡献最显著的路径往往对应作用量驻值的轨道。
这种思想与费马原理之间存在深层联系：都说明“真实路径”可由驻值原则选出。费马原理因此常被视为现代物理中路径观点的早期启发之一。
8 争议与误解
8.1 “最短时间”是否总是成立
“最短时间”是费马原理最常见的通俗说法，但并不总准确。某些情况下，光路对应的是驻值而非严格最小值，因此把原理机械地理解为“总走最短时间”会造成误解。
更稳妥的说法是：实际光路使传播时间取驻值。
8.2 驻值不等于最小值
驻值只表示一阶变化为零，不保证函数一定最小。对于某些光学配置，传播时间可能是极小值、极大值，或更复杂的鞍点情形。
这一点在高阶光学系统和多路径情形中尤其重要。只强调“最小”会遗漏原理的普适性。
8.3 何时需要超出几何光学框架
当光波长不再远小于系统尺度时，衍射、干涉和偏振等现象不能忽略，单纯依靠几何光学和费马原理便不够了。此时需要采用波动光学或更完整的电磁理论。
因此，费马原理不是万能公式，而是适用于特定近似条件下的有效原理。
8.4 常见教材中的简化说法
入门教材常把费马原理写成“光走时间最短的路”，以方便理解。这种表述在均匀介质或常见镜面、折射问题中通常足够直观，但在严格性上并不完整。
较为规范的教学应补充“驻值”概念，并说明适用范围和例外情况，以避免学生形成过度简化的印象。
9 相关概念
9.1 光程
光程是衡量光在介质中传播效果的量，常用于把传播时间与路径长度联系起来。它是理解费马原理的重要基础概念。
9.2 光线
光线是几何光学中的抽象模型，用于表示光传播方向。费马原理通常在光线框架下表述，因而二者密切相关。
9.3 变分法
变分法研究泛函的极值或驻值问题，是费马原理的数学工具。没有变分法，就难以用严格形式表述光路选择问题。
9.4 最小作用量原理
最小作用量原理是经典物理中广泛使用的统一思想，强调真实运动轨道满足作用量驻值。它与费马原理在结构上非常相似。
10 参考与延伸阅读
10.1 经典文献
关于费马原理的早期讨论，常见于17世纪光学文献以及后来的几何光学经典著作。相关材料有助于了解原理的历史来源与最初表述。
10.2 教材与综述
现代光学教材通常会在几何光学章节介绍费马原理，并进一步联系反射、折射和成像理论。综述性文献则更适合了解其数学化发展和物理延伸。
10.3 实验与演示
常见演示包括镜面反射、折射实验、变折射率介质中的光路观察等。这些实验能直观展示时间驻值思想如何对应实际光线行为。
10.4 进一步学习方向
深入学习可沿三条线展开：一是变分法与欧拉—拉格朗日方程，二是波动光学与惠更斯—菲涅耳理论，三是现代物理中的作用量思想与路径积分方法。