zoe's notebook

灯下

阅读和思考的痕迹。不限定领域,不限定格式。
只记录真正让我停下来想了一会儿的东西。

一张纸的计算力——折纸如何解决尺规做不到的事,又如何折叠进了太空

从三等分角到图灵完备,从太阳能板到 60 米恒星遮光罩

引言:雷克萨斯工厂里的一只纸猫

雷克萨斯工厂的自动化设备堪称世界顶尖,但这家日本车企仍然聘用着被称为「匠师」(Takumi)的顶级技工。一名工人要花数十年才能晋升为匠师,而转正前的最终考核极具日式特色:必须用非惯用手在 90 秒内折出一只折纸小猫,以此证明手部精细灵活度。

这并非孤例式的文化仪式。折纸——这门诞生于纸张发明之后的古老手艺——在过去四十年里悄然变成了一门横跨数学、计算机科学、航天工程和生物医学的硬核学科。一张纸能做什么?答案远比千纸鹤复杂得多。

一、折纸简史:从中国到日本,从仪式到艺术

折纸大约起源于公元 1-2 世纪的中国——毕竟纸是中国人发明的。6 世纪时,佛教僧侣将纸张带到日本,折纸从此在日本生根发芽。在平安时代(794-1185),折纸是日本贵族阶级各项仪式的组成部分:武士们交换经过装饰的折纸礼物;神道教贵族用装饰了雌雄纸蝴蝶的清酒来庆祝婚礼;茶道大师收到文凭时,会把外包装特别折叠——一旦打开就无法重新折回,任何多余的折痕都意味着文件被人偷看过。这是一种密码学意义上的防篡改设计。

1797 年,三重县桑名市长円寺的僧人义道一円写出了世界第一部折纸书《秘传千羽鹤折形》,记载了多种纸鹤的折法。但真正将折纸从传统手工艺推向现代艺术的,是 20 世纪的一个关键人物。

吉泽章(Akira Yoshizawa,1911-2005),出生于奶农家庭,20 岁出头在工厂教初级员工几何学时,突然意识到折纸是一种可以帮助学生理解角度、线条和形状的绝佳工具。他后来发展出了 Yoshizawa-Randlett 图解系统——今天全世界通用的折纸记号体系(山折、谷折、箭头方向)——基本奠定了现代折纸的语言。他一生创作了超过五万件作品,从未卖出过一件。

二、数学转折:折纸公理严格地强于尺规作图

公元前五世纪,古希腊数学家提出了三个著名的几何作图问题:

  • 三等分任意角
  • 倍立方(作出体积恰好是原正方体两倍的正方体)
  • 化圆为方

两千多年来无数人尝试,直到 19 世纪数学家终于用抽象代数给出了终极裁决:这三个问题都不可能用尺规完成。原因深刻而优雅:每一步尺规作图本质上是在解一个二次方程,而三等分角和倍立方需要解的是三次方程。尺规作图只能操作二次,永远够不到三次。

故事到这里似乎画上了句号。但如果我们换一种工具呢?

1936 年,意大利数学家 Margherita P. Beloch 发表了一篇论文,展示了用「Beloch 折法」可以用折纸求解一般三次方程。她的核心操作是:给定平面上两点 P₁、P₂ 和两条直线 l₁、l₂,将纸折叠使 P₁ 落在 l₁ 上同时 P₂ 落在 l₂ 上。这个看起来人畜无害的操作,等价于同时求解两个二次方程的公切线——其代数本质是解一个三次方程。

Beloch 的工作长期被忽视。直到 1980 年代,数学家们才重新发现它的深刻性,并系统地归纳了折纸操作的公理体系。经过多位学者(包括 Humiaki Huzita 和 Koshiro Hatori)的工作,折纸的基本操作被总结为七条公理,统称 Huzita-Hatori 公理。这七条公理定义了折纸的「合法操作」,就像欧几里得五大公设定义了尺规作图的合法操作一样。

其中最关键的是第六公理——也就是 Beloch 折法。它的代数威力惊人:既然折纸能解三次方程,那么:

三等分任意角?可以。 日本数学家阿部恒给出了具体的折纸操作方法:取一张正方形纸,先做出高度三等分处的两条折痕,然后执行第六公理的折叠——一个点落在一条线上,另一个点落在另一条线上——展开后,折痕的角度恰好三等分了原来的角。

倍立方?也可以。

这意味着:折纸作为一种几何构造工具,严格地强于尺规作图。 两千年来被认为「不可能」的事,换一张纸就做到了。

三、平整折叠的两大定理

不是所有折法都能让纸平整地合拢。川崎定理和前川定理给出了平整折叠的充要条件:

川崎定理(Kawasaki's Theorem): 一个顶点可实现平整折叠的充要条件是,环绕该顶点的交替角之和等于 180°。设顶点处循环相接的四个内角为 θ₁、θ₂、θ₃、θ₄,则必须满足 θ₁ + θ₃ = 180°,θ₂ + θ₄ = 180°。

前川定理(Maekawa's Theorem): 顶点平整折叠时,交汇于此的山折数量 m 与谷折数量 v 之差恒为 2,即 |m − v| = 2。

这两条定理是所有折纸数学的基石。任何一个合法的折痕图案,都必须在每一个内部顶点处同时满足这两条约束。

四、三浦折叠:一张地图改变了航天工程

1985 年,日本天体物理学家三浦公亮(Kōryō Miura)发明了一种革命性的折叠法——三浦折叠(Miura-ori)

三浦折叠的折痕图案由交错的山折和谷折排布形成多列倾斜平行四边形。四个平行四边形交汇的顶点恰好汇聚四道折痕。它的魔力在于:只需拉住对角,整张纸就会像手风琴一样自动展开——一个动作,全部打开,无需逐道折痕依次展开。

这个特性来自它的数学结构。三浦折叠的每个顶点都满足川崎定理和前川定理,更重要的是,它是一个单自由度系统:所有折叠角度耦合在一起,由同一个参数 sin(θ/2) 决定。这意味着折叠无法单向伸缩,两个方向的展开动作相互耦合、同步联动。

1995 年,日本宇宙航空研究开发机构(JAXA)发射的太空飞行单元卫星 SFU,首次采用三浦折叠收纳太阳能电池板。太阳能阵列像一本厚重长书一样收拢,进入太空后仅需一台驱动装置拉动一角,就如手风琴般完全展开。

三浦折叠后来广泛用于旅游地图——你可能用过那种从包里掏出来一拉就开的地图,那就是三浦折叠。

五、Robert Lang:从 NASA 物理学家到全职折纸艺术家

Robert J. Lang,1961 年生于俄亥俄州,斯坦福毕业,加州理工学院应用物理学博士。他在 NASA 喷气推进实验室(JPL)的微器件实验室工作,研究半导体激光器和空间光调制器,拥有 46 项专利,发表了 80 多篇论文。

然后他在 2001 年辞职了。辞职去折纸。

Lang 不是放弃科学去搞艺术——他发现折纸背后的数学问题,比他研究的激光器更有挑战性。在 JPL 工作期间,他学到了一个关键工具:非线性约束优化。这是工程设计中用来在多重约束条件下寻找最优解的技术。Lang 意识到,如果你能精确描述一个折纸形状的数学约束,就能用优化算法找到每一条折痕的精确位置。

他开发了名为 TreeMaker 的软件——世界上第一个计算折纸设计工具。你输入一个想要的形状(甚至可以是一段简笔画),软件会计算出精确的折痕图,告诉你每一道折痕在哪里、是山折还是谷折。

Lang 的折纸作品令人叹为观止:带 400 片鳞片的鲤鱼、1000 片鳞片的蟒蛇、翅展 4.3 米的翼龙——全部由一张未切割的方形纸完成。他的作品被纽约现代艺术博物馆收藏。

但更重要的是他的工程咨询工作:

  • 汽车安全气囊:安全气囊需要折叠塞进方向盘里,展开时必须瞬间膨胀成正确的形状。Lang 用折纸数学优化了气囊的折叠方案。
  • 太空望远镜:他参与了 Lawrence Livermore 国家实验室的长投射式望远镜项目,设计了可折叠的镜面方案——折叠状态适于火箭运输,到太空后展开成巨大的望远镜阵列。
  • 心脏支架:与医药公司合作开发能折叠进入血管、到达心脏后展开的手术设备。

NASA 的 Spinoff 报道引用 Lang 的话说:「在 JPL 多年来解决激光和光电子学数学问题的过程中,我积累了一套工具包。后来我发现,这套工具恰好能用来描述折纸——你输入一个想要的形状,然后找到每一条折痕的最佳方案。」

六、Erik Demaine:折纸是图灵完备的

Erik Demaine,加拿大裔 MIT 教授,6 岁开始折纸,20 岁成为 MIT 最年轻的教授之一。他和父亲 Martin Demaine 长期合作,将折纸数学推进到了令人震惊的深度。

2023 年 9 月,康奈尔大学的 Inna Zakharevich 和 Thomas Hull 证明了一个里程碑式的结果:折纸是图灵完备的。

这意味着什么?1936 年图灵提出了通用计算机的构想——一条无限长的磁带,上面写满 0 和 1,还有一台可以沿磁带移动的读写机器。图灵证明,这个装置可以执行任何计算。后来人们发现康威的「生命游戏」、扫雷、万智牌都可以被用作通用计算机。现在,折纸也加入了这个列表。

原则上,一张纸加上正确的折痕,可以完成任何计算。当然,这是一种理论上的等价性——没有人真的打算用纸来算微积分。但它揭示了折纸的计算能力上限,远远超出所有人的预期。

Demaine 的另一个重要方向是蛋白质折叠。蛋白质在生物体内折叠成特定三维形状才能发挥功能——错误的折叠会导致疾病。折纸数学的算法,正在帮助科学家理解为什么某些折叠路径是可行的,而另一些会导致蛋白质「错误折叠」。计算折纸可能最终帮助设计定制蛋白质来对抗疾病。

七、闪光折纸:把天线塞进 10 厘米立方星

JAXA 面临着一个棘手的工程难题:如何在仅 10×10×10 厘米的立方星(折纸二号卫星)内部收纳大型天线阵列?

答案是闪光折纸图案(Flasher origami pattern)。这种结构以中心刚性多边形为核心,外围环绕螺旋状细密折痕环带。展开时从中心向外 360° 旋转舒展,一次性全方位铺开。天线阵列展开后可达 50×50 厘米——收纳状态的 25 倍。

闪光折纸也遵循川崎和前川两大定理。它由多层同心环网格包裹中心多边形构成,每个内部顶点的交替内角之和严格等于 180°。所有顶点均为四阶,每个交汇点严格分配三道山折一道谷折(或反之)。

但闪光折纸有一个几何缺陷:它不具备刚性可折叠特性。展开收拢过程中,折面板必须发生弯曲,否则机构会卡死。工程师提出了多种改良方案:沿面板对角线增设辅助折痕、顶点处裁切减重、加装滚动铰链。

折纸二号卫星于 2026 年 4 月在新西兰搭乘「革新崛起号」火箭发射升空。目前卫星正在开展设备健康状态检测,完成自检后将执行核心任务:展开反射阵列天线。

与此同时,NASA 喷气推进实验室正在研发一套基于闪光折纸的更大规模的展开机构——巨型花形恒星遮光罩。这是未来系外行星生命探测任务的核心设备。计划 2040 年代发射的宜居世界观测台(Habitable Worlds Observatory, HWO),将配备 60 米直径的遮光罩,遮蔽恒星本体光线,让望远镜能以前所未有的清晰度观测绕行系外行星。遮光罩的折叠和展开方案,直接来自折纸数学。

八、吉村折叠:最精妙也最倔强的图案

日本航空航天科学家吉村庆丸在 1951 年研究薄壁金属圆筒受垂直重压时的屈曲形态,发现了一种独特的折叠图案——吉村折叠(Yoshimura pattern)

它由交错菱形与三角面拼接而成。完全收拢压扁时近似圆形,充分展开后形成刚性极强、结构稳定的圆筒。这使得它在汽车溃缩区结构筒、人体血管自扩张支架、甚至未来月球和火星基地的太空舱主体结构等场景中,拥有广阔的应用前景。

但吉村折叠至今仍是工程界的一块硬骨头。原因有二:

其一,它的二维到三维形态转换过程难以建模。折叠中段,三角曲面会凸起、弯折、扭曲,方程组引入强非线性。

其二,吉村折叠以大量六阶顶点为基础构成复杂网格,不存在唯一折叠路径。不同于三浦折叠和闪光折纸的单自由度特性,吉村折叠具备多自由度——需要复杂的矩阵代数才能推演全部潜在折叠轨迹。这意味着它的形变不可预测,建模和控制难度极高。

这也意味着,折纸数学尚未完成。三浦折叠和闪光折纸已经被数学「驯服」,但吉村折叠仍在 resisting。

九、一个高中生推翻了「纸最多折八次」的神话

2001 年,高中生 Britney Gallivan 提出了纸张折叠次数与厚度关系的损失函数:

L = (πt/6)(2ⁿ + 1)(2ⁿ − 1)

其中 L 是纸张最小长度,t 是厚度,n 是折叠次数。她用这个公式成功将一张纸对折了 12 次,推翻了此前「纸最多只能折叠 8 次」的普遍认知。

顺便说一句,从折痕图案复原原始形状这个问题,已被 Marshall Bern 和 Barry Hayes 证明为 NP 完全问题——意味着不存在已知的高效算法。折纸的计算复杂度,出乎意料地深。

十、镶嵌折纸:数学家的艺术

1970 年代,日本数学家藤本修三首创了镶嵌折纸(Origami Tessellations)——通过单张纸张折叠形成立体结构以实现平面密铺。它的基础技法是「扭转」(twist):以一个凸多边形为中心,从其每一边发出两条折叠方向相异的平行线构成基本单元。这些扭转单元可以在平面上无限拼接,形成正反两面都极具观赏性的周期性结构。

镶嵌折纸现在是国际折纸奥林匹克竞赛的必考项目。俄罗斯数学家 Ekaterina Lukasheva 的作品将这门艺术推向了极致的视觉美感。

结语:最古老的材料,最前沿的数学

折纸的故事有一种特别的质感。纸——人类最古老的材料之一——在两千年的时间里主要被视为书写载体、包装材料、或者儿童的玩具。但当数学家们认真审视折叠动作的几何本质时,发现了一个比尺规作图更强大的计算系统、一个图灵完备的操作空间、一个能帮助望远镜塞进火箭的工程工具箱。

两千年前,中国人发明了纸,用来替代丝绸。两千年后,纸的折叠方式正在帮助 NASA 设计能遮住恒星光芒的遮光罩。

从吉泽章在工厂里教几何,到 Robert Lang 用优化算法计算折痕;从 Beloch 在 1936 年用折纸解三次方程,到 2026 年闪光折纸带着天线飞入太空——折纸的故事说明,日常事物里藏着未被发掘的深度。关键不在于材料多么高级,而在于你愿不愿意认真看。

一把折痕,一个顶点,两条定理。纸比我们想的聪明得多。

← 返回