三角不等式

三角不等式

1. 定义

代数形式：对任意实数 a、b，有 \(|a + b| \leq |a| + |b|\)

几何形式：三角形任意两边之和大于第三边（\(a + b > c\)）

一般形式（度量空间）：\(d(x, z) \leq d(x, y) + d(y, z)\)

等号成立条件：a 和 b 同号（或至少有一个为 0）

---

2. 为什么成立

几何直觉

从 A 到 C 的最短路径是直线。绕过 B 点必然不会更短。

A ----直线---- C
 \     /
  \   /
   \ /
    B
直线距离 ≤ A→B + B→C

代数证明

\[-|a| \leq a \leq |a| \]

\[-|b| \leq b \leq |b| \]

相加得：

\[-(|a|+|b|) \leq a+b \leq |a|+|b| \]

因此：\(|a+b| \leq |a| + |b|\)

---

3. 核心本质

三角不等式 = 最短路径原理

在任何度量空间中，直接路径永不劣于绕路。这是距离函数必须满足的基本约束。

---

4. 实际应用速查表

领域	应用	具体内容
定位精度	GPS 误差界	总误差 ≤ 各基站误差之和
机械臂	运动控制	总偏差 ≤ 各关节偏差之和
建筑	结构可行性	三边需满足三角不等式，否则无法构成结构
寻路算法	A* 启发式函数	必须满足三角不等式保证找到最优路径
聚类	k-means 合理性	保证聚类一致性和稳定性
误差分析	数值计算	总误差 ≤ 各步误差之和，用于设定精度目标
控制系统	稳定性证明	通过三角不等式证明系统不发散
物流	路线选择	直接运输费用 ≤ 中转费用和

---

5. 关键应用案例

案例 1：GPS 定位

三个基站误差分别为 ±5m、±3m、±4m
→ 总误差不超过 ±12m
→ 手机标注精度为"±12m"

案例 2：机械臂

3 个关节，每个精度 ±0.1°
→ 总误差 ≤ 0.3°
→ 设计者知道需要多高的关节精度

案例 3：三角形结构

边长 2, 3, 4：满足 2+3>4 ✓ 可建造
边长 1, 2, 5：不满足 1+2<5 ✗ 无法建造

案例 4：A* 寻路

启发式距离估计 \(h(n) \leq d(n,m) + h(m)\)
→ 违反这条件算法找不到最优路径
→ 是可接纳启发式的必要条件

---

6. 为什么重要

1. 理论基础：所有度量空间的定义都基于三角不等式
2. 算法保证：很多算法的正确性依赖三角不等式（A*、聚类、最短路径等）
3. 工程设计：误差界、精度目标、系统稳定性都靠它来保证
4. 数学分析：函数连续性、级数收敛性、极限存在性都需要它来证明

---

7. 数学扩展

向量形式：\(\|\mathbf{a} + \mathbf{b}\| \leq \|\mathbf{a}\| + \|\mathbf{b}\|\)（任何范数都成立）

反向三角不等式：\(||a| - |b|| \leq |a + b|\)

推广：对 n 个数 \(a_1, a_2, \ldots, a_n\)

\[\left|\sum_{i=1}^{n} a_i\right| \leq \sum_{i=1}^{n} |a_i| \]

---