因此由
利用不等式性质，左右分别相加可以得
移项可得 （1）
由于 （2）
根据（1）和（2）可以得出矛盾，从而假设错误．
证法三：假设,,同时大于．
因为，所以,,必然大于，
因为 又因为 ，
得，所以可以得到，也就是，显然矛盾，从而假设错误．
证法四：假设,,同时大于．
