影子把长度全弄乱了，几何还剩什么？彭赛列与射影几何的故事

晚上关掉顶灯，打开手机手电筒照向桌面上的圆茶杯口。把手机斜着拿，墙上的影子先拉成椭圆；再压低角度，影子豁开缺口，变成了抛物线甚至双曲线。

你可能会嘀咕一句：影子最不讲武德了——原本一样长的线段被拉得一长一短，原本 90 度的直角被挤扁，连永不相交的平行铁轨，拍进照片里都会在天边撞到一起。

欧几里得教了我们两千年的“全等、长度、平行、夹角”，被一束光冲得七零八落。那么问题来了：

当一切长度和角度都被投影弄乱之后，图形里还有什么是打不碎、偷不走的？

把这个问题真正建成一门恢弘学科的人，是一位在俄国战俘营里差点冻死的年轻军官——让-维克多·彭赛列（Jean-Victor Poncelet，1788–1867）。[1]

---

一、雪地里捡回一条命的战俘，没有书怎么搞数学？

先听一段真实得像电影剧本的经历（据圣安德鲁斯大学 MacTutor 数学史档案记载 [1]）：

• 1788 年彭赛列生于法国梅斯，1807 年考入大师云集的巴黎综合工科学校，师从画法几何奠基人蒙日（详见本站《蒙日怎样把空间画在纸上》）、卡诺与布里昂雄，1810 年毕业成为军事工程军官。
• 1812 年，24 岁的他随拿破仑大军远征俄国。11 月 19 日克拉斯诺伊战役惨败，彭赛列倒在尸横遍野的雪地里，被法军当成死人丢下；幸好俄军搜寻战场时发现他还有一口气，把他俘虏押走。
• 徒步跋涉近五个月穿过冰封草原后，1813 年 3 月他被关进伏尔加河畔的萨拉托夫战俘营，一关就是一年多，直到 1814 年 6 月才获释。

牢房里一本书都没有。为了不让精神在严寒和饥饿里垮掉，彭赛列决定靠记忆从头推导自己学过的欧氏几何与蒙日画法几何。没有书的束缚反而成了一件幸事：他不再一题一题抠死板的边长计算，而是抓住了投影、连续变化与对偶这几把总钥匙，写下了著名的“萨拉托夫笔记”。回国后，他在 1822 年出版《论图形的射影性质》（Traité des propriétés projectives des figures）——“射影几何（projective geometry）”这个名字，就诞生于这本书的书名。[1]（几乎同一时期，法国数学家热尔岗也在独立推进这一领域。[1]）

---

二、先看影子捣了什么乱，再看“交比”凭什么稳如泰山

1. 连“正中点”都保不住，平行线还交到了天边

很多初学者会猜：“手电筒照一把尺子，虽然影子整体拉长了，但尺子正中间那个刻度 \(M\)，投到影子里总该还是正中间吧？”

还真不是！看图 1 左半边的实验：

图 1：左图里水平尺上 \(AM = MB = 45\)，\(M\) 是严格中点；但经点光源 \(O\) 斜投到下方纸面后，右半段光线斜得更厉害，影子变成 \(A'M' : M'B' \approx 1 : 1.42\)，中点彻底偏心！右图里两条平行铁轨和等距枕木，在透视画布上越远越密，最终交汇于地平线上的“无穷远点 \(P_\infty\)”。单独打开图片

你看，不仅单段长度 \(AB\) 保不住，连两段之比 \(AM / MB\) 在中心投影下也垮掉了（这就是为什么图 1 右侧铁轨底下明明等距铺设的枕木，在照片里却越往远处越挤！）。

顺着铁轨往天边看，射影几何干了第一件痛快事：给每一组平行线正式发一个“无穷远交点 \(P_\infty\)”，所有方向的无穷远点连成图上的“地平线（无穷远直线）”。以前欧氏几何每说一句“两条直线必交于一点”，都得憋屈地加个括号“平行线除外”；添上无穷远点之后，例外消失了——射影平面上任何两条不同的直线，都毫无例外地交于唯一一点！

2. 三个点不够，四个点的“比的比”突然锁死了！

既然三个点连 \(AM/MB\) 都守不住，再添第四个点呢？在直线上依次取四个点 \(A,B,C,D\)，算一个看似古怪的“比的比”——拿 \(C\) 分 \(AB\) 的比（\(AC/BC\)），再除以 \(D\) 分 \(AB\) 的比（\(AD/BD\)），整理成：

\[(A,B;C,D)=\frac{AC\cdot BD}{BC\cdot AD}.\]

它叫交比（cross-ratio），源头可以追溯到古希腊帕普斯，后来卡诺与彭赛列把它变成了射影几何的主力武器。[1][3]

奇迹发生了：无论光源 \(O\) 在哪儿，无论底下接影子的斜线歪成什么角度，四个影子点 \(A',B',C',D'\) 算出来的交比，永远跟原来一模一样！

为什么“单比”保不住，“比的比”却像焊死了一样？不用背结论，看图 2 右侧的五行初等几何，你当场就能自己证出来：

图 2：左图上线相邻间距为 \(35:40:60\)，投到斜线后变成约 \(82:83:108\)，比例全乱了，但两者的交比都精确等于 \(25/18\approx 1.3889\)。右图揭开谜底：把线段比翻译成以 \(O\) 为顶点的三角形面积比，换用夹角正弦公式后，所有光线长度全约光了！单独打开图片

跟着图 2 右边走四小步：

1. 看左图里浅蓝色的 \(\triangle OAC\) 和旁边的 \(\triangle OBC\)：它们的底边 \(AC\)、\(BC\) 躺在同一直线上，顶点都是 \(O\)，所以高完全相同！高一约掉，底边之比就是面积之比：\(\dfrac{AC}{BC}=\dfrac{S_{\triangle OAC}}{S_{\triangle OBC}}\)。同理 \(\dfrac{BD}{AD}=\dfrac{S_{\triangle OBD}}{S_{\triangle OAD}}\)。
2. 回忆高中三角形面积公式“二分之一两边乘夹角正弦”：\(S_{\triangle OAC}=\tfrac12\cdot OA\cdot OC\cdot\sin\angle AOC\)。
3. 把四个面积代进交比 \(\dfrac{S_{\triangle OAC}\cdot S_{\triangle OBD}}{S_{\triangle OBC}\cdot S_{\triangle OAD}}\)：分子里有 \(OA\cdot OC\cdot OB\cdot OD\)，分母里是 \(OB\cdot OC\cdot OA\cdot OD\)——四条光线长度连同 \(\tfrac12\) 上下对砍，一个不剩全约光了！
4. 最后只剩下纯粹的光线夹角：

\[(A,B;C,D)=\frac{\sin\angle AOC\cdot\sin\angle BOD}{\sin\angle BOC\cdot\sin\angle AOD}.\]

真相大白！这个数值压根就只住在从 \(O\) 射出的那四束光线夹角里。不管你在底下横着截一刀（得到 \(A,B,C,D\)），还是斜着截一刀（得到 \(A',B',C',D'\)），截到的都是同一捆光线，算出来的交比当然分毫不差！[3]

---

三、连续性原理：把点推出圆外，甚至推向“看不见的交点”

在萨拉托夫战俘营里，彭赛列还琢磨出了一条大胆得让同行捏一把汗的思想——连续性原理（principle of continuity）。[1]

先看初中几何里两个原本分开背的定理（图 3）：

图 3：圆半径 \(R=5\)。左图点 \(P\) 在圆内（\(OP=2\)），过 \(P\) 任作两条弦 \(AB\) 与 \(CD\)，两段之积都是 \(5^2-2^2=21\)；右图把 \(P\) 慢慢拖出圆外（\(OP=7\)），弦自然变成了割线，而 \(PA\times PB = PC\times PD = 7^2-5^2=24\) 依然成立（若计有向线段，两者统一写作 \(OP^2 - R^2\)）。单独打开图片

以前人们觉得“圆内相交弦”是一种图，“圆外割线”又是另一种图，得画两张图证两次。彭赛列却问：如果图形是在连续平滑地移动，原本成立的几何关系，凭什么会在跨过边界的一瞬间突然作废？[1]

他甚至往前迈了更惊人的一步：假如一条直线慢慢移出圆外、表面上跟圆“没有交点”了，但在代数方程里，二次方程只是从两个实根变成了一对共轭复根（“虚交点”）——许多由交点导出的直线或性质，哪怕交点本身已经肉眼看不见，居然还稳稳留在实平面上！（例如两圆相交时有一条公共弦；把两圆拉开到互不相交，那条代表“到两圆切线长相等”的根轴依然真实存在。）

这个大刀阔斧的直觉在 1820 年引来了以严谨著称的柯西的严厉批评——柯西警告说，盲目外推在分析学里很容易闹出错误（有趣的是，MacTutor 指出柯西当年举来反驳彭赛列的那个几何反例，反而是柯西自己算错了 [1]）。今天回头看，两人都摸到了真相的一面：在彭赛列手里，连续性原理是百发百中的几何探照灯；而后来的代数几何学家则通过复射影空间，严格划清了它成立的精确边界。

---

四、极点与极线：买一送一的“对偶翻译机”

如果说交比和连续性已经够巧妙，射影几何最让人拍案叫绝的魔术，还要数对偶原理（duality）。

怎么把一个“点”变成一条“线”？彭赛列利用圆锥曲线做了一台现成的翻译机——极点与极线（pole and polar）[1]，看图 4 左侧就能一眼学会：

图 4：左图在圆外取一点 \(P\)，向圆作两条切线，把两个切点 \(T_1,T_2\) 连成直线 \(p\)——这条直线 \(p\) 就叫点 \(P\) 的极线。更妙的是互反律：只要你在 \(p\) 上任取一点 \(Q\)，按同样规则画出 \(Q\) 的极线 \(q\)（绿色虚线），它必定分毫不差地反过来穿过点 \(P\)！右图是由此建立的“点 ↔ 线翻译词典”。单独打开图片

看懂左图那个互换了吗？“点 \(Q\) 落在 \(P\) 的极线上”，百分之百等价于“点 \(P\) 落在 \(Q\) 的极线上”！

这意味着，平面上关于“点在直线上”“两点连成一线”“三点共线”的任何射影定理，只要拿着图 4 右侧那本词典，把全文的“点”全替换成“直线”、“连线”全替换成“交点”、“内接”替换成“外切”，连证明都不用重写一遍，立刻白赚一条全新的定理！

最漂亮的一对双胞胎就在本站：

• 原定理（1640 年帕斯卡神秘六边形）：圆（或椭圆）内接六边形，三双对边的交点必定三点共线（详见《帕斯卡神秘六边形》）；
• 对偶定理（1806 年彭赛列的学长布里昂雄发现）：把词典套上去——圆（或椭圆）外切六边形，三双对顶点的连线必定三线共点！

两条看起来风马牛不相及的定理，在极点极线的镜子里竟然是同一句话的两种读法。不过这件法宝也引发了一场伤感情的官司：1826 年底到 1829 年，彭赛列与热尔岗（后来普吕克也卷入）围绕“谁先拥有对偶原理”打起了长达两年多的优先权笔仗——热尔岗创用了优美的双栏并排排版，彭赛列则早已用极点极线打通了几何机制。[1] 这场争执让心灰意冷的彭赛列此后把主要精力转向了机械工程。[1]

---

五、彭赛列闭合定理：要么永远合不上，要么处处都能合上！

最后来看彭赛列在 1822 年著作中最具传奇色彩的一颗明珠——彭赛列闭合定理（Poncelet’s closure theorem）。[2]

我们来玩一个画线弹球游戏：在纸上画一个大圆（半径 \(R\)）和一个装在里面的小圆（半径 \(r\)）。在大圆上随便点一个起点 \(A_0\)，从它出发紧贴着小圆画一条切线，撞到大圆上的新点 \(A_1\)；再从 \(A_1\) 紧贴小圆画下一条切线撞到 \(A_2\)；再画第三条切线撞到 \(A_3\)。

请问：走完这三步，\(A_3\) 会刚好咬回起点 \(A_0\)，拼成一个严丝合缝的三角形吗？

先看图 5 左半边：绝大多数时候，根本合不上！

图 5：两图外圆与内圆大小完全相同（比例 \(R:r = 5:2\)），只改变了两圆圆心的距离 \(d\)。左图随便摆成 \(d=20\)，从 \(A_0\) 连作三次切线后，终点 \(A_3\) 与 \(A_0\) 错开一大截；右图调到欧拉距离 \(d=\sqrt{R^2-2Rr}\)，不仅蓝色路线 \(A_1\to A_2\to A_3\to A_1\) 精准闭合（动画演示一次描边过程，静态与减少动态效果下均保留完整三角形），把起点换到外圆另一处的 \(B_1\)（绿色虚线），居然照样三步精准闭合！单独打开图片，刷新可重播

直觉上，大家都会觉得：“就算我运气好，把两个圆调好了，在某一个特殊角度找到了一个能合上的三角形；那我一旦把起点 \(A_1\) 沿着大圆挪歪一点点，角度全变了，走三步肯定就歪出去了吧？”

彭赛列证明的结论，彻底反直觉：[2]

设 \(C\) 和 \(D\) 是平面上任意两条圆锥曲线（圆、椭圆等）。哪怕你只找到了一个 \(n\) 边形，它的顶点全落在 \(C\) 上、每条边都与 \(D\) 相切——那么这样的 \(n\) 边形就有无穷多个！你在外圈 \(C\) 上随便挑任何一点当起点，走满 \(n\) 步之后，百分之百都会自动咬回起点！

换句话说，“能不能闭合”根本不挑起点，只挑那两条曲线搭不搭！

• 对两个圆加上三角形（\(n=3\)）的最简情形，早在 1746 年英国数学家查普尔（William Chapple）与稍后的欧拉就已经算出两圆圆心距 \(d\) 必须满足 \(d^2 = R^2 - 2Rr\)；[2]
• 彭赛列则凭射影几何，一举把它推广到了任意两条圆锥曲线和任意边数 \(n\)（四边形、五边形、一百边形全都成立）！[2]
• 为什么换起点永远不坏？现代数学家后来揭开了更深的底牌：沿着切线一步步往下跳的动作，在代数几何里恰好对应椭圆曲线上加一个固定步长——只要这一个步长乘以 \(n\) 等于零，无论从曲线上哪个点起步，连跳 \(n\) 次当然都回到原地！[2]

---

六、从牢房里的几何学家，到改变水轮的工程师

1830 年前后厌倦了学术争吵的彭赛列，重新做回了那个脚踏实地的工程军官，而且干得一点不比几何逊色（据 MacTutor 记载 [1]）：

• 彭赛列水轮：传统下射式水轮的水流撞上平板叶片时损失极大；彭赛列在 1823 年设计出曲面叶片水轮（1826 年发表），让水流顺着弧面平稳爬升再滑落，效率比旧式水轮翻了一倍以上；
• 工业力学：1831 年起他与莫兰系统开展摩擦实验，推广“功（work）”的工程计算；1834 年当选法国科学院力学部院士，1848 年出任母校巴黎综合工科学校校长。

小结

回望彭赛列从萨拉托夫雪夜带回来的礼物，射影几何其实教会了我们一种极洒脱的眼光：

• 抓不变量（交比）：影子把长度和中点都毁了，但四束光线夹角锁住的“比的比”分毫不差；
• 消去例外（无穷远点）：让平行线在无穷远处相交，圆、椭圆、抛物线、双曲线从此变成同一个圆锥的不同影子；
• 看连续与对偶：把圆内弦与圆外割线看作同一条定律的连续移动；用极点与极线把“点”和“线”互译，证一条定理送一条定理；
• 彭赛列闭合定理：一旦两条圆锥曲线跳对了一次节拍，外圈上每一个点就全都在这支舞里。

参考资料

1. MacTutor History of Mathematics，Jean-Victor Poncelet 传记：生平、1812 年俄国战役与萨拉托夫战俘营笔记、1822 年《论图形的射影性质》、连续性原理与柯西的批评、与热尔岗的对偶优先权争论及曲面水轮研究。https://mathshistory.st-andrews.ac.uk/Biographies/Poncelet/
2. Wikipedia，Poncelet’s closure theorem：一般圆锥曲线闭合定理表述、1746 年查普尔三角形特例、双心多边形欧拉关系及椭圆曲线群加法解释。https://en.wikipedia.org/wiki/Poncelet%27s_closure_theorem
3. Wikipedia，Cross-ratio：交比定义、帕普斯与 1803 年卡诺的历史渊源，以及基于光线夹角正弦的投影不变性。https://en.wikipedia.org/wiki/Cross-ratio

说明：本文五幅配图均为原创 SVG，由 python tools/visuals.py build poncelet 生成，脚本自动断言验证了中点投影偏心比例、交比在截线与光线正弦公式下的一致性、相交弦与割线乘积、极点极线互反律（La Hire 定理），以及彭赛列三角形在欧拉条件下的相切与精确闭合。