第 5–6 章 · 几何光学：透镜与成像

波长趋零的极限里，光变成"光线"——反射折射定律统治的世界。几何光学是镜头设计的工程语言：成像公式、光路作图、像差分析。

成像的公式系统

球面折射 $\frac{n_1}{s_o} + \frac{n_2}{s_i} = \frac{n_2-n_1}{R}$ 与薄透镜 $\frac{1}{f} = (n-1)\left(\frac{1}{R_1} - \frac{1}{R_2}\right)$（磨镜者公式）；成像方程 $\frac{1}{f} = \frac{1}{s_o} + \frac{1}{s_i}$ 配符号规则（实正虚负）。作图三光线（平行光过焦点、过光心直线、过焦点变平行）是快速构像的手艺；放大率 $M = -s_i/s_o$。

光阑与光学的"光圈经济学"

孔径光阑（决定亮度与景深）、视场光阑（决定范围）；F 数 $f/\#$：像面照度 $\propto 1/(f/\#)^2$——相机光圈一档差一倍的物理；景深与焦深由模糊圆与衍射斑共同定：小光圈增大景深但衍射斑变大——衍射极限与景深的拉锯是光机设计的核心权衡。

像差：理想的敌人

激光与光纤时代的新伙伴：GRIN 透镜（折射率渐变）、非球面模压、衍射光学元件——几何光学的现代延展。

• 球差：边缘光线焦点偏移（大孔径杀手）——非球面、组合透镜矫正；
• 色差：$n(\lambda)$ 使焦距随颜色漂移——冕牌/火石玻璃组合（消色差双胶合）；
• 五种 Seidel 像差（球差、彗差、像散、场曲、畸变）与初级理论的表格；变焦与放大镜/望远镜/显微镜的系统公式（角放大率 $M = -f_o/f_e$）。

老师的提醒

• 符号规则是几何光学的生死线：选定惯例（实正虚负）后一以贯之，混用教科书惯例是计算事故主因。
• 记住"衍射 $\propto$ 光圈、景深反比于光圈"的拉锯：任何"又亮又清晰又大景深"的需求都要在系统级妥协。

自检

• 由磨镜者公式算双凸薄透镜焦距。
• F 数与像面照度、景深的关系？
• 消色差双胶合的原理？

更深一层：像差是"近轴近似的账单"

几何光学的五条像差（球差、彗差、像散、场曲、畸变）不是五个独立的麻烦，而是同一个根源——近轴（小角度）近似失效——的五个展开项。初级理论（三阶 Seidel）给出每种像差的"价格表"：球差 $\propto$ 孔径³（大孔径杀手）、彗差 $\propto$ 视场×孔径²、像散 $\propto$ 视场²×孔径……设计 = 让不同镜片的像差互相抵消——这就是消色差双胶合（冕牌/火石玻璃的组合）与多片镜头的全部思想：没有单镜片的完美，只有组合的平衡。

F 数的"光圈经济学"值得精确化：像面照度 $\propto 1/(f/\#)^2$（一档光圈差一倍的物理）、景深与焦深的拉锯（小光圈大景深但衍射斑变大）——衍射极限与景深的拉锯是光机设计的核心权衡。相机光圈的每一档都是这个权衡的具体兑现。

推导细读：作图三光线的"代数等价"

薄透镜成像的三光线作图法（平行光过焦点、过光心直线、过焦点变平行）有一个代数等价物：成像方程 $\frac1f = \frac{1}{s_o} + \frac{1}{s_i}$ 的三种极限情形。作图法不是"替代计算"，是计算的快速可视化——镜头的焦点、成像位置、放大率在十秒内读出。几何光学的全部工程判断力，最终都化作"画三光线比算公式快"的手感。

在真实世界里：几何光学的"系统公式"

几何光学的系统工程清单：望远镜（角放大率 $M = -f_o/f_e$——物镜焦距决定放大倍率与集光能力的权衡）、显微镜（数值孔径 $NA = n\sin\theta$ 决定分辨率——油浸物镜的 $n$ 提升策略）、变焦镜头（多组镜片的位置联动——焦距连续变化的机械结构）、激光与光纤（GRIN 透镜的折射率渐变、衍射光学元件）。几何光学不是"过时的近似"，是光学工程的第一层设计语法——波动光学的修正在第二层。

专题深入：傍轴光学的"矩阵语言"完整版

几何光学的现代形态是光线转移矩阵（ABCD 矩阵）：傍轴光线用 $(y, \theta)$ 二元组表示，每个光学元件是 2×2 矩阵（平移 $[[1, d],[0,1]]$、薄透镜 $[[1, 0],[-1/f, 1]]$、球面折射），复合系统 = 矩阵连乘——复杂光路的分析从"画图找焦点"升级为"矩阵乘法"。厚透镜的基点理论（两主平面、两焦点、两节点）是矩阵语言的产物：系统矩阵元素直接给出焦距 $f = -1/C$ 与主平面位置。拉格朗日不变量 $n\,y\,\theta$ 在任何共轴系统中守恒——它一次给出两个基本定律：数值孔径与分辨率的关系、以及亮度守恒（光学扩展量 étendue 守恒）：光源亮度无法用透镜"放大"——聚光系统的设计极限由此写死（LED 投影、太阳能聚光的物理天花板）。像差理论与三级像差（球差、彗差、像散、场曲、畸变 + 两色差）是傍轴近化的"误差展开"——镜头设计软件（Zemax）的优化目标就是把高级像差项逐个压平。

推导细读：成像的三种语言与分辨率的极限完整版

同一成像现象的三种语言值得对照：几何光学（物像公式 $\frac{1}{s} + \frac{1}{s'} = \frac{1}{f}$、放大率 $m = -s'/s$——设计镜头的快速通道）；波动光学（瞳函数的傅里叶变换 = 点扩散函数 PSF——成像 = 物体与 PSF 卷积，这个"系统论"视角把镜头变成滤波器）；信息论（光学传递函数 OTF = PSF 的傅里叶变换、MTF 曲线给出各空间频率的对比度传递——镜头评测报告上的 MTF50 就是"镜头带宽"）。分辨率的极限语言：瑞利判据 $\theta = 1.22\lambda/D$（圆孔衍射第一零点）——望远镜口径竞赛、显微镜 NA 竞赛、光刻机 NA=1.35（浸没式）的全部动机；超越衍射极限的路线（荧光开关 STED、结构光 SIM、单分子定位 PALM/STORM——2014 年诺贝尔化学奖）把分辨率推到 20 nm："衍射极限"对荧光标记的对象可被绕开，对自发光对象仍然神圣。

工程案例细节：光学系统的产业账本工程版

第三章的工程出口：手机镜头的设计账（6-7 片塑料非球面镜、等效焦距短、MTF 优化的自动化——Wafer-level optics 与注塑非球面把成本压到几美元）；光刻机的光学账（EUV 13.5 nm 用多层膜反射镜（Mo/Si 40 层对，单镜反射率 70%）、数值孔径 0.33、分辨 13 nm——" NA × k₁/λ"公式决定摩尔定律的节奏）；望远镜的自适应光学（大气相干长度 r₀ 限制地基分辨率，变形镜 + 导引星实时补偿——VLT、Keck 的分辨力从 1" 提升到衍射极限 0.02"）；激光谐振腔的稳定性（$0 < g_1g_2 < 1$ 稳定性判据、腔模间隔 FSR=c/2L——腔设计就是 ABCD 矩阵 + 纵模计数的组合题）；内窥镜与光纤成像（相干光纤束传像、GRIN 透镜的径向折射率分布成像）。几何光学的"古老"公式仍是最贵光学装备的设计语言。