f=a+b√m,m=(3+√5)/2,证明f是一个数域