你是否有一个疑惑,为什么偏偏折纸可以解决尺规作图无法解决的作图难题?今天大小吴就和大家进一步探讨其背后蕴含的数学原理.
1 折纸公理
我们知道,在欧几里得几何学中,尺规作图基于的是欧氏几何的五条公理.而在折纸过程中,纸被折一次就可以得到一条直线(折痕).因此从数学的角度来说,折纸操作意味着构造了一条直线将平面的一半映射到另一半.基于此,1991年日裔意大利数学家藤田文章(Humiaki Huzita)创立了折纸公理(共6条,后完善为7条):
“ 公理1:给定两定点 ,存在唯一一条折痕连接这两点.
这相当于尺规作图中作过两定点的直线.
这相当于尺规作图中作线段 的垂直平分线.
这相当于尺规作图中作 和 所夹角的角平分线(如果两直线平行,折痕是夹在 和 间等距离的平行线).
这相当于尺规作图中从直线外一点引该直线的垂线.
这相当于尺规作图中的如下操作:以 为圆心 为半径画弧与 交于一点,得到同时过该点与 的直线,最后过 作该直线的垂线.
公理5“ 公理6:给定两定点 和两定直线 ,存在唯一一条折痕使 映射到 上且使 映射到 上.
实际上,这条公理在尺规作图中没有对应操作.下面我们将说明,它等价于解三次方程问题,正因为此它成为了解决古希腊作图问题的关键.
在解释公理6之前,我们先来讨论一种比较熟悉的二次曲线——抛物线.
根据公理5,我们可以将抛物线 的焦点 通过折纸操作映射到准线 上的点 ,且折痕过抛物线上的一点 .
可以证明,折痕必然是抛物线上过 的切线,且垂直平分 .改变 的位置,使其取遍抛物线上的点,可以得到无数条折痕,而所有的折痕构成了抛物线 的包络线.
所有折痕形成“包络”
反过来,我们也可以运用这个原理巧妙地通过折纸折出一条抛物线(如图,通过折纸将 与 重合,得到一系列点 ,再用一条光滑的曲线将它们连接).
我们都知道抛物线是二次曲线,换句话说,公理5为我们提供了如何求解二次方程问题的方法依据,这同样也是尺规作图可以办到的.
3 公理6的特殊之处
如果你理解了上述内容,你就可以理解公理6中的折痕实际上就是两条抛物线 的公切线(其中 是以 为焦点, 为准线; 是以 为焦点, 为准线).
接下来我们将要说明:这条公切线的斜率实际上是满足某个三次方程的解.换句话说:公理6等价于解决三次方程问题.而这正是尺规作图所做不到的.
为方便起见,设 ,直线 ,直线 .
则焦点为 ,准线为 的抛物线 满足方程:
焦点为 ,准线为 的抛物线 满足方程:
设 在某点 切线为 ,又可根据求导得知切线满足方程
由此可得
注意到 满足 ,因此
同理, 在某点 切线满足方程
得到
根据 得到
联立两个关于 的式子可得(此处有误,第二项为2t平方)
可以看到,这个方程是一个三次方程,其实数解 恰好对应两条抛物线公切线的斜率.
而我们知道,古希腊三大作图问题中的倍立方体和三等分角都等价于求解三次方程(这件事你如果忘了,可以点击下方卡片进行复习),而公理6保证了我们可以通过折纸做到这一点.
尺规作图与古希腊三大作图问题
参考资料[1]张贺佳.折纸与尺规作图[J].数学通报,2007(10):57-59.
转载内容仅代表作者观点
不代表中科院物理所立场
如需转载请联系原公众号
来源:大小吴的数学课堂
编辑:冬眠爱好者
1.2.
3 .
4.
5.
6.
7.
8.
9.
10.