2、几何光学基础：光线追迹、近轴近似、符号约定、理想成像条件，为像差分析奠定数学基础

像差理论的核心任务，是描述实际光学系统偏离理想成像行为的程度。而“理想成像”本身并非一个模糊的哲学概念，而是一组在特定数学框架下严格定义的边界条件。要理解赛德尔五种像差（球差、彗差、像散、场曲、畸变）为何产生、如何量化、怎样校正，首先必须掌握几何光学中描述光线行为的四大支柱：光线追迹的矢量法则、近轴近似的线性化处理、全系统统一的符号约定，以及理想成像的数学判据。本章将逐一拆解这些基础，并揭示它们如何共同构成像差分析的“坐标系”——没有这个坐标系，任何像差数值都只是无意义的散点。

上图展示了本章四个核心模块之间的逻辑关系：光线追迹提供“真实光线”的行为数据，近轴近似提供“理想光线”的线性参考，符号约定确保所有计算在统一坐标系下进行，而理想成像条件则定义了像差为零的基准面。四者共同构成像差分析的完整数学框架，赛德尔系数正是这一框架下的“偏差度量”。

2.1 光线追迹：从斯涅尔定律到矢量折射方程

核心原理：光线追迹是几何光学最基础的计算工具，其本质是逐面应用斯涅尔折射定律（Snell's Law），追踪光线在光学系统中每个折射面或反射面上的传播方向变化。在像差理论中，我们关心的不是单条光线的路径，而是一束光线经过系统后如何偏离理想会聚点。因此，光线追迹必须能够精确描述任意入射光线（包括离轴光线、斜光线）的传播行为。

对于三维空间中的光线，斯涅尔定律的矢量形式为：

n'·(L' × N) = n·(L × N)

其中，L 和 L' 分别为入射光线和折射光线的单位方向向量，N 为折射面法线向量，n 和 n' 为界面两侧的折射率。该方程表明，入射光线、折射光线和法线三者在同一平面内，且入射角与折射角满足 n·sinθ = n'·sinθ'。实际计算中，更常用的是将折射定律改写为：

L' = (n/n')·L + Γ·N

其中 Γ = (n/n')·cosθ - cosθ'，可通过向量点积求得。这一形式避免了三角函数运算，便于计算机程序实现。

2.2 近轴近似：线性化带来的数学简化

核心原理：近轴近似（Paraxial Approximation）是像差理论的“零阶基准”。它假设光线与光轴的夹角足够小（通常小于5°），使得 sinθ ≈ θ、tanθ ≈ θ、cosθ ≈ 1。在这一近似下，光线追迹方程从非线性变为线性，光学系统的成像关系可以用简单的代数方程描述。

近轴光学的基本传递方程可写为：

y' = y + u·t
u' = u - (y/R)·(n' - n)/n'

其中 y 为光线在折射面上的高度，u 为光线与光轴的夹角（弧度），t 为面间距，R 为曲率半径。这一组线性方程可以写成矩阵形式，即著名的ABCD矩阵（光线传递矩阵）：

[y']   [1  t] [y]
[u'] = [0  1] [u]

近轴近似的核心价值在于：它提供了一个线性参考系。任何实际光线与近轴光线的偏差，就是像差的直接度量。例如，球差定义为实际光线在像平面上的交点高度与近轴像点高度之差；彗差则反映了不同孔径带的光线在像平面上的横向偏移差异。

2.3 符号约定：统一坐标系的必要性

核心原理：光学系统计算中，符号约定（Sign Convention）是确保公式一致性和结果可比较性的基础。目前国际通用的主要是笛卡尔符号约定（Cartesian Sign Convention），其核心规则如下：

符号约定的重要性在像差计算中尤为突出。例如，计算赛德尔球差系数 S₁ 时，公式中包含折射率、曲率半径、光线高度和角度等多个参数，任何一个参数的符号错误都会导致最终像差系数的正负号反转，从而错误判断像差的校正方向。在光学设计软件中，符号约定通常已内嵌，但工程师在手工推导或编写自定义计算脚本时，必须严格遵循统一约定。

2.4 理想成像条件：等光程与正弦条件

核心原理：理想成像的数学定义是：物点发出的所有光线经过光学系统后，都汇聚于同一个像点，且各光线的光程相等。这一条件称为等光程条件（Fermat Principle），即：

Σ(nᵢ·dᵢ) = 常数

其中 nᵢ 为第 i 段介质的折射率，dᵢ 为光线在该介质中传播的几何路径长度。等光程条件是理想成像的充分必要条件，也是设计非球面透镜的理论依据。

对于轴外物点的成像，还需要满足额外的条件。德国物理学家阿贝（Abbe）提出了著名的正弦条件（Sine Condition）：

n·y·sinU = n'·y'·sinU'

其中 y 和 y' 分别为物高和像高，U 和 U' 分别为物方和像方孔径角。正弦条件保证了轴外物点成像时不会产生彗差。与之对应的还有赫歇尔条件（Herschel Condition）：

n·sin²(U/2) = n'·sin²(U'/2)

赫歇尔条件保证了轴上物点成像时不会产生球差。值得注意的是，正弦条件和赫歇尔条件在一般情况下不能同时满足，这正是球差和彗差难以同时校正的数学根源。

2.5 从理想到实际：像差作为“偏差度量”

核心原理：在建立了光线追迹、近轴近似、符号约定和理想成像条件之后，像差可以被严格定义为：实际光线与近轴理想光线的偏差。这一偏差可以用多种方式量化：

• 横向像差（Transverse Aberration）：实际光线在像平面上的交点与近轴像点的距离，单位通常为 mm 或 μm。
• 纵向像差（Longitudinal Aberration）：实际光线与光轴的交点与近轴焦点的距离，沿光轴方向度量。
• 波前像差（Wavefront Aberration）：实际波面与理想球面波之间的光程差，单位为波长（λ）。

赛德尔像差理论的核心贡献，是将上述偏差分解为五种基本类型（球差、彗差、像散、场曲、畸变），每种类型对应一个独立的系数（S₁ 至 S₅）。这些系数可以通过对光学系统结构参数（曲率半径、折射率、厚度、间距）和光线参数（物高、孔径角）的代数运算直接求得，无需逐条光线追迹。这正是赛德尔理论在计算机出现之前能够指导光学设计的原因。