证明多项式在有理数域上不可约
发布人