若a,b为有理数,a若a,b为有理数,a
若a,b为有理数,a(a+b)/2-a=(a+b)/2-2a/2=(a+b-2a)/2=(b-a)/2因为b大于a所以b-a大于0则(b-a)/2大于0
在①下令c=a+b/2 ∵a∴2a即a只需证存在就行了