证明：
交叉相乘,原不等式等价于
b(a+m)>a(b+m)
ab+bm>ab+am
bm>am
b>a
由条件知显然成立,得证.