令Q(√3)={a+b√3|a,b ∈Q},其中Q为有理数域.证明:Q(√3)为一个数域.