什么叫对角定理：从线性代数到经济学的深度解析
在学术搜索和日常学习中，许多用户经常会问：什么叫对角定理？这是一个非常典型且容易引起混淆的概念。严格来说，在标准的数学教科书中，并没有一个统称为“对角定理”的单一公理。相反，“对角线”相关的定理、法则或性质分散在多个学科中。最常见的情况是，用户所指的“对角定理”实际上是线性代数中的萨鲁斯法则（Sarrus' Rule），即用于计算三阶行列式的对角线法则；或者是几何学中关于多边形对角线数量的计算定理；亦或是博弈论中的对角优势（Diagonal Dominance）概念。
本文将全方位解析这些与“对角”相关的核心知识，帮助用户彻底厘清概念，解决搜索需求，并提供深度的周边知识拓展。
核心概念：究竟什么是“对角”？
在深入具体定理之前，我们需要明确“对角”的基本定义。在几何图形或矩阵结构中，“对角”通常指连接两个非相邻顶点（在多边形中）或跨越矩阵主对角线的元素（在代数中）。
1.1 几何中的对角线
在n边形中，对角线是连接任意两个不相邻顶点的线段。其数量计算公式为：
| 多边形边数 (n) | 对角线总数公式 | 示例计算 |
|---|---|---|
| 3 (三角形) | n(n-3)/2 | 0 条 (无对角线) |
| 4 (四边形) | n(n-3)/2 | 4(1)/2 = 2 条 |
| 5 (五边形) | n(n-3)/2 | 5(2)/2 = 5 条 |
| n (n边形) | n(n-3)/2 | ... |
1.2 代数中的对角线
在矩阵论中，主对角线是指从左上角到右下角的元素序列（）。而“对角定理”在民间或非正式语境中，往往特指针对3阶行列式计算的一种视觉化技巧，即对角线法则。
线性代数核心：萨鲁斯法则（对角线法则）
这是网民搜索“什么叫对角定理”时最可能遇到的答案。萨鲁斯法则仅适用于三阶行列式。对于更高阶的行列式（如4阶及以上），此法则失效，必须使用拉普拉斯展开或高斯消元法。
2.1 法则图解与记忆
设有三阶行列式 ：
| a11 a12 a13 |
D = | a21 a22 a23 |
| a31 a32 a33 |
为了使用对角线法则，我们将前两列复制并附加到原矩阵的右侧：
a11 a12 a13 a11 a12
a21 a22 a23 a21 a22
a31 a32 a33 a31 a32
2.2 计算步骤详解
- 主对角线方向（正号）： 计算三条从左上向右下倾斜的对角线乘积之和。
- 路径1:
- 路径2:
- 路径3:
- 副对角线方向（负号）： 计算三条从右上向左下倾斜的对角线乘积之和。
- 路径1:
- 路径2:
- 路径3:
- 最终公式：
几何学中的对角线性质
除了代数计算，几何学中也有多个关于对角线的著名定理，这些也是“对角定理”可能指代的范畴。
四边形的对角线特性
不同的四边形，其对角线具有不同的几何性质：
- 平行四边形： 对角线互相平分。
- 矩形： 对角线相等且互相平分。
- 菱形： 对角线互相垂直平分，且每一条对角线平分一组对角。
- 正方形： 兼具矩形和菱形的所有性质，对角线相等、垂直、平分且平分对角。
多边形对角线与内角和
对角线将多边形分割成若干个三角形。从一个顶点出发，可以引出 条对角线，将n边形分割成 个三角形。因此，n边形的内角和公式为：
这一推导过程深刻体现了对角线在多边形几何性质中的核心作用。
托勒密定理（Ptolemy's Theorem）
这是关于圆内接四边形对角线最著名的定理。定理指出：圆内接四边形两条对角线的乘积等于两组对边乘积之和。
该定理在解决复杂的几何证明和计算问题中具有极高价值，常被误称为“对角线乘积定理”。
经济学与博弈论中的“对角”概念
除了数学，在社会科学中，“对角”相关的概念同样重要，尤其是对角优势（Diagonal Dominance）。
4.1 严格对角占优矩阵
在线性方程组求解中，如果系数矩阵满足严格对角占优条件，则高斯-赛德尔迭代法（Gauss-Seidel）和雅可比迭代法（Jacobi）必然收敛。
定义：对于矩阵 ，如果对于所有的 ，都满足：
即主对角线元素的绝对值大于该行其他所有元素绝对值之和，则称该矩阵为严格对角占优矩阵。
4.2 博弈论中的对角优势
在博弈论中，虽然没有直接的“对角定理”，但存在对角优势策略的概念。在某些对称博弈中，玩家选择与对手不同的策略（即非对角线位置）可能获得更高收益，这有助于分析纳什均衡的存在性。
历史沿革：谁发现了这个定理？
格拉姆与加德纳
格拉姆（Gerard Graunt）和加德纳（Gabriel Cramer）独立发现了线性方程组求解的一般法则（克莱姆法则），其中隐含了对角线乘积的思想，但尚未形成通用的矩阵对角线法则。
皮埃尔·萨鲁斯
法国数学家皮埃尔·萨鲁斯（Pierre Soulages）首次明确提出了计算三阶行列式的对角线法则，因此该法则以他的名字命名。这是“对角线法则”作为独立术语的起源。
矩阵理论的完善
随着凯莱（Arthur Cayley）等人建立现代矩阵理论，对角线元素、对角矩阵、对角化等概念被系统化，对角线法则被纳入更广泛的线性代数框架中。
常见误区与FAQ
Q: “对角定理”是不是指勾股定理？
A: 不是。勾股定理涉及直角三角形边长关系，虽然可以通过对角线构造矩形来理解，但两者概念完全不同。勾股定理是 。
Q: 对角线法则可以用于计算四阶行列式吗？
A: 绝对不可以。 对角线法则（萨鲁斯法则）仅适用于三阶行列式。四阶及以上行列式必须使用代数余子式展开法或初等行变换法。
Q: 什么是“主对角线”和“副对角线”？
A: 主对角线是从矩阵左上角 到右下角 的连线。副对角线是从右上角 到左下角 的连线。在行列式计算中，主对角线方向通常取正号，副对角线方向取负号。
Q: 对角优势在数值计算中有什么意义？
A: 对角优势是保证迭代法（如雅可比迭代、高斯-赛德尔迭代）收敛的充分条件。如果系数矩阵严格对角占优，则迭代过程稳定且收敛，这对于解大型线性方程组至关重要。
总结
“什么叫对角定理”并非指向单一公式，而是一个涉及线性代数对角线法则、几何对角线性质以及矩阵对角化理论的综合概念。对于大多数学生而言，掌握萨鲁斯法则（三阶行列式对角线计算）是理解这一概念的关键入口。同时，了解其对角优势在数值分析中的应用，以及对角矩阵在简化运算中的作用，将有助于构建更完整的数学知识体系。
希望本文能为您厘清“对角定理”的相关迷雾，提供清晰、准确且富有深度的解答。