一定是代数数.
假定有多项式P(x),Q(x)使得P(a)=Q(b)=0
那么考虑多元多项式方程组
P(a)=0
Q(b)=0
a=bt
利用Sylvester行列式可以把它消成一元高次多项式,只要把a和b消掉就可以了.