√2が無理数であることを用いて、次のことを証明せよ。
a、bが有理数で、a+b√2=0ならばa=b=0である。

よろしくお願いします。