結果 : is square root of 2 divided by 2 a rational number