Question

當(dāng)n∈N^*時，Sn=1-

1

2

+

1

3

-

1

4

+…+

1

2n-1

-

1

2n

，T_n=

1

n+1

+

1

n+2

+

1

n+3

+…+

1

2n

．
（Ⅰ）求S₁，S₂，T₁，T₂；
（Ⅱ）猜想S_n與T_n的關(guān)系，并用數(shù)學(xué)歸納法證明．

Answer 1

（Ⅰ）∵當(dāng)n∈N^*時，Sn=1-

1

2

+

1

3

-

1

4

+…+

1

2n-1

-

1

2n

，T_n=

1

n+1

+

1

n+2

+

1

n+3

+…+

1

2n

．
∴S₁=1-

1

2

=

1

2

，S₂=1-

1

2

+

1

3

-

1

4

=

7

12

，T₁=

1

1+1

=

1

2

，T₂=

1

2+1

+

1

2+2

=

7

12

（2分）
（Ⅱ）猜想：S_n=T_n（n∈N^*），即：
1-

1

2

+

1

3

-

1

4

+…+

1

2n-1

-

1

2n

=

1

n+1

+

1

n+2

+

1

n+3

+…+

1

2n

（n∈N^*）（5分）
下面用數(shù)學(xué)歸納法證明：
①當(dāng)n=1時，已證S₁=T₁（6分）
②假設(shè)n=k時，S_k=T_k（k≥1，k∈N^*），
即：1-

1

2

+

1

3

-

1

4

+…+

1

2k-1

-

1

2k

=

1

k+1

+

1

k+2

+

1

k+3

+…+

1

2k

（8分）
則：S_k+1=S_k+

1

2k+1

-

1

2(k+1)

=T_k+

1

2k+1

-

1

2(k+1)

（10分）
=

1

k+1

+

1

k+2

+

1

k+3

+…+

1

2k

+

1

2k+1

-

1

2(k+1)

（11分）
=

1

k+2

+

1

k+3

+…+

1

2k

+

1

2k+1

+（

1

k+1

-

1

2(k+1)

）
=

1

(k+1)+1

+

1

(k+1)+2

+…+

1

2k+1

+

1

2(k+1)

=T_k+1，
由①，②可知，對任意n∈N^*，S_n=T_n都成立．（14分）