证明求积公式是高斯型求积公式吗为什么