Day 25 · 2026.07.17

数学与艺术

Mathematics & Art — 藏在美背后的结构、对称与视觉的几何
"数学,正确地看,不仅拥有真理,也拥有至高的美。" — Bertrand Russell

平面镶嵌与壁纸群

Tessellation & Wallpaper Groups · 重复的语法
Geometry / Group Theory
直觉版

Escher 的蜥蜴、天使与魔鬼严丝合缝铺满整面墙。盯住一小片,你会发现整幅画其实只是「一块基本图案 + 几个重复动作」。重复动作只有四种:平移、旋转、镜射、滑移反射(照镜子再平移)。

惊人的事实是:无论图案多花哨,平面上「本质不同的重复方式」恰好只有 17 种——数学家称之为「壁纸群」。阿尔罕布拉宫的摩尔工匠,在定理被证明的几百年前就凭直觉把这 17 种几乎摆全了。美感,被一个精确的有限数字彻底框住。

基本单元
正式定义

壁纸群 = 平面「等距变换」(保距离的变换)中含有两个独立平移方向的离散子群。平面等距只有四类:平移、旋转、反射、滑移反射。它们能怎样组合被「晶体学限制定理」死死管住:周期图案里的旋转对称阶数只能是 1、2、3、4、6——唯独没有 5。穷尽分类,答案不多不少,正好 17 种。

为什么美

一个纯粹的艺术问题——「墙纸能有多少种花样」——竟有干净的有限答案:17。这是「美感被数学完全穷尽」的罕见时刻。更美的是 Escher 晚年冲出欧氏平面:在双曲几何里(他的《Circle Limit》),同一条鱼可无限缩小铺满一个圆盘,因为双曲平面「面积无穷」,5 阶、7 阶对称都合法——镶嵌方式反而变成无穷多。平直世界的束缚,在弯曲世界里松开了。

应用

晶体学:X 射线衍射读出的正是晶格对称群,直接决定材料性质(三维版本共 230 种)。深度学习:卷积网络的核心假设正是「平移等变」——猫平移后还是猫,CNN 把这条对称焊进架构,这是它省参数、易泛化的根源。准晶(2011 诺奖)偏偏做出被禁止的 5 阶对称,掀翻了「晶体必周期」的百年教条。

一句话精华
装饰的自由,被对称的语法锁死在 17 种。
思考题
为什么周期镶嵌里不可能存在 5 重旋转对称?拿正五边形试着铺满地面——你会发现总留下缝隙。这个「铺不满」的几何事实,和准晶为何是革命,其实是同一件事。

透视的射影几何

Projective Geometry of Perspective · 让平行线相交
Projective Geometry
直觉版

铁轨明明平行,画里却在地平线上交于一点。文艺复兴画家发现了「灭点」,却不知道自己顺手发明了一门几何。核心洞见是:把眼睛当成投影中心,三维世界被射到画布上——平行线之所以相交,是因为它们「在无穷远处相遇的那个点」被投影成了地平线上一个真实可见的点。

射影几何就是「给平面补上无穷远点之后的几何」。在这里「平行」不再是特例;任意两条直线都相交,只是有些交在无穷远。

地平线 (无穷远直线) 灭点 V
正式定义

射影平面 = 普通平面 + 一条「无穷远直线」(每一个方向对应一个无穷远点)。射影变换会改变长度、角度、平行关系,却始终保住一个叫交比的量:共线四点满足

$(A,B;C,D)=\dfrac{\overline{AC}\cdot\overline{BD}}{\overline{BC}\cdot\overline{AD}}$

四个字母是同一条线上的四个点,分数是四段有向长度的比值。透视会拉伸一切,唯独让这个比值纹丝不动——它是透视变换下的「守恒量」,就像物理里的能量。

为什么美

欧氏几何里「点」和「线」地位不平等;射影几何里二者完全对称——把任何定理中的「点↔线」「过↔在其上」全部对调,得到的仍是定理,这叫「对偶原理」。两点定一线两线定一点,买一送一。而困扰欧氏两千年的「平行公设」在这里干脆蒸发了:根本没有「平行」这回事。一门为画画而生的技巧,长成了比欧氏更对称的几何。

应用

计算机视觉的地基:相机成像本质就是射影变换,SLAM、三维重建、AR 全建立在此之上。单应矩阵负责全景照片拼接、把虚拟图案贴到真实平面。交比不变被用来从一张斜拍照片反推真实尺寸(测量、法医)。GPU 用「齐次坐标」(即射影坐标)把平移、旋转、投影统一成一次矩阵乘法。

一句话精华
灭点不是错觉,是无穷远点在有限画布上现出的真身。
思考题
为什么透视会改变长度、却唯独放过交比?提示:交比是「比值的比值」,两次相除把投影带来的统一缩放约掉了。想想:还有哪些「量的量」能在剧烈变换下幸存?

黄金比例的批判

The Golden Ratio, Critically · 真的美,但不在你以为的地方
Number Theory / Aesthetics
直觉版

「黄金比例 $\varphi\approx1.618$ 是世上最美的比例,帕特农神庙、蒙娜丽莎、连信用卡都藏着它」——这条流传最广的说法大半是伪科学。真相要拆成两半看:作为美学法则,它几乎全是后人拿放大镜硬套的附会(那个「黄金矩形」,你得先自己挑好从哪量到哪);但作为自然界的数学,$\varphi$ 却真实而深刻。剥掉神话,剩下的反而更美。

φ ≈ 1.618
正式定义

$\varphi=\dfrac{1+\sqrt5}{2}$,是唯一满足 $\varphi^2=\varphi+1$ 的正数——也就是「整体 : 长段 = 长段 : 短段」的那个分割点。它是斐波那契数列相邻项之比的极限($1,1,2,3,5,8,13\ldots$,比值越来越逼近 $\varphi$);它还是那个全由 1 组成的连分数

$\varphi = 1+\cfrac{1}{1+\cfrac{1}{1+\cfrac{1}{1+\cdots}}}$

全 1 意味着它收敛得最慢、最难被任何分数逼近——所以它有个绰号:「最无理的数」

为什么美

$\varphi$ 真正的美不在艺术评论里,在向日葵上。植物按 $\varphi$ 对应的「黄金角」$\approx137.5°$ 逐片长出叶子和种子。为什么偏偏是它?因为「最难被有理数逼近」意味着每颗新种子永远落在旧种子留下的最大空隙里,从不排成一条浪费空间的直线,于是堆得最密。这不是审美选择,而是进化在「填充效率」上逼出的数学最优解。$\varphi$ 的美,是自然被迫走向最优时露出的结构——不是人类眼睛的偏好。

应用

植物学用它建叶序模型,预测松果、菠萝、向日葵的螺旋数(总是相邻的斐波那契数)。算法里有「黄金分割搜索」,利用 $\varphi$ 的自相似性以最少试探锁定一维函数的极值。反面它也有用:黄金比例神话本身是「数字命理学」与「确认偏误」的绝佳教材——一听见「万物皆含某个神秘常数」,就该立刻警惕。

一句话精华
$\varphi$ 的美是真的,只是多半不在你被告知的那些地方。
思考题
一个悖论:正因为 $\varphi$ 是「最无理、最难逼近」的数,它才在叶序和搜索里「最有用」。为什么「最难被利用的性质」反而成了「最有用的性质」?「难以逼近」在这两个场景里,各自帮了什么忙?

贝塞尔曲线

Bézier Curves · 屏幕上每一道优雅的弧
Geometry / Computation
直觉版

你手机上每个字的弧度、每个 App 图标的圆角、动画里物体「先加速再减速」的节奏——背后几乎是同一样东西:贝塞尔曲线。它的魔法在于:你不必写复杂方程,只要拖动几个「控制点」,曲线就像被磁铁牵引般顺滑跟过来,却永远不穿过中间那两个控制点,只被它们「拉」出一道优雅的弧。控制点是缰绳,曲线是被驯服的马。

P₀ P₁ P₂ P₃ B(0.5)
正式定义

三次贝塞尔曲线由四个点定义,随参数 $t$ 从 0 走到 1 描出一条曲线:

$B(t)=(1-t)^3 P_0+3(1-t)^2t\,P_1+3(1-t)t^2\,P_2+t^3 P_3$

四个系数正是二项式 $(1-t+t)^3$ 的展开项(伯恩斯坦多项式),它们之和恒等于 1。所以曲线上每一点都是四个控制点的一次「加权平均」,被牢牢关在它们围成的凸包里,绝不越界。$P_0,P_3$ 是起终点,$P_1,P_2$ 只负责控制出发与到达的方向

为什么美

同一条曲线有两副面孔:一个是上面的代数公式(伯恩斯坦多项式),另一个是纯几何构造——de Casteljau 算法:在每条控制边上取同比例的点,连线,再取点,反复「切角」,收敛到的那点就落在曲线上(图中金点与红点)。递归切角这个纯几何动作,展开来竟精确等于二项式系数。更美的是它「仿射不变」:旋转、缩放控制点,曲线自动跟着变,无需重算——因为「加权平均」天生尊重仿射变换。简单到能手算,强大到撑起整个数字视觉世界。

应用

所有矢量字体:TrueType 用二次、PostScript/OpenType 轮廓用三次贝塞尔勾勒每个字形。Illustrator、Figma 的钢笔工具画的就是它;CSS 动画的缓动 cubic-bezier() 用它定义快慢节奏。它还用于机器人路径规划、汽车曲面设计——贝塞尔正是雷诺工程师 Pierre Bézier 当年为设计车身而发明的。

一句话精华
四个点,一个凸包,托起了屏幕上每一道优雅的弧。
思考题
伯恩斯坦系数之和恒为 1,为什么这一条就保证了曲线永远「跑不飞」出控制点之外?(提示:想想「所有权重非负且加起来是 1」的加权平均,结果只能落在哪里。)这和概率分布有什么隐秘的相似?
— 深入思考 —
为什么周期镶嵌只允许 2、3、4、6 阶旋转,准晶又是怎么绕过的?
若图案同时有平移周期 $n$ 阶旋转,两者互相约束——旋转把一个格点转到另一个格点,几何上只有 $n=1,2,3,4,6$ 能自洽($\cos(2\pi/n)$ 要落在格子上)。5 阶注定留缝。准晶之所以能展示 5 阶、10 阶对称,是因为它放弃了严格周期:有长程有序却不重复,像 Penrose 铺砖那样用两种菱形非周期地铺满平面。Shechtman 1982 年看到 5 阶衍射斑时被讥为荒谬,2011 年却拿了诺奖——教条被一张衍射图推翻。
射影几何的「对偶原理」,暗示了什么更深的结构?
点线对偶不是巧合,而是射影平面自带的对称。代数上,射影点用齐次坐标 $[x:y:z]$、射影线用方程 $ax+by+cz=0$——二者都是三元组,「点在线上」就是 $ax+by+cz=0$,这个式子对「点三元组」和「线三元组」完全对称,对偶因此是坐标层面的必然。这种「对象与其约束可以互换」的思想,在现代数学里升华为对偶空间、在优化里成了「原问题↔对偶问题」,是反复出现的深层母题。
黄金比例的美学神话如此顽固,这本身说明了什么?
它是「确认偏误 + 叙事需求」的完美标本。人脑天生找模式,$1.618$ 又足够接近许多常见比例(4:3、3:2 都离它不远),于是只要自由挑选测量起止点,几乎任何矩形都能「测出」黄金比例;再配一个动人故事(自然、神性、美的终极密码),传播要素就齐了。真正的科学素养不是记住 $\varphi$ 有多美,而是养成反射:一旦某常数被宣称「无处不在」,先问「证伪长什么样?」——答不出来的,多半是命理学。
当生成式 AI 画出对称的纹样或漂亮的曲线,它「懂」这些数学吗?
几乎可以肯定:不懂,至少不是以我们理解的方式。扩散模型从海量图像里统计出「什么样的像素排布看起来对称/优雅」,逼近的是数据分布,而非壁纸群或伯恩斯坦多项式的定理。它能生成以假乱真的 Escher 风格图,却常在严格周期性上露馅(细看接缝错位)。这引出更深的问题:把结构显式写进架构(如 CNN 内建平移等变)与让模型从数据里隐式学到结构,哪条路更接近「理解」?这正是几何深度学习最活跃的战线之一。