§3 Euler 积分

Beta 函数
形如
1
　　　　　　 Β( p, q ) = ∫ x p −1 (1 − x ) q −1 dx
0

的含参变量积分称为 Beta 函数，或第一类 Euler 积分．

分别考虑 Beta 函数在奇点 x = 0 和 x =1 的阶，积分收敛当且仅当 p −1 > −1 和
q −1 > −1 ，即 p > 0 且 q > 0 ．因此 Β( p, q ) 的定义域为 p > 0, q > 0 ．
Beta 函数的性质：
　　1. 连续性： Β( p, q ) 在 p > 0, q > 0 上连续．
证明： ∀δ > 0 ，当 p ≥ δ , q ≥ δ 时，
　　　　　　　　 0 < x p −1 (1 − x) q −1 ≤ xδ −1 (1 − x )δ −1 ， 0 < x < 1 ，
1 1
∫x ∫x
δ −1
由 (1 −x )δ −1 dx 收 敛 和 Weierstrass 判 别 法 知 p −1
(1 −x ) q −1 dx 在
0 0

p ≥ δ , q ≥ δ 上 一 致 收 敛 ， 从 而 在 p > 0, q > 0 上 内 闭 一 致 收 敛 ． 因 此 由 函 数
x p −1 (1 −x ) q −1 在 x ∈(0,1) ， P > 0 ，
q > 0 上连续知 Β( p, q ) 在 p > 0, q > 0 上连续．
□
2. 对称性： Β( p, q ) = Β( q, p ) ．
证明：令 t =1 − x 有
1 1
　　　　　　　　 Β( p, q ) = ∫ x p −1 (1 − x ) q −1 dx = ∫ (1 −t ) p −1 t q −1dx = Β( q, p ) ．
0 0

□
q −1
3. 递推公式： Β( p, q ) = Β( p, q −1) ， p > 0, q >1 ．
p + q −1
证明：当 p > 0, q >1 时，由分部积分法有
1
　　　　　　　　 Β( p, q ) = ∫ x p −1 (1 − x ) q −1 dx
0

1
1  q −1 1 p
p ∫0
=  x p −1 (1 − x) q −1  + x (1 − x ) q −2 dx
p 0

q −1 1
p ∫0
= [1 −(1 − x )] x p −1 (1 − x) q −2 dx

q −1
= [Β( p, q −1) −Β( p, q)] ，
p
整理得到
q −1
　　　　　　　　　 Β( p, q ) = Β( p, q −1) ．
p + q −1
□
利用 Β( p, q ) 的对称性有
( p −1)( q −1)
　　　　　　　　　 Β( p, q ) = Β( p −1, q −1) ， p >1, q >1 ．
( p + q −1)( p + q − 2)
4. 其它表示：
 (1) 令 x = cos 2 ϕ 得到
π
　　　　　　　 Β( p, q ) = 2
∫ 0
2 cos 2 p −1 ϕ sin 2 q −1 ϕdϕ ．
1
取 p =q = 就得到
2
1 1
　　　　　　　　　 Β ,  = π ．
2 2
1
(2) 令 x = 有
1+t

1 +∞ t q−1
　　　　　　　　　 Β( p, q ) = ∫ x (1 − x ) dx = ∫
p −1 q −1
dt
0 0 (1 +t ) p+q

1 t q−1 +∞ t q −1
　　　　　　　　　　　　 = ∫ dt + ∫1 (1 +t ) p+q dt ．
0 (1 +t ) p +q

1 +∞ t q −1 1 u p −1
对后一积分作变换 t = 得到 ∫ dt = ∫0 (1 + u ) p +q du ，从而有
u 1 (1 + t ) p +q

1 t p −1 + t q −1
　　　　　　　　　 Β( p, q ) = ∫ dt ．
0 (1 + t ) p +q

1
如果对前一积分作变换 t = ，则可得到
u

+∞ t p −1 + t q −1 1t
p −1
+ t q −1
　　　　　　　 Β( p, q ) = ∫ dt = ∫0 (1 + t ) p +q dt ．
1 (1 + t ) p +q

Gamma 函数
形如
+
∞
Γ( s ) = ∫ x s −1e −x dx
0

的含参变量积分称为 Gamma 函数，或第二类 Euler 积分．

由于
1 +
∞
　　　　　 Γ( s ) = ∫ x s −1e −x dx + ∫ x s −1e −x dx ，
0 1

第一个积分收敛仅当 s −1 > −1 ，即 s > 0 ；而第二个积分总收敛，因此 Gamma 函数

Γ(s ) 的定义域为 s > 0 ．
Gamma 函数的性质：
1. 连续性： Γ(s ) 在 s > 0 上连续．
证明：当 0 < a ≤ s ≤ b 时有
0 < x s −1e −x ≤ x a −1e −x ，　当 0 < x ≤ 1 ；
0 < x s −1e −x ≤ x b −1e −x ，　当 x ≥1 ．
 1 +
∞ +
∞
因此由 ∫ x a −1e −x dx 和 ∫ x b −1e −x dx 收敛及 Weierstrass 判别法知 ∫ x s −1e −x dx
0 1 0

+
∞
在 s ∈[ a, b] 上一致收敛．由 b > a > 0 的任意性知 ∫ x s −1e −x dx 在 s ∈(0,+∞) 内闭
0

一致收敛．因此结论成立．
□
2. 递推关系： Γ( s +1) = sΓ( s ) ， s > 0 ．
证明：分部积分有

　　　　　 Γ( s +1) = ∫
0
+∞
[
x s e −x dx = − x s e −x ]
+∞
0 +s∫
+∞

0
x s −1e −x dx = sΓ( s ) ．

□
3. 其它表示：
(1) 令 x = t 2 有
+
∞ +
∞
Γ( s ) = ∫ x s −1e −x dx = 2 ∫
2
t 2 s −1e −t dx ．
0 0

由此有
1  +∞
Γ  = 2 ∫ e −t dx = π ．
2

2  0

(2) 作变换 x = α t 有，
+
∞ +
∞
　　　　　 Γ( s ) = ∫ x s −1e −x dx =αs ∫ t s −1e −αt dt ， α > 0 ．
0 0

+∞
例 15.3.1　计算 I = ∫
2
x 2 n e −x dx ．
0

1 1 (2n −1) 1
解：　　 I = Γ(n + ) = 2
Γ(n − ) = 
2 2 2 2
( 2n −1)!!  1  ( 2n −1)!!
　= Γ  = π．
2 n +1 2 2 n +1

□
Beta 函数与 Gamma 函数的关系
定理 15.3.1 Beta 函数与 Gamma 函数有如下关系：
Γ( p )Γ(q )
　　　　 Β( p, q ) = ， p >0 ， q >0 ．
Γ( p + q )
证明：由于
+
∞ +
∞
Γ( p ) = 2 ∫ t 2 p −1e −t dt ， Γ( q ) = 2 ∫ t 2 q −1e −t dt ，
2 2

0 0

令 Ω = {( s, t ) | 0 ≤ s < +∞,0 ≤ t < +∞} ，由反常重积分与反常累次积分的关系有

+
∞ +
∞
Γ( p )Γ( q ) = 4 ∫ s 2 p −1e −s ds ∫
2 2
t 2 q −1e −t dt
0 0

= 4 ∫∫s 2 p −1t 2 q −1e −s

2
−t 2
dsdt ．
Ω

采用极坐标 s = r cos θ ， t = r sin θ 有

 ∫ ∫r
2 ( p +q ) −1 −r 2
Γ( p )Γ(q ) = 4 e cos 2 p −1 θ sin 2 q −1 θ drd θ
0 ≤r <+∞
π
0 ≤θ ≤
2

 π2  +∞ 2 ( p +q )−1 −r
2 ∫0 cos
　　　　 =  θ sin 2 ∫0 r
θdθ  e dr 
2
2 p −1 2 q −1

  

= Β( p, q )Γ( p +q ) ．
□
π
　　例 15.3.2 计算 I =
∫0
2 cos 6 x sin 4 x dx ．

5 7
π Γ Γ 
1 5 7 2 2
cos 6 x sin 4 x dx = Β ,  =    
解 ：　
I =∫ 2
0 2 2 2 2Γ( 6 )

1 3 1  5 3 1  3π
=  ⋅ ⋅ π  ⋅ ⋅ ⋅ π  = ．
2 ⋅ 5!  2 2  2 2 2  512
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　□

1
　　例 15.3.3　计算 I = ∫ x 8 1 − x 3 dx ．
0

解：令 t = x 3 有

3
Γ( 3) Γ 
1 2 1 1  3 1 2
3 ∫0
I= t 1 − t dt = Β 3,  =
3  2 3  
9
2Γ 
2

1
2!  π
1  2 16
= = ．
3 7  5  3 1 315
2⋅ ⋅ ⋅ ⋅  π
 2  2  2  2
□
定理 15.3.2(Legendre 公式)
1 π
Γ( s )Γ( s + ) = 2 s −1 Γ( 2 s ) ．
2 2
证明：由于
　 　 　 　
s −1
1 1 1/ 2 1  1  
2

Β( s, s ) = ∫ x s −1
(1 − x ) s −1
dx = ∫ ( x − x ) 2 s −1
dx = 2 ∫  − − x   dx ，
0 0 0
4  2
  
1 1
令 −x = t有
2 2
 1 1 1 1 
∫t
−1 / 2
Β( s, s ) = 2 s −1
(1 − t ) s −1 dt = 2 s −1
Β , s  ．
2 0 2 2 
利用 Beta 函数与 Gamma 函数的关系有

1 
Γ Γ( s )
Γ( s )Γ( s ) 1 2 
= 2 s −1 ，
Γ( 2 s ) 2 1 
Γ + s 
2 
整理就有 Legendre 公式．
□
下面两个 Gamma 函数的性质不要求掌握证明，但应记住结论．
定理 15.3.3(余元公式)　
π
Γ( s )Γ(1 −s ) =Β( s,1 −s ) = ， 0 < s <1 ．
sin πs
定理 15.3.4(Stirling 公式)
s θ
s
Γ( s + 1) = 2π s   e 12 s ， s > 0 ， 0 < θ < 1 ．
e

4
+∞ x
　　例 15.3.4　计算 I = ∫ 0 (1 + x ) 2
dx ．

1
解：作变换 t = 有
1+ x
5
−1
1  3 5  3 1
I = ∫ t −1 / 4 (1 − t )1 / 4 dt = Β ,  = 4 Β , 
0
 4 4  3 + 5 −1  4 4 
4 4
1 π 2
= = π
4 sin π 4 ．
4
□
　　例 15.3.5　计算曲线 r = sin θ cos θ 所围图形的面积．
4 3

π 3 1 2
解：由 r ≥ 0 有 θ ∈[0, ]  [π , π ] ．由于 dA = r (θ ) dθ ，利用对称性有
2 2 2
π
1 2 3/ 2 1 5 3 2
A = 2⋅ ∫
2 0
sin θ cos1 / 2 θdθ = Β ,  =
2 4 4 8
π．

□
例 15.3.6 确定 α > 0 ， β > 0 ，使得反常重积分

dxdy
I =∫∫ ， D = { ( x, y ) | x ≥ 0, y ≥ 0}
D
1 + xα + y β

收敛，并在收敛时计算 I 的值．
 解：由于被积函数非负，因此只要能用任何一种积分方法得到有限的值，则该反常重
2 2
积分收敛．为此，令
x = u ， y = v β ，则有
α

2 2
−1 −1
α β
　　　 I = 4 u v
α β ∫ ∫1 + u
dudv ．
D′
2
+v 2

其中 D′ = { (u , v) | u ≥ 0, v ≥ 0} ．再令 u = r cos θ ， v = r sin θ 有

2 2
+ −1 2
π α β 2
　　　　　 I = 4 r
+∞ −1 −1

αβ ∫ ∫
2
cos α
θ sin β
θdrd θ
0 0 1+r2
2 2
2 + −1
π 2 α β
4 −1 −1 +∞ r
αβ ∫0
　　　　　 = 2
cos α θ sin β
θdθ ∫ dr ．
0 1+r2
对以上第二个积分作变换 r 2 = t 得到
2 2 1 1
+ −1 + −1
α β α β
　　　　 +∞ r 1 t +∞
∫ dr = ∫ dt ，
0 1+r 2
2 0 1 +t

1 1 1 1 1  1 1 
它仅当 + <1 时收敛且等于 Β + ,1 −  +   ．由 α > 0 ， β > 0 ，此时有
α β 2 α β  α β 

α > 1 和 β >1 ，从而第一个积分也收敛．

1 1
于是当 + < 1 时原反常重积分收敛，且有
α β
1 1
+ −1 2
π 2
dxdy 2 +∞ tα β −1 −1
I =∫∫ α β
= ∫ dt ∫ 2 cos α θ sin β θdθ
D
1+ x + y αβ 0 1+t 0

1 1 1 1 1  1 1 
= Β , Β + ,1 −  +  
αβ α β  α β  α β 

 1   1    1 1 
1
= Γ Γ Γ1 −  +   ．
α β  α   β    α β 

Ex: P382-383 1. (2) (4) (6) (8) 3. 4. 6.

习题解答
1. 计算下列积分：

1 dx 1 x 2 dx π dx
(1) ∫ 0
1−x 4 ∫0
1−x 4
；　　　　　(2) ∫0
3 − cos x
；
 1 dx +∞ x m −1
(3) ∫
0n
1 −xn
； (4) ∫ 0 1+ xn
dx ， n > m > 0 ；

+∞ x4 π 1
(5) ∫
0 (1 + x ) 2
dx ； (6)
∫ 0
2
sin 7 x cos 2 xdx ；

+
∞ 1
∫ ∫x
n
(7) x m e −x dx ， m, n > 0 ； (8) p −1
(1 −x n ) q −1dx ， p, q, n > 0 .
0 0

解：(1) 令 x 4 = t ，则

1 dx 1 x 2 dx 1 1 1
　　　　　 ∫0 ∫ ∫t (1 − t ) −1 / 2 dx ∫ t 3 / 4 −1 (1 −t ) −1 / 2 dx
1 / 4 −1
=
1−x 4 0
1−x 4 16 0 0

1 1 3 1

Γ Γ  Γ Γ 
　　　　　　　 =
1 1 1 3 1 1
Β , Β ,  =  4  2  ⋅  4   2  =π ．
16  4 2   4 2  16 3 5 4
Γ  Γ 
4 4
x
(2) 令 u = sin 4 ，即 x = 2 arcsin u1 / 4 ，则
2
dx π 2 1 2 1 1 
∫ ∫u
1 / 4 −1
= (1 − u )1 / 2 −1 du = Β ,  ．
3 − cos x
0 4 0 4 4 2 
(3) 令 u = x ，则
n

1 dx 1 1 1 / n −1 1 1 1 π
　　　　 ∫
0 n
1− x n
=
n ∫0
u (1 − u ) −1 / n = Β ,1 −  =
n n n  n sin π ．
n
(4) 令 u = x n ，则
+∞ x m −1 1 +∞ u m / n −1 1 n −m m  π
　　　　 ∫
0 1+ x n
dx =
n ∫0 1+u
du = Β
n  n
, =
n  n sin mπ ．
n
+∞ 4
x 5 3 1 1 3 π 2
(5) ∫ 0 (1 + x) 2
dx = Β ,  = Β ,  =
 4 4  4  4 4  4 sin π
=
4
π.
4

3
π 1 Γ( 4 ) Γ 
1  3  4  = 256 ．
(6) ∫ 0
2
sin 7 x cos xdx = Β 4,  =
2
2  4  3  1155
2Γ 4 + 
 4
(7) 令 u = x n ，则
+∞ 1 +∞ ( m +1) / n −1 −u 1  m +1 
　　　 ∫0 ∫
n
x m e −x dx = u e du = Γ ．
n 0 n  n 
(8) 令 u = x n ，则
1 1 1 p / n−1 1 p 
　　　 ∫0 x (1 − x ) dx = ∫
p −1 n q −1
u (1 −u ) q −1du = Β , q  ．
n 0 n n 
□
 +∞ 1 1  +∞
2．明 ∫ Γ  ， n 为正整数，并推出 lim ∫
n n
e −x dx = e −x dx = 1 ．
0 n n  n→∞ 0

证明：令 x = t ，则
n

+∞ 1 +∞ 1 / n−1 −t 1 1 
∫0 e dx = n ∫0 t e dt = n Γ n  ．
−x n

由 Gamma 函数的连续性和递推关系有
+∞ 1 1   1
lim ∫ e − x dx = lim Γ  = lim Γ1 +  = Γ(1) = 1.
n

n →∞ n
n →∞ 0
 n  n →∞  n
□
3. 证明 Γ(s ) 可导，并求 Γ′(s ) ．
证明： ∀s > 0 ，取 a, b > 0 ，使得 a < s < b ，于是
d
ds
( x s −1e −x ) = x s −1e −x ln x ，

在 x > 0 和 s ∈[ a, b] 上连续．又当 s ∈[ a, b] 时有

x s −1e −x ln x =−x s −1e −x ln x ≤−x a −1e −x ln x ，当 0 < x ≤ 1 ；

x s −1e −x ln x ≤x b e −x ln x ，当 x ≥ 1 ，

∫ (− x e −x ln x ) dx 和 ∫ (x e −x ln x ) dx 收
1 +
∞
a −1 b −1
因 此 由 敛 ， 因 此
0 1

∫0
d
+
∞

ds
( x s −1e −x ) dx 在 s ∈[ a, b] 上一致收敛．于是 ∫
0
+∞ d

ds
( x s −1e −x ) dx 在 s > 0 上

内闭一致收敛，从而 Γ (s ) 可导，且有

Γ′( s ) = ∫
0
+∞ d

ds
( x s −1e −x ) dx = ∫ x s −1e −x ln x dx ， s > 0 ．
0
+∞

□
1
4．计算 ∫ ln Γ( x ) dx ．
0

解：令 x =1 − s 有
1 1 1
∫ ln Γ( x)dx
0
= ∫ ln Γ(1 − s ) ds = ∫ ln Γ(1 − x ) dx ，
0 0

于是由余元公式有
1 1 1 1
[ ln Γ( x ) + ln Γ(1 − x )]dx = ∫ ln [Γ( x )Γ(1 − x )]dx
1
∫ ln Γ( x)dx
0 2 0∫ =
2 0
1 1 π 1 1 1
　　　　　 = ∫0 ln dx = ln π − ∫ ln(sin π x ) dx
2 sin π x 2 2 0
1
= ln( 2π ) ．
2
π
这里用到 ∫ ln sin xdx = −π ln 2 ．
0

π π
1  1 α +1 
∫ sin xdx = ∫ cos α xdx =
α
5. 证明 2 2
Β ,  ( α > 0 )，并由此推出
0 0 2 2 2 
(1) 当 α 为奇数时，
 π π
2 ⋅ 4 ⋅ 6 (α − 1)
∫0
2
sin α xdx = ∫ 2 cosα xdx =
0 3 ⋅ 5 ⋅ 7α
；

(2) 当 α 为偶数时，
π π
1 ⋅ 3 ⋅ 5 (α − 1) π
∫ sin xdx = ∫ cosα xdx =
α
2 2 ．
0 0 2 ⋅ 4 ⋅ 6α 2
π
证明：作变换 x = − θ ，有
2
π π π

∫0
2
sin α xdx = ∫ 2 cos α θdθ = ∫ 2 cos α xdx ．
0 0

又令 sin x = u ，则有
2

π π α −1
1  1 α +1 
1
1 1 −
∫ sin xdx = ∫ cos xdx = ∫ u
α α
2 2 2
(1 − u ) 2
du = Β , ．
0 0 2 0 2 2 2 
于是有
 α +1   α +1 
(1) 若 α 为奇数，则 Γ  = ! ，从而
 2   2 

 1   α +1
π π Γ Γ 
 2  2 
∫ sin α xdx = ∫ α
2 2
cos xdx =
0 0 α + 2 
2Γ 
 2 

α −1 α − 3
⋅ π
 2 ⋅ 1
　　　　　 = 2 2
α α −2 α −4 1
2⋅ ⋅ ⋅  ⋅ π
2 2 2 2
2 ⋅ 4 ⋅ 6(α − 1)
　　　　　 = ；
3 ⋅ 5 ⋅ 7α
α + 2  α 
(2) 若 α 是偶数，则 Γ  =  ! ，从而
 2  2

 1   α +1
π π Γ Γ 
2 2 
　　　　　 ∫2
sin α xdx = ∫ 2
cos α xdx =   
0 0 α + 2 
2Γ 
 2 

α −1 α − 3 3 1
π ⋅  ⋅ π
= 2 2 2 2
α α −2 α −4
2⋅ ⋅ ⋅  2 ⋅1
2 2 2
1 ⋅ 3 ⋅ 5 (α − 1) π
= ．
2 ⋅ 4 ⋅ 6 α 2
□
6. 确定正数 α, β, γ ，使得反常重积分
 dxdydz
I =∫∫∫ α
Ω
1 + x + y β + zγ

收敛．在收敛时，计算 I 的值．其中 Ω = { ( x, y, z} | x ≥ 0, y ≥ 0, z ≥ 0} ．
解 :由于被积函数非负，因此我们通过计算来说明收敛性．令 xα = u 2 , y β = v 2 , z γ = w2 ，
则
2 2 2
−1 −1 −1
dxdydz 8 u α v β v γ dudvdw ,
I =∫∫∫ α β γ
= ∫Ω∫' ∫ 1 + u 2 + v 2 + w2
Ω
1+ x + y + z α βγ

其中 Ω ' = { (u, v, w} | u ≥ 0, v ≥ 0, w ≥ 0} ． 引 入 球 面 坐 标 u = r sin ϕcos θ ， v = r sin ϕsin θ ，

w = r cos ϕ ，则 Ω' 成为

Ω ′ = { (r,θ ,ϕ } | r ≥ 0,θ ∈ [0,π / 2] ϕ, ∈ [0,π / 2]} ．

于是
2 2 2
+ + −1 2 2 2 2
rα β γ
2
8 −1 −1 + −1 −1

α β γ ∫Ω′∫′ ∫ 1 + r 2
I= sin β
θ cos α
θ sin α β
ϕ cos γ
ϕ drd θdϕ

2 2 2
+ + −1 2 2 2 2
α β γ π 2 π
8 +∞ r −1 −1 + −1 −1

∫ dr ∫ sin θ cos θ dθ ∫ sin ϕ cos ϕ dϕ

β α β γ
= 2 α 2
αβγ 0 1 +r 2 0 0

对第一个积分作变换 r 2 = t 有
2 2 2 1 1 1
+ + −1 + + −1
α β γ +∞ α β γ
　　　　　 +∞ r 1 t
∫ dt ，
2 ∫0
dr =
0 1+r 2
1 +t 2

1 1 1 1 1 1 1  1 1 1 
它收敛仅当 + + < 1 ，且其值为 Β + + ,1 −  + +   ．此时显然后两
α β γ 2 α β γ  α β γ 

1 1 1  1 1 1 1
个积分也收敛，且分别等于 Β ,  和 Β
 + , ．
2 
α β  2  α β γ 
1 1 1
因此原反常重积分当 + + < 1 收敛，且
α β γ

dxdydz
I =∫∫∫ α
Ω
1 + x + y β + zγ

1 1 1 1  1 1 1   1 1   1 1 1 
　= Β + + ,1 −  + +  Β , Β + , 
α βγ  α β γ  α β γ   α β   α β γ 

1  1  1    1 1 1 
 + 1Γ + 1Γ1 −  + +   ．
　 = Γ + 1Γ
α  β  γ    α β γ 
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　□
7. 证明
 α −1 α
π  sin ϕ  dϕ 1  1+ k  π
∫ 0  1 + cos ϕ 
 
= 
1 + k cos ϕ 1 + k  1 − k


 sin α π
， α >0，
2
0 < k <1 ．
sin ϕ ϕ ϕ
证明：由于 = tan ，令 tan = t ，有
1 + cos ϕ 2 2
α−1
π  sin ϕ  dϕ +∞ t α−1dt
　　　　　 I = ∫  
 = 2∫ ．
0
1 + cos ϕ  1 + k cos ϕ 0 1 + k + (1 − k )t 2

1+k
再令 t = u ，则
1−k
α α
1  1+k  u α / 2 −1du  1+k  α α
 Β ,1 − 
+∞ 1
　　　　　 I = 
1+k 
 1−k



∫0 1 +u
=
1+k

 1−k

 2
 2
．

利用余元公式就有
α −1 α
π  sin ϕ  dϕ 1  1+ k  π
　　　　　 ∫ 0
 
 1 + cos ϕ 
= 
1 + k cos ϕ 1 + k  1 − k


 sin α π
．
2
□
8. 设 0 ≤ h < 1 ， n ≥ 3 为正整数．证明

 n −1 
n −3 Γ 
h π
 2 h．
∫ (1 − t dt ≥
2
　　　　　 ) 2
0 2 n
Γ 
2
证明：令 t = hu ，则由 0 ≤ h < 1 有
n −3 n −3 n −3
h 1 1
　　　　　
∫ (1 − t ) dt = h ∫ (1 − h u ) du > h ∫ (1 − u ) du ．
2 2 2 2 2 2 2
0 0 0

在令 u 2 = w ，则有
n −3 n −3 n −3 1
h 1 h 1 −
　　　　　
∫ 0
(1 − t 2 ) 2
dt > h ∫ (1 − u 2 )
0
2
du =
2 ∫0
(1 − w) 2
w 2 dw

 n −1 
Γ 
h  n −1 1  π  2 
= Β , = h．
2  2 2 2 n
Γ 
2
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　□