由a>b>0,m>0得
am>bm
故得 am+ab>bm+ab
即 a(b+m)>b(a+m)
又因为a>0,b>0,m>0
在不等式两边同时除以a(a+m)得
b+m/a+m>b/a
不等式得证