a有理数,s是无理数,证明s+a是无理数.