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