几何光学与透镜成像

关键词#

折射定律; 斯涅尔定律; 费马原理; 薄透镜方程; 焦距; 数值孔径; 球差; 色差; 畸变; 高斯光学; 光线追迹; 望远镜; 显微镜

几何光学真的只是"直线传光"的简化理论吗？#

标题：几何光学不是"光线是直线"的简化——它是波动光学在短波极限下的精确渐近理论

几何光学（ray optics）常被视为"幼稚的简化版本"，认为它假设光是直线传播的粒子，波动性可以完全忽略。事实上，几何光学是波动光学在波长趋于零极限下的严格渐近展开（eikonal approximation）：将光场写成 $\psi = A e^{ikS}$，在 $k \to \infty$（波长趋于零）时，相位函数 $S$（程函数，eikonal function）满足程函方程 $|\nabla S|^2 = n^2(x)$，光线就是等相面的法线——从波动光学到几何光学的过渡，与从波动力学到经典力学（通过WKB近似）完全类比。几何光学在光学系统的尺寸远大于波长时（如所有宏观光学仪器）是极好的近似，其失效正是衍射效应显著的边界（透镜边缘、焦点附近、衍射极限处）。

费马原理（Fermat's principle）是几何光学的最深刻基础：光在两点之间沿光程（optical path length，折射率×几何路程之积）取极值的路径传播。折射定律（斯涅尔定律）、反射定律、直线传播都是费马原理的推论。费马原理在数学上与分析力学的最小作用量原理完全类比（光程 ↔ 作用量，折射率 ↔ 折射率之与速度的倒数之比），这一类比是量子力学路径积分思想的最直接前驱。

从伊本·海赛姆到阿贝：一千年的透镜史#

标题：从伊本·海赛姆到阿贝——几何光学与透镜的历史

几何光学的科学史横跨东西方。伊本·海赛姆（Ibn al-Haytham，约965—1040年，阿拉伯世界，拉丁名Alhazen）在他的《光学书》（Kitab al-Manazir，约1011年）中，批判了古希腊的"视线说"（眼睛发射视线），提出光从物体射入眼睛的正确理论，系统研究了针孔成像、球面反射、折射（包括大气折射的定性分析），并使用第一个暗室实验（camera obscura的雏形）。《光学书》通过拉丁文译本对中世纪欧洲光学研究产生了深远影响，被认为是光学史上最重要的著作之一。

折射定律（斯涅尔-笛卡尔定律）的历史有争议：威勒布罗德·斯涅利乌斯（Willebrord Snellius）约在1621年发现了折射正弦定律（$n_1\sin\theta_1 = n_2\sin\theta_2$），但其手稿未出版，笛卡尔在1637年的《折光学》中独立发表了相同定律并给出了微粒说解释（错误的物理模型，但正确的数学结论）。克里斯蒂安·惠更斯（1690年）从波动说正确推导出了折射定律，但机制争论延续到19世纪。

第一架望远镜由荷兰眼镜匠汉斯·利珀希（Hans Lipperhey）在1608年申请专利；伽利略随后改进并用于天文观测（1609年）。开普勒（Johannes Kepler）在1611年设计了用双凸透镜组成的开普勒望远镜（视野更宽，但像倒立），并在《屈光学》（Dioptrice，1611年）中系统讨论了透镜成像原理。牛顿为避免色差设计了反射望远镜（1668年），是现代大型天文望远镜的先祖。

薄透镜方程、高斯光学与像差的根源#

标题：薄透镜方程、高斯光学与像差

薄透镜方程（高斯透镜方程）：

$$\frac{1}{v} - \frac{1}{u} = \frac{1}{f}$$

（$u$ 为物距，$v$ 为像距，$f$ 为焦距；符号约定因教材而异，此处用$u < 0$为实物）。焦距由制镜者方程（Lensmaker's equation）给出：$1/f = (n-1)(1/R_1 - 1/R_2)$（$n$ 为折射率，$R_1, R_2$ 为两面曲率半径）。透镜的放大率 $m = v/u$（像高与物高之比）；对凸透镜，物在焦点外成实像（可投影），物在焦点内成虚像（放大镜原理）。

高斯光学（paraxial optics）是几何光学在近轴（光线与光轴夹角小）近似下的线性理论：用矩阵光学（$2\times 2$ 光线传递矩阵，Ray Transfer Matrix）描述光线通过任意光学系统的传播，系统等效焦距、主面位置等参数由矩阵元素直接读出。高斯光学是光学系统设计（相机镜头组、内窥镜、激光谐振腔设计）的基础工具。

实际透镜在大孔径或大视角时偏离近轴近似，产生像差（aberrations）：

• 球差（spherical aberration）：球面透镜对不同高度的光线焦距不同，导致轴上点成模糊圆（弥散圆）。非球面透镜（aspheric lens）可消除球差（哈勃空间望远镜1990年发射时主镜有球差，1993年宇航员更换了修正光学件，才恢复成像质量）。
• 色差（chromatic aberration）：折射率随波长变化（色散），不同颜色的光焦距不同，边缘彩色。消色差透镜（achromat）用不同折射率材料的两块透镜组合消除主要色差。
• 彗差、像散、场曲、畸变：各种偏轴像差，由Seidel像差理论系统分类，是复杂镜头组（相机变焦镜头20+片组）设计要解决的主要问题。

望远镜的极限之战：色差、球差与自适应光学#

标题：天文望远镜的极限——从折射到反射到干涉测量

折射望远镜（refractor）用透镜汇聚光，受色差和大口径制造难度限制（最大折射望远镜：叶凯士折射镜，1897年，口径102 cm，是今天仍在使用的最大折射望远镜）。反射望远镜（reflector）用抛物面镜避免色差（反射与波长无关），可制造更大口径：帕洛马（5 m，1948年）→ 凯克（10 m，1993年）→ 甚大望远镜（VLT，4×8.2 m，1998年）→ 极大望远镜（ELT，39 m，建造中，首光预计2029年）→ 三十米望远镜（TMT，计划中）。

自适应光学（adaptive optics，AO）是现代地基大型望远镜的关键技术：大气湍流引起的波前畸变使地基望远镜分辨率实际上只有约0.5—2角秒（远低于衍射极限0.01角秒，对于10 m望远镜可见光）。AO系统用波前传感器实时测量大气引起的波前误差（通常利用人造激光导星，laser guide star），驱动变形镜（deformable mirror，数百至数千个可调促动器）校正波前，使地基望远镜接近空间望远镜的衍射极限分辨率。2004年，美国凯克望远镜和ESO VLT分别用AO系统观测到银河系中心黑洞人马座A（Sgr A）周围恒星的轨道，Andrea Ghez和Reinhard Genzel因此获得2020年诺贝尔物理学奖。

眼科手术（LASIK、LASEK、飞秒激光手术）是几何光学和光学像差理论的直接医学应用。人眼的折射误差（近视、远视、散光）本质上是透镜系统的像差，LASIK通过准分子激光切削角膜（修改曲率，改变折射力），实现个性化像差矫正（波前引导的LASIK）。2023年全球每年约500万例激光视力矫正手术，是几何光学从宇宙尺度到毫米尺度的全谱应用。

从手机镜头到光镊：几何光学的现代疆域#

标题：从相机到量子光学——几何光学的现代延伸

手机相机镜头是几何光学与现代材料和计算的完美结合。智能手机的主摄镜头（2020年代旗舰机型）通常由5—8枚非球面镜片组成（直径约5—7 mm），配合1/1.5英寸CMOS传感器（像素约1亿至2亿），焦距约5—6 mm，等效35 mm焦距约24—28 mm广角。固定镜头物理孔径约2—3 mm（f/1.5—f/1.9），已接近小型光学系统的衍射和像差平衡极限；长焦模组用折叠光路（潜望式变焦，periscope zoom）实现等效5—10倍光学变焦，而不增加手机厚度。计算摄影（computational photography，HDR、多帧叠加降噪、人工智能超分辨）弥补了小孔径手机镜头在暗光和望远场景的物理不足，是"光学设计+信号处理+机器学习"三者融合的工程范例。

光学相干断层扫描（Optical Coherence Tomography，OCT）是1990年代发展的医学成像技术（David Huang、James Fujimoto 等，1991年发表于《科学》），利用低相干光源的干涉信号（干涉测量深度约1—2 mm，轴向分辨率约1—10 μm），对生物组织进行高分辨率断层成像。OCT是眼科检查视网膜结构（青光眼诊断）的标准工具，也用于心血管内窥镜（冠状动脉斑块成像）和皮肤科（黑色素瘤诊断）。全球每年约3000万例OCT检查，是最广泛使用的医学成像干涉仪。

量子光学实验中，高质量的光学元件（聚焦透镜、抛物面镜、反射镜）是必不可少的。离子阱量子计算中，激光束需精确聚焦到微米量级（单个离子尺寸约纳米级，但激光束腰约微米）来选择性操控单个离子；光镊（optical tweezers）利用强聚焦激光（高斯光束在焦点处的梯度力）捕获并操控直径约0.1—10 μm的微粒（细菌、细胞、微米珠）——阿瑟·阿什金（Arthur Ashkin）因发展光镊技术获得2018年诺贝尔物理学奖。

连接节点：光的干涉与衍射 → 几何光学与透镜成像（波动光学到几何光学的极限）；几何光学与透镜成像 → 光纤与全内反射（全内反射是折射定律的极端情形）；几何光学与透镜成像 → 天文望远镜（望远镜的光学基础）

事实卡#

• 卡1：伊本·海赛姆（约1011年）的《光学书》首次提出光从物体射入眼睛的正确理论，比欧洲类似工作早约500年。
• 卡2：哈勃太空望远镜（1990年）因主镜球差失效，1993年由宇航员在太空更换了修正光学件后才恢复性能。
• 卡3：Andrea Ghez和Reinhard Genzel利用VLT和Keck望远镜的自适应光学，观测银河系中心黑洞，获2020年诺贝尔物理学奖。
• 卡4：全球每年约500万例激光视力矫正手术，利用波前引导的LASIK精确修改角膜曲率，是几何光学最广泛的医学应用。

引用#

"光在两点之间寻找最短时间路径，正如大自然在一切事物中寻找效率。" — 皮埃尔·德·费马，17世纪（关于费马原理的通俗概括，意译）

跨域连接#

• 变分法：费马原理说光沿光程取极值的路径传播，折射定律、反射定律、直线传播全是它的推论——这是变分思想在物理学最早的成功之一。推论：给定折射率分布，光线轨迹就是一个变分问题的解，整片连续介质中的光路可以一次求出，无需逐界面拼接。
• 光的干涉与衍射：几何光学不是幼稚的近似，而是波动光学在短波极限下的严格渐近理论——它的失效边界正是衍射显著之处。推论：衍射极限为任何透镜系统划定分辨率天花板，像差校正做得再好也跨不过波长本身设定的墙。
• 微分几何：在折射率渐变的介质中光线连续弯曲（大气折射即一例）——折射率场相当于一个"光学度规"，光线是它的短程线。推论：引力透镜用同一种几何语言描述光线弯曲，几何光学与广义相对论在数学结构上遥相呼应。
• 自适应光学：地基望远镜的实际分辨率长期被大气湍流限制在远低于衍射极限的水平——自适应光学用波前传感器加变形镜实时抵消大气扰动。推论：分辨率瓶颈从玻璃研磨转移到了计算速度，波前校正环路的带宽决定了能"冻结"多快变化的大气。
• 眼睛的进化：人眼是一台自带像差的透镜系统——近视、远视、散光本质都是折射误差，激光视力矫正通过修改角膜曲率来重做这片"生物透镜"的参数。推论：视力矫正等价于对眼睛应用制镜者方程，几何光学的像差理论同时约束着望远镜设计与眼科手术。

参考文献#

1. Born, Max; Wolf, Emil. Principles of Optics, 7th ed. Cambridge University Press, 1999.（第三至五章：几何光学与像差）
2. Hecht, Eugene. Optics, 5th ed. Pearson, 2017.（第五至六章：几何光学与透镜系统）
3. Smith, Warren J. Modern Optical Engineering, 4th ed. SPIE Press, 2007.（光学工程设计的权威参考）
4. Saleh, Bahaa E. A.; Teich, Malvin C. Fundamentals of Photonics, 3rd ed. Wiley, 2019.（光子学中的几何光学与波动光学）
5. 赵凯华, 钟锡华. 《光学》. 北京大学出版社, 1984.（几何光学与波动光学的中文权威教材）
6. 郁道银, 谈恒英. 《工程光学》（第四版）. 机械工业出版社, 2016.