如何证明1/2*(1+根号3)是代数数