（3）
4．设
则定义
（4）
由此可得
5．证:
引入参数 
，作
（6）
注意 
,上式对
求导，得
（7）
由（3）可得，
∴
（8）
代入式（7），得
（9）
两边乘以 
，得
（10）
积分，得
（11）
因此，
（12）
两边乘以
（13）
如令
（14）
式（6）和（6＇）中，取
=1，即得
（15）