假设三角形的一条边为a，另一条边是b，而两边之差＜第三边＜两边之和，所以①②两式的不等号成立。等号则在|a|＝|b|时取到
①利用 -a≤│a│≤a, -b≤│b│≤b,即 -│a│≤a≤│a│同理b也有此式子，两式相加得 -（│a│+│b│）≤a+b≤│a│+│b│即 │a+b│≤ │a│+│b│将b换成 -b 即可得到②式
通过将式子两边进行平方可证
