多项式的扩展级 三角形加权不等式 差分代换 多项式线性空间的维数 条件不等式 Si类多项式 问题