三角形不等式定理计算器

三角形不等式定理是平面几何中最基本的命题之一：三角形任意两边之和必须严格大于第三边。等价地，没有任何一边的长度可以大于或等于另外两边之和。本教程将证明该定理，解释为何“严格大于”至关重要，演示如何测试任意三个候选长度，并展示该不等式如何推广到向量范数和度量空间。

定理的三种表述方式

对于任意边长为 a、b、c 的三角形，以下三个条件必须同时成立：

a + b > c
a + c > b
b + c > a

等价的简洁表述：最长边必须小于另外两边之和。

严格不等号至关重要。如果 a + b = c 恰好成立，“三角形”将退化为一条线段——这三个点共线。这种退化情况不构成三角形。

定理为何成立——几何直观

想象通过首尾相接放置三根棍子并试图将它们闭合形成一个环来构建三角形。假设这三根棍子的长度分别为 a = 3，b = 4，c = 10。

将长度为 c 的棍子平放在地面上。从一端向上铰接棍子 a。从 c 的另一端向上铰接棍子 b。现在尝试让 a 和 b 的自由端相遇。

a 从其底部能达到的最大高度是 3 个单位（如果它垂直向上）。b 从其底部能达到的最大高度是 4 个单位。两个底部之间的距离为 10 个单位。即使两根棍子都垂直向上，它们的自由端在水平方向上相距 10 个单位——它们无法相遇。结论：不存在边长为 3、4、10 的三角形。

如果我们把 c = 10 替换为 c = 6，底部之间的距离变为 6 个单位，而棍子 a（长度为 3）最多只能跨越 3 个单位。因此 a + b = 7 必须超过 c = 6——而 7 > 6，所以这是可行的。两个自由端可以在直线上方的某一点相遇，从而形成三角形。

形式化证明——利用最短路径原理

两点之间的最短路径是连接它们的直线段。任何其他路径都严格更长。

假设三角形的顶点为 A、B、C，分别标记对边为 a、b、c。从 A 直接到 B 的路径（长度为 c）比从 A 经 C 到 B 的路径（长度为 b + a）更短。因此 c < b + a，即 a + b > c。

将相同的论证应用于其他两对顶点，可得 a + c > b 和 b + c > a。

测试三个数值

要检查 (a, b, c) 是否能构成三角形，只需测试最长边即可。如果最长边小于另外两边之和，则三角形有效。如果它等于或超过该和，则无法构成三角形。

示例测试：

• (3, 4, 5)：最长边 = 5。其余两边之和为 7。5 < 7 ✓ —— 有效三角形（著名的 3-4-5 直角三角形）。
• (5, 7, 12)：最长边 = 12。其余两边之和为 12。12 ≥ 12 ✗ —— 退化（一条直线）。
• (2, 3, 6)：最长边 = 6。其余两边之和为 5。6 > 5 ✗ —— 不可能。
• (1, 1, 1)：最长边 = 1。其余两边之和为 2。1 < 2 ✓ —— 有效（等边三角形）。

已知两边时第三边的范围

知道两条边会限制第三条边。如果给定 a 和 b，则第三条边 c 必须满足：

|a − b| < c < a + b

上界即为三角形不等式。下界是将同一不等式应用于不同配对的结果：如果 c 小于或等于 |a − b|，则 a 和 b 中较长者将超过 c 与 (a, b 中较短者) 之和，从而违反不等式。

示例：a = 4，b = 7。则 3 < c < 11。第三条边可以是 3 和 11 之间严格介于其间的任何实数。

为何“严格不等号”至关重要

边界情况 a + b = c 会产生一个“退化三角形”——三个共线的点。某些教科书将退化三角形包含在“三角形”的定义中（此时不等式变为 ≤）。主流惯例要求使用严格不等号，大多数计算器（包括我们的）都将等号情况视为无效。

向量形式的同一定理

三角形不等式可推广至向量。对于任意维度中的任意两个向量 u 和 v：

|u + v| ≤ |u| + |v|

（仅当 u 和 v 指向完全相同的方向时取等号，即退化情况）。这是欧几里得范数的三角形不等式。这一形式进一步推广到内积空间、赋范线性空间和度量空间——该不等式是度量 d 的三个定义公理之一：d(x, z) ≤ d(x, y) + d(y, z)。

因此，几何上的三角形不等式不仅仅是平面几何的一个奇闻异事——它是数学中“距离”的定义属性。

常见错误

• 仅检查三个不等式中的一个。 所有三个不等式都必须成立。(3, 4, 5) 满足 a + b > c，但仍需满足 a + c > b 和 b + c > a——幸运的是这三个都满足。对于 (3, 4, 8)，a + b > c 不成立：3 + 4 = 7 < 8，因此无效。你只需要找到一个失败案例即可排除三角形，但为了清晰起见，计算器会测试所有三个不等式。
• 使用 ≥ 而不是 >。 必须是严格不等号。三个点共线的退化“三角形”不是三角形。
• 混淆“有效三角形”与“有效直角三角形”。 三角形不等式用于确定是否存在任何三角形。要检查三角形是否为直角三角形，请单独验证 a² + b² = c²（勾股定理测试，其中 c 为最长边）。
• 忘记所有边长必须为正。 无论其他边长如何，长度为 0 或负数的边都无法构成三角形。