两边同时乘以根号下ab,
然后移项(可以从其右边移到左边),
然后合并同类项,得到(a-b)*(根号下a-根号下b),
再把(a-b)等于(根号下a+根号下b)*(根号下a-根号下b),
便成两个都是大于0的项,
显然成立了!