(│a+b│-(│a│-│b│))(│a│-│b│)≥0,
│a+b│≥│a│-│b│,│a│>│b│
因此等价于│a│>│b│