Question

在數(shù)列{a_n}（n∈N*）中，已知a₁＝1，a_2k＝－a_k，a_2k－1＝(－1)^k+1a_k，k∈N*. 記數(shù)列{a_n}的前n項(xiàng)和為S_n.

（1）求S₅，S₇的值；

（2）求證：對任意n∈N*，S_n≥0.

 

Answer 1

【答案】

(1) S₅＝3，S₇＝1.

(2)根據(jù)已知的遞推關(guān)系，然后結(jié)合整體的思想來分析得到，然后運(yùn)用數(shù)學(xué)歸納法加以證明。

【解析】

試題分析：解：（1）根據(jù)題意， 由于a₁＝1，a_2k＝－a_k，a_2k－1＝(－1)^k+1a_k，

故有 故可知S₅＝3，S₇＝1.        2分

（2）由題設(shè)的定義可知，對于每個(gè)正整數(shù)k，有

.                                                ①

_.                                              ②       4分

則 ，③

.                     ④       6分

下面證明對于所有的n≥1，S_n≥0.

對于k，用數(shù)學(xué)歸納法予以證明.

當(dāng)i＝1，2，3，4，即k=0時(shí)，S₁＝1，S₂＝0， S₃＝1， S₄＝2.

假設(shè)對于所有的i≤4k，S_i≥0，則由①、②、③、④知，

S_4k+4＝2S_k+1≥0，

S_4k+2＝S_4k≥0，

S_4k+3＝S_4k+2＋a_4k+3＝S_4k+2＋a_4k+4＝S_4k+2＋(S_4k+4－S_4k+3)，S_4k+3＝≥0.

接下來證明：S_4k+1≥0.

若k是奇數(shù)，則S_4k＝2S_k≥2.

因?yàn)?i>k是奇數(shù)，所以由題設(shè)知數(shù)列的各項(xiàng)均為奇數(shù)，可知S_k也是一個(gè)奇數(shù). 于是

S_4k≥2. 因此，S_4k+1＝S_4k＋a_4k+1≥1.

若k是偶數(shù)，則a_4k+1＝a_2k+1＝a_k+1. 所以S_4k+1＝S_4k＋a_4k+1＝2S_k＋a_k+1＝S_k＋S_k＋1≥0.

綜上，對于所有的n≥1，S_n≥0.                                     10分

考點(diǎn)：數(shù)列的遞推關(guān)系的運(yùn)用

點(diǎn)評：解題的關(guān)鍵是通過具體的例子歸納猜想結(jié)論，結(jié)合數(shù)學(xué)歸納法加以證明，屬于中檔題。