绝对值三角不等式定理:|a|-|b|≤|a±b|≤|a|+|b|。三角不等式,即在三角形中两边之和大于第三边,有时亦指用不等号连接的含有三角函数的式子。
||a|-|b||≤|a±b|≤|a|+|b|是由两个双边不等式组成。
一个是||a|-|b||≤|a+b|≤|a|+|b|,这个不等式当a、b同方向时(如果是实数,就是正负符合相同)|a+b|=|a|+|b|成立。当a、b异向(如果是实数,就是ab正负符合不同)时,||a|-|b||=|a±b|成立。
另一个是||a|-|b||≤|a-b|≤|a|+|b|,这个等号成立的条件刚好和前面相反,当a、b异向(如果是实数,就是ab正负符合不同)时,|a-b|=|a|+|b|成立。当a、b同方向时(如果是实数,就是正负符合相同)时,||a|-|b||=|a-b|成立。
设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.