Question

正整數(shù)數(shù)列{a_n}滿足：a₁=1，an+1=

an-n，an＞n an+n，an≤n.

（Ⅰ）寫出數(shù)列{a_n}的前5項(xiàng)；
（Ⅱ）將數(shù)列{a_n}中所有值為1的項(xiàng)的項(xiàng)數(shù)按從小到大的順序依次排列，得到數(shù)列{n_k}，試用n_k表示n_k+1（不必證明）；
（Ⅲ）求最小的正整數(shù)n，使a_n=2013．

Answer 1

分析：（Ⅰ）由數(shù)列{a_n}滿足遞推公式，令n=1，2，3，4及a₁=1，我們易得到a₂，a₃，a₄，a₅，的值；
（Ⅱ）由（1）和條件可歸納數(shù)列{n_k}中每一項(xiàng)的值與序號(hào)的關(guān)系，由歸納推理出n_k的一個(gè)通項(xiàng)公式，再由（Ⅰ）歸納出數(shù)列{a_n}中項(xiàng)之間的關(guān)系式，再得到項(xiàng)數(shù)之間的關(guān)系式；
（Ⅲ）把（Ⅱ）的結(jié)論化為2n_k+1+1=3（2n_k+1），記2n_k+1=x_k，轉(zhuǎn)化為新的等比數(shù)列{x_k}，利用此數(shù)列的通項(xiàng)公式進(jìn)而求出n_k的表達(dá)式，把n_k+1=3n_k+1轉(zhuǎn)化為不等式“a_n≤3n_k+1=n_k+1”，給k具體值結(jié)合（Ⅱ）的結(jié)論，進(jìn)行注意驗(yàn)證a_n與2013的大小關(guān)系，一直到n₈+2-m=2013，進(jìn)而求出m的值，代入對(duì)應(yīng)的式子求出n的值．

解答：解：（Ⅰ）令n=1代入an+1=

an-n，an＞n an+n，an≤n

得，a₂=a₁+1=2，
令n=2代入得a₃=a₂+2=4；令n=3代入得a₄=a₃-3=1，
令n=4代入得a₅=a₄+4=5；
∴a₁=1，a₂=2，a₃=4，a₄=1，a₅=5；
（Ⅱ）由（Ⅰ）可知n₁=1，n₂=4，n₃=13，…，
猜想使ank=1的下標(biāo)n_k滿足如下遞推關(guān)系：n_k+1=3n_k+1，k=1，2，3，…．
對(duì)k歸納：k=1，2時(shí)已成立，設(shè)已有ank=1，則由（Ⅰ）歸納可得，
ank+1=nk+1，ank+2=2nk+2，ank+3=nk，ank+4=2nk+3，…．
歸納易得：ank+2m-1=nk+2-m，m=1，2，…，nk+1，ank+2m=2nk+1+m，m=1，2，…，nk，
故當(dāng)m=n_k+1時(shí)，a3nk+1=nk+2-(nk+1)=1=ank+1．
因此n_k+1=3n_k+1，（k=1，2，3，…）成立．
（Ⅲ）由（Ⅱ）可知，n_k+1=3n_k+1，則2n_k+1=2（3n_k+1），
即2n_k+1+1=3（2n_k+1），記2n_k+1=x_k，
則x_k+1=3x_k，x₁=3，故xk=3k，因此nk=

3k-1

2

，k=1，2，3，…，
由n_k+1=3n_k+1，k=1，2，3，…可知，
當(dāng)n≤3n_k=n_k+1-1時(shí)，a_n≤3n_k+1=n_k+1．
因此，當(dāng)n＜n₇時(shí)，a_n≤n₇=

37-1

2

=1093；
而當(dāng)n₇≤n＜n₈時(shí)，要么有a_n≤1094，要么有a_n≥2×1094，即a_n取不到2013，
進(jìn)而考慮n₈≤n＜n₉的情況，
由（Ⅱ）得，ank+2m-1=nk+2-m，m=1，2，…，nk+1，
則n₈+2-m=2013，解得m=1269，解得n₈+2m-1=5817
故a5817=an8+2m-1=n8+2-m=2013．
故使得a_n=2013的最小n為5817．

點(diǎn)評(píng)：本題考查了利用數(shù)列的地推公式求數(shù)列中的項(xiàng)，再由歸納法得到有關(guān)項(xiàng)和項(xiàng)數(shù)之間的關(guān)系式，再通過賦值構(gòu)造新的等比數(shù)列，考查了學(xué)生靈活應(yīng)用能力和較強(qiáng)邏輯思維能力，難度很大．