>>760
b≠0ならば、式を変形すると、
√2=-a/b
となり、√2が有理数になる。