问题:

一条项链上有 $n$ 种类型的珠宝,每种珠宝的数量均为偶数。问:至少需要切几刀,就能将所有类型的珠宝在两个盗贼之间均分。


Borsuk-Ulam Theorem

首先介绍拓扑学中的核心工具 Borsuk-Ulam Theorem

直观地想象:将一个三维空间中的球面 $S^2$ 连续地扭曲、压缩并映射到二维平面 $\mathbb{R}^2$ 上。由于这种变形是连续的,Borsuk-Ulam 定理断言:球面上总存在一对对跖点 (Antipodal points),它们经过映射后在平面上重合。

这一定理有一个经典的物理学推论:

地球表面上一定存在相对的一对点,两处的气温和气压都恰好相同。

这是因为地球表面的每一点都对应(连续映射)着气温和气压两个值,这等价于将球面连续映射到二维坐标系上。

定理的数学表述:

$$ \begin{gather*} \text{For any continuous function } f: S^n \to \mathbb{R}^n \\ \exists x \in S^n \quad \text{s.t. } f(x) = f(-x) \end{gather*} $$

简单的证明思路

给定从球面 $S^2$ 到平面 $\mathbb{R}^2$ 的连续函数 $f(x)$,我们的目标是证明存在 $p$ 使得 $f(p) = f(-p)$。

构造辅助函数 $g(x) = f(x) - f(-x)$。

  • 易知 $g$ 也是连续的。
  • 且 $g$ 是奇函数(关于原点对称),即 $g(-x) = -g(x)$。

此时,问题转化为证明球面上存在点 $p$ 使得 $g(p) = 0$。

Sphere to Plane
Sphere to Plane

直观推导:

  1. 考虑点 $p$ 在球面「赤道」上绕行一圈。
  2. 对应的像 $g(p)$ 会在平面 $\mathbb{R}^2$ 上形成一条闭合回路。
  3. 由于 $g$ 是奇函数,该回路必须关于原点对称。这意味着回路要么直接经过原点,要么包围原点(即原点在该回路内部,Winding Number 为奇数)。
  4. 若回路经过原点,则证明完毕。
  5. 若回路包围原点,想象球面上的赤道圈向北极点连续收缩。对应地,平面上的闭合回路也必须连续收缩至一点(即 $g(\text{North Pole})$)。
  6. 一个包围原点的回路在收缩成一个点的过程中,必定会「扫过」原点(否则拓扑结构会断裂)。因此,必定存在某一时刻 $g(p)$ 经过原点。

解答

由于 Borsuk-Ulam 定理处理的是连续对象,而项链问题是离散的,我们需要分两步走:

连续化

首先将项链上的珠宝想象为分布在区间 $[0, 1]$ 上的连续线段,而非离散的珠子。

依据:若连续问题可解,通过调整切割点位置,离散问题亦可解(即必定可以切在珠宝的间隙处而非珠宝中间)。

构造映射

假设有 $2$ 种珠宝,我们需要证明切 $2$ 刀即可均分。令项链长度为 $1$,切 $2$ 刀会将项链分为三段。我们引入三个变量 $x, y, z$ 来参数化这三段的长度,并令其满足:

$$ x^2 + y^2 + z^2 = 1 $$

这恰好构成了三维空间中的单位球面 $S^2$。也就是说,球面上的每一个点 $(x, y, z)$ 都对应一种特定的切割方案。

  • 分配规则:根据 $x, y, z$ 的正负号决定该段分给盗贼 $A$ 还是 $B$(例如:正号给 $A$,负号给 $B$)。
  • 定义映射 $f$:输入一个球面上的点(即一种切割分配方案),输出一个二维向量,两个分量分别代表盗贼 $A$ 得到的两种珠宝的总量。

这构成了一个连续映射 $f: S^2 \to \mathbb{R}^2$。

应用定理

根据 Borsuk-Ulam 定理,存在一点 $p \in S^2$ 使得 $f(p) = f(-p)$。

  • $f(p)$ 代表某个切割方案下 $A$ 获得的珠宝。
  • $f(-p)$ 代表将该方案中 $x, y, z$ 符号取反(即 $A$ 和 $B$ 互换所有分段)后 $A$ 获得的珠宝,也就是原方案中 $B$ 获得的珠宝。
  • $f(p) = f(-p)$ 意味着:在该切割方案下,$A$ 得到的珠宝量等于 $B$ 得到的珠宝量。

推广至一般形式: 对于 $n$ 种珠宝,我们需要从 $S^n$ 映射到 $\mathbb{R}^n$。由定理保证,只需切 $n$ 刀(产生 $n+1$ 段),即可找到均分方案。

参考

  1. 3Blue1Brown Video