【阅读理解】我们在分析解决某些数学问题时，经常要比较两个数或代数式的大小，解决此类问题时一般要进行转化，其中“作差法”就是常用的方法之一．其依据是不等式（或等式）的性质：若 ， 则；若 ， 则；若 ， 则 ．

例：已知 ， ， 其中 ， 求证：

证明：

     

      ， 故