证明:
假设1+1>2,
则有(1+1+1+...+1)+(1+1+1+...+1)>2+2+2+...2 
则有2n*1>n*2 
又n*2-n*1<n*1 
又有1 2 3...成等差数列(自然数定义) 
错位相减,
得1+1=2,
与假设矛盾. 
同理若1+1<2,
矛盾 
所以1+1=2