假设结果是有理数,写成a+b=c（a、c是有理数,b是无理数）
则b=a-c,而两个有理数之差（a-c）一定是有理数,矛盾,所以原命题得证