“整系数多项式的复根”。第一个定义可以具体描述为：这个定义中，由于formula_11可以推出formula_12，其中整数formula_13分别等于formula_14，formula_15是formula_6个有理数formula_7分母的最小公倍数。所以“存在有理系数多项式使得formula_4是其复根”可以推出“存在整系数多项式使得formula_4是其复根”。另一方面，由于整数集合是有理数集合的子集，所以“存在整系数多项式使得formula_4是其复根”也可以推出“存在有理系数多项式使得fo