Question

(本小題滿(mǎn)分16分)記公差d≠0的等差數(shù)列{a_n}的前n項(xiàng)和為S_n，已知a₁＝2＋，S₃＝12＋．
（1）求數(shù)列{a_n}的通項(xiàng)公式a_n及前n項(xiàng)和S_n；
（2）記b_n＝a_n－，若自然數(shù)n₁，n₂，…，n_k，…滿(mǎn)足1≤n₁＜n₂＜…＜n_k＜…，并且，，…，，…成等比數(shù)列，其中n₁＝1，n₂＝3，求n_k（用k表示）；
（3）試問(wèn)：在數(shù)列{a_n}中是否存在三項(xiàng)a_r，a_s，a_t(r＜s＜t，r，s，t∈N*)恰好成等比數(shù)列？若存在，求出此三項(xiàng)；若不存在，請(qǐng)說(shuō)明理由．

Answer 1

（1）因?yàn)閍₁＝2＋，S₃＝3a₁＋3d＝12＋，所以d＝2．
所以a_n＝a₁＋(n－1)d＝2n＋， S_n＝＝n²＋(＋1)n．
（2）因?yàn)閎_n＝a_n－＝2n，所以＝2n_k．又因?yàn)閿?shù)列{}的首項(xiàng)＝，
公比，所以．所以2n_k，即n_k．
（3）假設(shè)存在三項(xiàng)a_r，a_s，a_t成等比數(shù)列，則，
即有，整理得．
若，則，因?yàn)閞，s，t∈N^*，所以是有理數(shù)，
這與為無(wú)理數(shù)矛盾；
若，則，從而可得r＝s＝t，這與r＜s＜t矛盾．
綜上可知，不存在滿(mǎn)足題意的三項(xiàng)a_r，a_s，a_t．

略