拉普拉斯展开式证明过