結果 : is 1 square root of 2 a rational number