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