>>68 のヒント。

p = -q√2

として、両辺の p, q の共通の分母を払い、
p, q が整数の場合に帰着させる。

その上で、両辺を２乗する。

後は、素因数分解の一意性を使う。