Bezout 定理（Bézout's theorem）是经典代数几何最优雅的结论之一：在 $\mathbb{P}^2_\mathbb{C}$ 中，没有共同分量的两条曲线 $C_1$（度 $m$）与 $C_2$（度 $n$）恰好交 $mn$ 个点（计重数）。这条定理把"次数"和"交点数"严丝合缝地联系起来——前提是我们必须身处射影空间、使用代数闭域、并正确计算重数。
"$\#(C_1 \cap C_2) = \deg C_1 \cdot \deg C_2$ ——前提是你在 $\mathbb{P}^2_\mathbb{C}$ 中、把无穷远点算上、把切线接触按重数算上。"
1. 射影平面曲线
射影平面曲线
一条射影平面曲线是 $\mathbb{P}^2$ 中由单个齐次多项式 $F(x, y, z) \in k[x, y, z]$ 给出的零点集 $$ C \;=\; V_+(F) \;=\; \{[x : y : z] \in \mathbb{P}^2 \mid F(x,y,z) = 0\}. $$ $F$ 的次数 $d = \deg F$ 称为曲线 $C$ 的度。
- $d = 1$：射影直线（line）。
- $d = 2$：圆锥曲线（conic）——光滑情形下都射影同构。
- $d = 3$：三次曲线（cubic）——光滑情形下是椭圆曲线。
- $d = 4$：四次曲线（quartic）——光滑情形下亏格 3。
2. Bezout 定理
Bezout 定理
设 $k$ 是代数闭域，$C_1 = V_+(F_1)$ 和 $C_2 = V_+(F_2) \subset \mathbb{P}^2_k$ 是两条射影平面曲线，无公共分量（即 $F_1, F_2$ 没有公共非常数齐次因子）。则 $$ \sum_{P \in C_1 \cap C_2} \mathrm{i}_P(C_1, C_2) \;=\; \deg(F_1) \cdot \deg(F_2), $$ 其中 $\mathrm{i}_P(C_1, C_2)$ 是 $C_1$ 与 $C_2$ 在点 $P$ 处的交点重数（intersection multiplicity）。
特别地：交点至少有 1 个（因为 $mn \ge 1$），交点最多 $mn$ 个（按重数 1 计算时）。
三个不可省略的条件：
- 射影空间（不然在仿射中可能"丢"无穷远交点）。
- 代数闭域（不然方程可能没有解，比如 $x^2 + 1 = 0$ 在 $\mathbb{R}$ 中无解）。
- 计重数（不然切点会被算成 1 个而不是 2 个）。
缺少其中任何一个，"$mn$"就不再准确。整章的几个 SVG 都在演示：去掉一个条件后，会出什么问题。
图解 1：Bezout 入门——直线 × 圆锥曲线 = $1 \times 2 = 2$ 个交点
3. 交点重数
如果 $C_1, C_2$ 横截相交（transverse intersection）于 $P$，即两条曲线在 $P$ 的切线不重合，则 $\mathrm{i}_P(C_1, C_2) = 1$。如果它们相切，重数 $\ge 2$。一般地，重数衡量"两条曲线在 $P$ 处接触得多紧"。
交点重数（局部代数定义）
设 $f_1, f_2$ 是 $C_1, C_2$ 在 $P$ 附近仿射切片下的局部方程，记 $\mathcal{O}_{P}$ 为 $\mathbb{A}^2$ 在 $P$ 的局部环。则 $$ \mathrm{i}_P(C_1, C_2) \;=\; \dim_k \bigl(\mathcal{O}_{P} \big/ (f_1, f_2)\bigr). $$ 直觉：$(f_1, f_2)$ 是"在 $P$ 周围两个方程同时成立的代数信息"，商空间 $\mathcal{O}_P / (f_1, f_2)$ 越大，说明两曲线接触得越紧。
图解 2：交点重数 1 / 2 / 3 的几何对比
例：$\mathrm{i}_O(y, y - x^k) = k$
在 $\mathbb{A}^2$ 中，直线 $y = 0$ 与曲线 $y = x^k$ 在原点 $O$ 处的交点重数 = $k$。代数验证：$\mathcal{O}_O = k[x,y]_{(x,y)}$，理想 $(y, y - x^k) = (y, x^k)$，商空间 $\mathcal{O}_O/(y, x^k)$ 是 $k$ 维向量空间（基 $1, x, x^2, \ldots, x^{k-1}$），所以重数 $= k$。
4. 两条圆锥曲线交：$2 \times 2 = 4$
$\deg = 2$ 与 $\deg = 2$ 的两条曲线，按 Bezout 应交 $4$ 个点。但仿射图常常只画出 $0, 1, 2, 3$ 个——剩下的躲在无穷远或复数中。下图把不同情况一字排开：
图解 3：两条圆锥曲线在 $\mathbb{P}^2$ 中恰交 4 点
所有圆都过"圆点" $I = [1:i:0]$, $J = [1:-i:0]$
单位圆 $x^2 + y^2 = z^2$ 齐次化后是 $x^2 + y^2 - z^2 = 0$。把无穷远点
$z = 0$ 代入：$x^2 + y^2 = 0$，复因式分解为 $(x + iy)(x - iy) =
0$，得到两个无穷远点 $[1 : i : 0]$ 和 $[1 : -i : 0]$。
令人惊讶的事实：每一个圆，无论半径多大、圆心在哪儿，齐次化后都过同样这两个点
$I, J$！它们被称为圆点（circular points at
infinity），是射影几何对"圆"概念的代数刻画。两圆恰好在这两个相同的无穷远点共享
2 个交点——补足了 Bezout 定理的 4 = 2 + 2。
5. 亏格直觉与度-亏格公式
当我们把 $\mathbb{P}^2_\mathbb{C}$ 中的光滑射影曲线看作复 1 维流形（即实 2 维曲面），它在拓扑上等价于一个有"洞"的曲面。这个"洞数"叫做亏格（genus）$g$：
- $g = 0$：球面 $S^2$（无洞）；
- $g = 1$：环面 $T^2$（一个洞）；
- $g \ge 2$：多孔曲面（"双甜甜圈"等）。
度-亏格公式（Plücker 公式）
$\mathbb{P}^2_\mathbb{C}$ 中一条度数为 $d$ 的光滑射影平面曲线的亏格是 $$ g \;=\; \binom{d-1}{2} \;=\; \frac{(d-1)(d-2)}{2}. $$
代入小 $d$：
- $d=1$（直线）→ $g = 0$（球面）。
- $d=2$（圆锥曲线）→ $g = 0$（仍是球面）。
- $d=3$（三次曲线）→ $g = 1$（环面 = 椭圆曲线！）。
- $d=4$ → $g = 3$。
- $d=5$ → $g = 6$。
图解 4：度数 → 亏格 → 拓扑形状
6. 椭圆曲线：$d = 3$, $g = 1$
三次光滑射影曲线 $E \subset \mathbb{P}^2_\mathbb{C}$ 是椭圆曲线。它的标准形式是 Weierstrass 方程： $$ y^2 z \;=\; x^3 + a x z^2 + b z^3, \qquad \Delta = -16(4 a^3 + 27 b^2) \neq 0. $$ 无穷远点 $O = [0 : 1 : 0]$ 是曲线上的一个特殊点。$E$ 在拓扑上是环面（$g = 1$），同时它带有一个群结构——三个共线点之和为零。这把代数几何、数论、密码学、复分析（椭圆函数）连成一片。
椭圆曲线上的"加法"= Bezout 的应用
给 $E$ 上两点 $P, Q$，做过 $P, Q$ 的射影直线 $L$。Bezout 告诉我们 $|L
\cap E| = 1 \cdot 3 = 3$。除 $P, Q$ 外有第三个交点 $R$。再做过 $R$ 与
$O$ 的直线，得到第三点 $S$，定义 $P + Q := S$。
这一构造能形成阿贝尔群 ⟺ Bezout 定理 ⟺ 三次曲线的几何精度。
7. 生活实例：行星轨道交点
Kepler 行星轨道是椭圆（圆锥曲线，$d = 2$）。两颗行星轨道在同一平面上的"交点"问题：理论上 Bezout 给出 $2 \times 2 = 4$ 个交点。三个的"丢失"原因：
- 实际椭圆不共面（要在三维处理）；
- 两个无穷远的"圆点" $I, J$ 永远是共有交点；
- 实数中可能复数对消失。
事实上，天文计算中"潜在碰撞点"分析就直接用射影几何 + Bezout 的代数版本。无人机避障、自动驾驶轨迹规划、机器视觉中"两条曲线最多几个交点"等问题，都在悄悄使用 Bezout 的几何洞察。
8. 练习
练习 1（直线 ∩ 三次曲线）
一条射影直线 $L$ 与一条光滑三次曲线 $E$ 在 $\mathbb{P}^2_\mathbb{C}$ 中的交点数（计重数）等于多少？分析切线、拐点切线情形下的重数分布。
提示
$1 \times 3 = 3$。普通割线给 3 个不同点，切线在切点处重数 2 + 第三点 1，拐点切线在拐点重数 3。这正是椭圆曲线群结构的代数基础。
练习 2（亏格计算）
求 $\mathbb{P}^2_\mathbb{C}$ 中度数 $d = 5, 6, 10$ 的光滑射影平面曲线的亏格。
答案
$d=5 \to g = 6$；$d = 6 \to g = 10$；$d = 10 \to g = 36$。
练习 3（圆点验证）
证明 $\mathbb{P}^2$ 中任意半径 $r > 0$、圆心 $(a, b)$ 的"圆"$(x-a)^2 + (y-b)^2 = r^2$ 在齐次化后都通过 $I = [1:i:0]$ 与 $J = [1:-i:0]$。
练习 4（Bezout 失败的反例）
在 仿射 $\mathbb{A}^2_\mathbb{R}$ 中给出两条曲线，它们的交点数严格小于 $\deg C_1 \cdot \deg C_2$。指出哪里"丢失了"：是无穷远？是复数？还是两者皆有？
示范
取 $y = x^2$（$\deg = 2$）与 $y = -1$（$\deg = 1$），$\mathbb{R}^2$ 中无交点。在 $\mathbb{C}^2$ 中得 $x = \pm i$，2 点，与 $2 \cdot 1 = 2$ 相符。这是"实数 → 复数"补 1 个例子。
练习 5（交点重数计算）
计算曲线 $C_1: y = x^2$ 与 $C_2: y = x^3$ 在原点 $O$ 处的交点重数。
提示
局部理想 $(y - x^2, y - x^3) = (y - x^2,\, x^3 - x^2) = (y - x^2,\, x^2(x-1))$。在 $\mathcal{O}_O$（局部环）中 $x - 1$ 是单位（不在极大理想里），所以理想化为 $(y - x^2, x^2)$。商 $\mathcal{O}_O/(y, x^2)$ 维数 $= 2$，即重数 $\mathrm{i}_O = 2$。
练习 6（椭圆曲线"加法"）
在椭圆曲线 $E: y^2 = x^3 - x$ 上，验证 $P = (0, 0)$ 是 2-挠点（即 $2P = O$）。提示：$P$ 处的切线是 $y = 0$，把它与 $E$ 求交。
练习 7（深度学习联想）
一个 ReLU 网络的"决策曲线"由分段线性方程定义；两个不同网络的决策曲线交点数受 Bezout 类型不等式制约。请简述：为什么把决策曲面"齐次化 / 紧致化"有助于分析网络的渐近行为？