设 x=1+√2 ,则 (x-1)^2=2,
化简得 x^2-2x-1=0 .
所以,1+√2 必是 多项式 x^2-2x-1 的根,
而多项式 x^2-2x-1 的系数均是有理数,且不可约.