結果 : is 1/√2 a rational number