莱布尼兹公式怎么证明