引理 定理1 对称函数 当且仅当 造船工业 三角有限和 正交试验法 齐次对称多项式