三角不等式
数学、物理术语
三角不等式，即在三角形中两边之和大于第三边，有时亦指用不等号连接的含有三角函数的式子（这里不作介绍）。三角不等式虽然简单，但却是平面几何不等式里最为基础的结论。
术语解释
在一个三角形中，任意两边之和大于第三边。
术语证明
方法一（线段公理）：
记△ABC，其中BC是一条线段，而AB+AC不是一条线段，所以AB+AC＞BC，所以三角形两边之和必然大于第三边（两点之间线段最短）。（注意：这里引用的线段公理并不是《几何原本》中的公设）
方法二（《几何原本》第Ⅰ 卷命题20）：
设ABC为一个三角形，记△ABC，延长BA至点D，使DA = CA，连接DC.
则因DA = AC ，∠ADC = ∠ACD （等边对等角，《几何原本》命题5）
所以∠BCD大于∠ADC（整体大于部分公理）
由于DCB是三角形，∠BCD大于∠BDC，而且较大角所对的边较大（大角对大边，命题19）
所以DB＞BC，而DA = AC
则DB = AB + AD = AB + AC＞BC.
推论
下面不加证明地给出若干个定理。
推论一 ：
对于两条相交线段AB、CD，必有AC+BD小于AB+CD。
推论二（绝对值不等式）:
对于，有
此式也称为三角不等式。
当且仅当：
对于，第一个等号有，第二个等号有。
其等号成立。
对于，第一个等号有，第二个等号有。
推论三（向量三角不等式）：
对于任意两个向量、，其加强的不等式
也成立，这个不等式也可称为向量的三角不等式。
推论四（复数三角不等式）：
若推论三中将两个向量换为任意两个复数，则定理仍成立。
变换后的式子称为（复数的）三角不等式。
术语应用
参考资料
最新修订时间：2023-11-27 15:07
条目作者
小编
目录
概述
术语解释
术语证明
参考资料

Copyright©2024 闽ICP备2024072939号-1