木板上钉一把钉子，套一根橡皮筋，松手。橡皮筋收紧后勾住的那一圈钉子，就是这堆点的凸包。
值得停下来想的是它丢掉了什么：内部的钉子橡皮筋根本碰不到，删掉不改变结果。多数点是冗余的，形状只由少数极端点承载。
点集 $S$ 的凸包是包含 $S$ 的最小凸集。更可算的构造式说法：
$x_i$ 是点，$\lambda_i$ 是权重；「非负且和为 1」正是加权平均的定义，所以式子读作：凸包 = 这些点的加权平均能落到的全部位置。Carathéodory 定理是冗余的定量版：$d$ 维中凸包内任一点，只需至多 $d+1$ 个原始点的加权平均即可表示。
三个毫不相干的定义（集合的交、加权平均、橡皮筋）落在同一个对象上。更漂亮的是复杂度：平面 $n$ 点的凸包能在 $O(n\log n)$ 内算出，且这是最优的——因为排序可归约到凸包。把数 $x$ 映成抛物线上的 $(x,x^2)$，抛物线是凸的，凸包下半沿边界的顺序恰好就是排序结果。几何与排序在下界上是同一个问题。
线性规划的可行域就是约束顶点的凸包，单纯形法在顶点间行走。物理引擎用 GJK 算法做碰撞检测，判断两凸包的 Minkowski 差是否含原点。SVM 的最大间隔超平面等价于两类点凸包间最短连线的中垂面——「支持向量」正是决定凸包形状的那几个极端点，其余样本删掉不影响模型。
地图上撒几个邮局，按「离哪个最近」给每个位置染色，染出的分区就是 Voronoi 图。两个邮局之间的界线必然是连线的垂直平分线。
Delaunay 三角剖分是它的影子：把共享一条边界的邻居连起来，得到一个三角网。两张图携带完全相同的信息，一个讲「地盘」，一个讲「谁挨着谁」——几何里最干净的一组对偶。
给定站点集 $P$，站点 $p$ 的元胞是
条件说的是「到 $p$ 不比到任何其他站点 $q$ 更远」。每个「$\le$」都是一个半空间，元胞是它们的交，所以元胞必然是凸的——凸性不是假设，是白送的。对偶侧同样简洁：三个站点构成 Delaunay 三角形，当且仅当其外接圆内部不含其他站点。
第一是升维魔术。把平面点 $(x,y)$ 抬到抛物面上成为 $(x,y,x^2+y^2)$，取三维凸包的下半部分投影回平面，得到的正是 Delaunay 三角剖分——一个「最近邻」问题被翻译成了凸包问题。
第二，Delaunay 在所有三角剖分中最大化最小角，最不容易产生瘦长三角形——而瘦长三角形正是数值求解发散的元凶：一个纯组合的定义（空圆）意外地优化了一个数值性质。第三，凡是「多个中心同时向外生长直到相撞」的过程，产物必然是 Voronoi 图——晶粒、干裂泥土、细胞边界。
k-means 的几何本体就是 Lloyd 算法：每轮先按 Voronoi 图完成分配，再取各元胞质心作新中心——所以 k-means 的决策边界永远是分片线性的凸多面体。机器人沿 Voronoi 边行走等价于「离所有障碍尽可能远」。CFD 与有限元的网格生成默认用 Delaunay。
橙子怎么堆最省地方？一层六角密排，下一层放进上一层的凹坑。Kepler 在 1611 年说这就是最密的，密度 $\pi/\sqrt{18}\approx 74.05\%$。
难的不是猜出答案，是排除所有别的可能：候选排列有无穷多种且完全不必周期，要否决的包括一切毫无规律的堆法。更麻烦的是局部信息会骗人——一个球周围贴满 12 个球后仍剩下松动的空隙，让人怀疑能否挤进第 13 个（牛顿说不能，Gregory 说能；牛顿对）。局部宽松不等于全局能更密。
堆积密度定义为
$S_i$ 是互不重叠的等半径球，$B_R$ 是半径 $R$ 的大球；取 $R\to\infty$ 是为了洗掉边界效应，只关心「无限远处的平均占用比例」。Kepler 猜想断言三维中 $\delta\le\pi/\sqrt{18}$。Hales 于 1998 年证明：把无穷多种构型压缩成几千个有限情形逐个跑数值优化。审稿人花了四年，最后只敢说「99% 确信」；Hales 因此发起 Flyspeck 项目，2014 年完成了机器可验证的形式化证明。
维度上的地形极其反常。$d=2$ 由 Thue 解决，$d=3$ 花了四百年，$d=4$ 到 $d=7$ 至今毫无答案。然后 2016 年 Viazovska 一举拿下 $d=8$ 与 $d=24$——$E_8$ 格与 Leech 格在这两个维度里过分完美，她构造的辅助函数让线性规划上界恰好等于已知构型的下界，缝隙为零，因此获 2022 年菲尔兹奖。低维困难、特定高维反而有精确答案，这是数学里罕见的反直觉地形。
球堆积就是纠错码的几何本体：码字是球心，可纠正的错误半径是球半径，堆得越密，同等纠错能力下能塞进的码字越多，码率越高。Leech 格直接给出 24 维最优的码，也是深空通信调制星座图的源头。材料侧，FCC / HCP 正是金属晶体的真实结构；随手倒进容器得到的约 64% 随机密堆积，支配着粉末冶金与混凝土配比。
只用一种正多边形铺满平面，答案只有三个：正三角形、正方形、正六边形。理由可以口算——绕一个顶点必须凑满 $360°$，而正 $n$ 边形内角 $\frac{(n-2)180°}{n}$ 整除 $360°$ 只在 $n=3,4,6$ 成立。正五边形内角 $108°$，三个是 $324°$，差 $36°$。
推广即晶体学限制定理：周期性晶格只可能有 2、3、4、6 重旋转对称，五重绝对禁止——这条写进教科书七十年。然后 1982 年，Shechtman 在铝锰合金衍射图上看到了锐利的十重对称斑点。他被要求离开研究组，Pauling 说「没有准晶，只有准科学家」；2011 年他拿了诺贝尔化学奖。
非周期瓷砖集：一组瓷砖，能铺满平面，但任何一种铺法都不具备平移对称性。注意强度——不是「存在一种非周期铺法」（正方形也做得到），而是「周期铺法根本不存在」。Penrose 1974 年给出只需两块砖的例子。准晶是它的物质版：衍射图呈锐利斑点却无平移周期的固体，可由「切割-投影」得到——五重对称在五维格里完全周期，投影到二维时周期丢了，序留了下来。
「有序」与「周期」从此被劈成两个概念——此前它们被默认为同义词。Penrose 铺砖有个近乎诡异的性质：任何有限图案都会在整个平面上无穷多次重现，所以看任何有限区域都无法判断自己身在何处，而整体又绝不重复自身。风筝与飞镖的数量之比恰好是黄金比 $\varphi$——一个无理数，从纯组合的拼接约束里长了出来。
2023 年，David Smith 等人发现了「帽子」（the hat）：单块非周期瓷砖，终结了悬置六十年的「爱因斯坦问题」（ein Stein，一块石头）。第一作者是一位业余爱好者。
准晶材料硬、低摩擦、导热差、抗腐蚀，被用作不粘涂层与热障涂层（AlCuFe 系）；非周期排布的天线与超声阵列能抑制周期结构必然产生的栅瓣。计算机科学侧的联系最深：Wang 瓷砖的密铺问题与图灵机停机等价，「这组砖能否铺满平面」是不可判定的；非周期瓷砖集的存在正是这个不可判定性的直接后果——几何在这里与可计算性接壤。