如何证明不等式的可加性?

1:a>b
a-b>0 c-c=0
a-b+0=a+c-(b+c)>0
a+c>b+c

2:a+c>b+c
a+c-(b+c)>0
a-b>0
a>b

这个太难啦。
应该可以用吧

有意思，试一下啊。
设a-b=m;
a=b+m;
两边加上c,得
a+c=b+m+c;
由于m是正数，现在从右边减去m，则有
b+m+c>b+c,即
a+c>b+c.
就这样啊，不知道有没有问题。大家指导一下。