Question

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

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

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

Answer 1

（Ⅰ）令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的下標n_k滿足如下遞推關系：n_k+1=3n_k+1，k=1，2，3，…．
對k歸納：k=1，2時已成立，設已有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，
故當m=n_k+1時，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，…可知，
當n≤3n_k=n_k+1-1時，a_n≤3n_k+1=n_k+1．
因此，當n＜n₇時，a_n≤n₇=

37-1

2

=1093；
而當n₇≤n＜n₈時，要么有a_n≤1094，要么有a_n≥2×1094，即a_n取不到2013，
進而考慮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．