Question

設an=1+

1

2

+

1

3

+…+

1

n

(n∈N*)，是否存在整式g（n）使得a₁+a₂+…+a_n-1=g（n）•（a_n-1）對不小于2的一切自然數n都成立，并證明你的結論．

Answer 1

分析：進而求得an-an-1=

1

n

(n≥2) 最后（n-1）a_n-1-（n-2）a_n-2=na_n-n=n（a_n-1），判斷存在關于n的整式g（n）=n

解答：解：由題意，an-an-1=

1

n

(n≥2)，∴na_n-（n-1）a_n-1=a_n-1+1，（n-1）a_n-1-（n-2）a_n-2=a_n-2+1，…，2a₂-a₁=a₁+1，疊加得：a₁+a₂+…+a_n-1=n（a_n-1），對不小于2的一切自然數n都成立，g（n）=n
故存在關于n的整式g（x）=n，使得對于一切不小于2的自然數n恒成立．
下用數學歸納法證明：
①當n=2時，左邊a₁=1，右邊=2×（a₂-1）=1，此時等式成立．
②假設當n=k，（k＞2）成立，即a₁+a₂+…+a_k-1=k（a_k-1），
則當n=k+1時，a₁+a₂+…+a_k-1+a_k=k（a_k-1）+a_k=（k+1）a_k-k=（k+1）（a_k-

k

k+1

）=（k+1）（a_k+1-1）成立．
即由①②知，等式對任意的n＞2，都恒成立．

點評：本題主要考查了等差數列的通項公式．即數列與不等式相結合的問題考查，考查了學生綜合思維能力．