莱布尼茨公式证明