莱布尼茨公式推导过程详细