Question

已知各項(xiàng)均為正數(shù)的數(shù)列{a_n}前n項(xiàng)和為S_n，(p－1)S_n＝p²－a_n，n∈N^*，p＞0且p≠1，數(shù)列{b_n}滿足b_n＝2log_pa_n．

(Ⅰ)若p＝，設(shè)數(shù)列{}的前n項(xiàng)和為T_n，求證：0＜T_n≤4；

(Ⅱ)是否存在自然數(shù)M，使得當(dāng)n＞M時(shí)，a_n＞1恒成立？若存在，求出相應(yīng)的M；若不存在，請(qǐng)說明理由．

Answer 1

答案：
解析：

(Ⅰ)解：由(p－1)Sn＝p2－an(n∈N*)① 　　由(p－1)Sn－1＝p2－an－1② 　�、伲�②得(n≥2) 　　∵an＞0(n∈N*) 　　又(p－1)S1＝p2－a1，∴a1＝p 　　{an}是以p為首項(xiàng)，為公比的等比數(shù)列 　　an＝p 　　bn＝2logpan＝2logpp2－n 　　∴bn＝4－2n　4分 　　證明：由條件p＝得an＝2n－2 　　∴Tn＝① 　　② 　　①－②得 　　 　�。�4－2× 　�。�4－2× 　　∴Tn＝　8分 　　Tn－Tn－1＝ 　　當(dāng)n＞2時(shí)，Tn－Tn－1＜0 　　所以，當(dāng)n＞2時(shí)，0＜Tn≤T3＝3 　　又T1＝T2＝4，∴0＜Tn≤4．　10分 　　(Ⅱ)解：若要使an＞1恒成立，則需分p＞1和0＜p＜1兩種情況討論 　　當(dāng)p＞1時(shí)，2－n＞0，n＜2 　　當(dāng)0＜p＜1時(shí)，2－n＜0，n＞2 　　∴當(dāng)0＜p＜1時(shí)，存在M＝2 　　當(dāng)n＞M時(shí)，an＞1恒成立．　14分