莱布尼茨三角形公式推