神秘六边形:圆锥曲线上的六个点
1640 年 2 月,巴黎流传着一张只印了一面的纸,像一张告示,标题是《圆锥曲线论》。上面没有证明,只有定义、三个引理和一串结论。作者 16 岁,名叫布莱兹·帕斯卡。
梅森神父把这张纸拿给笛卡儿看,笛卡儿的反应是怀疑:他认为这个年轻人的东西全是从吉拉尔·德萨格那里学来的。德萨格是帕斯卡敬佩的建筑师和几何学家。德萨格的影响确实存在,帕斯卡本人也承认这一点。但这张纸上的核心结论是全新的。
圆锥曲线 用一个平面去截一个圆锥。根据倾斜的角度不同,截口的边缘会是椭圆、抛物线或双曲线;圆是椭圆的一种特殊情况。这些曲线统称圆锥曲线,从公元前 3 世纪的阿波罗尼奥斯起就有人研究。
德萨格有一个改变了这门学问的想法:把圆锥曲线看作圆的影子。用手电筒照一个圆,它投在墙上的影子可以是椭圆、抛物线或双曲线。所以,圆的某个性质如果只涉及点和直线,不涉及距离和角度的测量,那它在影子里也会保留下来,对所有圆锥曲线都成立。这就是射影几何的思想。
六边形定理 在一条圆锥曲线上按顺序标出六个点 $A,B,C,D,E,F$,把它们连成一个六边形。相对的边是 $AB$ 和 $DE$、$BC$ 和 $EF$、$CD$ 和 $FA$。把每一对延长,直到它们相交:
$$P=AB\cap DE,\qquad Q=BC\cap EF,\qquad R=CD\cap FA.$$帕斯卡定理说:$P$、$Q$、$R$ 三点总在同一条直线上。
这六个点在曲线上可以按任意顺序排列,六边形甚至可以自己和自己相交。如果两条对边平行,它们就交于一个“无穷远点”,而那条直线就与它们平行。帕斯卡把这个图形叫作神秘六边形。
请启用 JavaScript 以使用这个交互图形。完整的推理见正文。
四百条推论
据梅森说,帕斯卡从这一条定理推出了大约四百条推论,其中包括阿波罗尼奥斯关于圆锥曲线的几乎全部成果。大约在 1654 年,他写成了一部完整的论著。1676 年,莱布尼茨在巴黎读到了这份手稿,认为写得极好,并建议帕斯卡的家人出版。可是没有人出版它,这部论著就这样失传了。 在抛物线上验证 我们用计算来检验这条定理。在抛物线 $y=x^2$ 上取横坐标为 $0,1,2,3,4,7$ 的六个点:
$$A=(0,0),\ B=(1,1),\ C=(2,4),\ D=(3,9),\ E=(4,16),\ F=(7,49).$$先介绍一个捷径。经过抛物线上横坐标为 $u$ 和 $v$ 的两点的直线是
$$y=(u+v)x-uv.$$确实,在 $x=u$ 处它的值是 $u^2+uv-uv=u^2$,在 $x=v$ 处是 $v^2$。下面计算三个交点。
点 P。 $AB$ 的 $u=0,v=1$:$y=x$。$DE$ 的 $u=3,v=4$:$y=7x-12$。令两者相等,$x=7x-12$,所以 $x=2$,$P=(2,2)$。