可验证√m = (1+√5)/2,所以a+b√m = (a+b/2)+(b/2)√5.
可知集合{a+b√m | a,b为有理数} = {c+d√5 | c,d是有理数}.
后者构成数域应该是基本结果,我就先不写了.