二阶 证明不等式 胜利油田 导函数 组合数公式 重要不等式 求和公式 杨辉三角 不等式习题 公因数 行列式 方幂和 自然科学版 等差数列