>>280
a≠0と仮定すると、
√2=b/a
√2が無理数であることより矛盾。
よってa=0

∴b√2=0
となるので
b=0