Escher 的蜥蜴、天使与魔鬼严丝合缝铺满整面墙。盯住一小片,你会发现整幅画其实只是「一块基本图案 + 几个重复动作」。重复动作只有四种:平移、旋转、镜射、滑移反射(照镜子再平移)。
惊人的事实是:无论图案多花哨,平面上「本质不同的重复方式」恰好只有 17 种——数学家称之为「壁纸群」。阿尔罕布拉宫的摩尔工匠,在定理被证明的几百年前就凭直觉把这 17 种几乎摆全了。美感,被一个精确的有限数字彻底框住。
壁纸群 = 平面「等距变换」(保距离的变换)中含有两个独立平移方向的离散子群。平面等距只有四类:平移、旋转、反射、滑移反射。它们能怎样组合被「晶体学限制定理」死死管住:周期图案里的旋转对称阶数只能是 1、2、3、4、6——唯独没有 5。穷尽分类,答案不多不少,正好 17 种。
一个纯粹的艺术问题——「墙纸能有多少种花样」——竟有干净的有限答案:17。这是「美感被数学完全穷尽」的罕见时刻。更美的是 Escher 晚年冲出欧氏平面:在双曲几何里(他的《Circle Limit》),同一条鱼可无限缩小铺满一个圆盘,因为双曲平面「面积无穷」,5 阶、7 阶对称都合法——镶嵌方式反而变成无穷多。平直世界的束缚,在弯曲世界里松开了。
晶体学:X 射线衍射读出的正是晶格对称群,直接决定材料性质(三维版本共 230 种)。深度学习:卷积网络的核心假设正是「平移等变」——猫平移后还是猫,CNN 把这条对称焊进架构,这是它省参数、易泛化的根源。准晶(2011 诺奖)偏偏做出被禁止的 5 阶对称,掀翻了「晶体必周期」的百年教条。
铁轨明明平行,画里却在地平线上交于一点。文艺复兴画家发现了「灭点」,却不知道自己顺手发明了一门几何。核心洞见是:把眼睛当成投影中心,三维世界被射到画布上——平行线之所以相交,是因为它们「在无穷远处相遇的那个点」被投影成了地平线上一个真实可见的点。
射影几何就是「给平面补上无穷远点之后的几何」。在这里「平行」不再是特例;任意两条直线都相交,只是有些交在无穷远。
射影平面 = 普通平面 + 一条「无穷远直线」(每一个方向对应一个无穷远点)。射影变换会改变长度、角度、平行关系,却始终保住一个叫交比的量:共线四点满足
四个字母是同一条线上的四个点,分数是四段有向长度的比值。透视会拉伸一切,唯独让这个比值纹丝不动——它是透视变换下的「守恒量」,就像物理里的能量。
欧氏几何里「点」和「线」地位不平等;射影几何里二者完全对称——把任何定理中的「点↔线」「过↔在其上」全部对调,得到的仍是定理,这叫「对偶原理」。两点定一线 ↔ 两线定一点,买一送一。而困扰欧氏两千年的「平行公设」在这里干脆蒸发了:根本没有「平行」这回事。一门为画画而生的技巧,长成了比欧氏更对称的几何。
计算机视觉的地基:相机成像本质就是射影变换,SLAM、三维重建、AR 全建立在此之上。单应矩阵负责全景照片拼接、把虚拟图案贴到真实平面。交比不变被用来从一张斜拍照片反推真实尺寸(测量、法医)。GPU 用「齐次坐标」(即射影坐标)把平移、旋转、投影统一成一次矩阵乘法。
「黄金比例 $\varphi\approx1.618$ 是世上最美的比例,帕特农神庙、蒙娜丽莎、连信用卡都藏着它」——这条流传最广的说法大半是伪科学。真相要拆成两半看:作为美学法则,它几乎全是后人拿放大镜硬套的附会(那个「黄金矩形」,你得先自己挑好从哪量到哪);但作为自然界的数学,$\varphi$ 却真实而深刻。剥掉神话,剩下的反而更美。
$\varphi=\dfrac{1+\sqrt5}{2}$,是唯一满足 $\varphi^2=\varphi+1$ 的正数——也就是「整体 : 长段 = 长段 : 短段」的那个分割点。它是斐波那契数列相邻项之比的极限($1,1,2,3,5,8,13\ldots$,比值越来越逼近 $\varphi$);它还是那个全由 1 组成的连分数
全 1 意味着它收敛得最慢、最难被任何分数逼近——所以它有个绰号:「最无理的数」。
$\varphi$ 真正的美不在艺术评论里,在向日葵上。植物按 $\varphi$ 对应的「黄金角」$\approx137.5°$ 逐片长出叶子和种子。为什么偏偏是它?因为「最难被有理数逼近」意味着每颗新种子永远落在旧种子留下的最大空隙里,从不排成一条浪费空间的直线,于是堆得最密。这不是审美选择,而是进化在「填充效率」上逼出的数学最优解。$\varphi$ 的美,是自然被迫走向最优时露出的结构——不是人类眼睛的偏好。
植物学用它建叶序模型,预测松果、菠萝、向日葵的螺旋数(总是相邻的斐波那契数)。算法里有「黄金分割搜索」,利用 $\varphi$ 的自相似性以最少试探锁定一维函数的极值。反面它也有用:黄金比例神话本身是「数字命理学」与「确认偏误」的绝佳教材——一听见「万物皆含某个神秘常数」,就该立刻警惕。
你手机上每个字的弧度、每个 App 图标的圆角、动画里物体「先加速再减速」的节奏——背后几乎是同一样东西:贝塞尔曲线。它的魔法在于:你不必写复杂方程,只要拖动几个「控制点」,曲线就像被磁铁牵引般顺滑跟过来,却永远不穿过中间那两个控制点,只被它们「拉」出一道优雅的弧。控制点是缰绳,曲线是被驯服的马。
三次贝塞尔曲线由四个点定义,随参数 $t$ 从 0 走到 1 描出一条曲线:
四个系数正是二项式 $(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 当年为设计车身而发明的。