三角不等式
的三角不等式三角形任意两条边的长度之和大于剩下的一条边的长度之和。
这是因为直线是两点之间最短的路径。如果三角形是非负的,不等式是严格的<一个href="//www.parkandroid.com/wiki/degenerate/" class="wiki_link" title="简并" target="_blank">简并(意味着它有一个非零区域)。
例子
如果一个非简并三角形的两条边长都等于 ,第三条边可能的长度是多少?
让第三条边有长度 ,然后由三角不等式得到 而且 ,这意味着 任何实数 这样 是第三条边的可能长度。
如果一个非简并三角形的两条边长分别为9和15,第三条边可能的长度是多少?
让第三条边有长度 .三方必须满足
第三个不等式是完全正确的,前两个不等式是正确的 .
如果三角形的三条整数边由 , , 的最大可能价值是什么 ?
通过三角形不等式
这意味着 的最大整数值 是 .
鉴于 不同长度的木棍 而且 三根棍子可以组成多少个不同的三角形?
如果三角形的一条边长是 ,那么就没有可能组合成三角形。事实上,如果三角形的三条边都是不同的整数长度,那么就不可能有一条边是单位长度。
如果一条边的长度是 ,唯一可能的组合是 .
如果一条边的长度是 ,唯一可能的组合是 .
如果一条边的长度是 ,可能的组合为 而且 .
如果一条边的长度是 ,可能的组合为 而且 .因为改变边的顺序不会改变三角形本身,我们可以形成 不同的三角形。
向量
三角形不等式有如下公式<一个href="//www.parkandroid.com/wiki/vector-introduction/" class="wiki_link" title="向量" target="_blank">向量在 :
让 而且 是向量 让 表示向量的模。然后
两边平方然后相减: 由<一个href="//www.parkandroid.com/wiki/cauchy-schwarz-inequality/" class="wiki_link" title="cauchy - schwarz不平等" target="_blank">cauchy - schwarz不平等.
注意,柯西-施瓦茨定理中等式成立当且仅当向量是平行的,这是三角形简并的条件。
上面的证明本质上与使用<一个href="//www.parkandroid.com/wiki/cosine-rule/" class="wiki_link" title="余弦定律" target="_blank">余弦定律:如果 是三角形的边, 右边是最大的 是最小的,也就是什么时候 所以 因此, 当且仅当边长的夹角相等 而且 是
度量空间
主要文章:<一个href="//www.parkandroid.com/wiki/metric-space/" class="wiki_link" title="度量空间" target="_blank">度量空间
三角形不等式是广义距离函数的一个基本性质指标,用于构造<一个href="//www.parkandroid.com/wiki/metric-space/" class="wiki_link" title="度量空间" target="_blank">度量空间.度规是一个函数 从一个集合中取两个参数 并产生一个非负实数,具有以下性质:
- 当且仅当
这第三个性质是三角不等式,它在证明许多<一个href="//www.parkandroid.com/wiki/topology/" class="wiki_link" title="拓扑" target="_blank">拓扑度量空间的性质。