阅读理解：我们知道，比较两数（式）大小有很多方法，“作差法”是常用的方法之一，其原理是不等式（或等式）的性质：若 ，则 ；若 ，则 ；若 ，则 .

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

证明： .

∵ ，∴ ，∴ .