设a、b属于M，取c异于a b 得到(c2+b)-(c2+a)为有理数，(a2+c)-(b2+c)为有理数。即b-a，b2-a2为有理数。推出b+a为有理数。两式相减。

题目打错了，是数a2+b√2都是有理数，掉了一√2

设a、b属于M，取c异于a b 得到(c2+b√2)-(c2+a√2)为有理数，(a2+c√2)-(b2+c√2)为有理数。即（b-a）√2 ①，b2-a2 ②为有理数。②÷①×2，推出（b+a）√2为有理数③。最后③-①。