最小多项式的定义