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