結果 : is 1+√3 a rational number