Question

已知數(shù)列{a_n}的相鄰兩項(xiàng)a_n，a_n＋1是關(guān)于x的方程x²－2ⁿx＋b_n＝0的兩根，且a₁＝1.
(1)求證：數(shù)列是等比數(shù)列；
(2)求數(shù)列{a_n}的前n項(xiàng)和S_n；
(3)設(shè)函數(shù)f(n)＝b_n－t·S_n(n∈N^*)，若f(n)＞0對(duì)任意的n∈N^*都成立，求t的取值范圍．

Answer 1

（1）見(jiàn)解析（2）（3）t＜1

(1)∵a_n＋a_n＋1＝2ⁿ，∴a_n＋1－·2^n＋1＝－，
＝－1，∴是等比數(shù)列，
又a₁－＝，q＝－1，∴a_n＝ [2ⁿ－(－1)ⁿ]．
(2)由(1)得S_n＝a₁＋a₂＋…＋a_n
＝ (2＋2²＋…＋2ⁿ)－ [(－1)＋(－1)²＋…＋(－1)ⁿ]＝
＝
(3)∵b_n＝a_n·a_n＋1，
∴b_n＝[2ⁿ－(－1)ⁿ][2^n＋1－(－1)^n＋1]＝[2^2n＋1－(－2)ⁿ－1]，∴b_n－t·S_n＞0，
∴[2^2n＋1－(－2)ⁿ－1]－t·＞0，∴當(dāng)n為奇數(shù)時(shí)，
(2^2n＋1＋2ⁿ－1)－(2^n＋1－1)＞0，∴t＜ (2ⁿ＋1)對(duì)任意的n為奇數(shù)都成立，∴t＜1.
∴當(dāng)n為偶數(shù)時(shí)，
(2^2n＋1－2ⁿ－1)－(2^n＋1－2)＞0，
∴ (2^2n＋1－2ⁿ－1)－ (2ⁿ－1)＞0，
∴t＜ (2^n＋1＋1)對(duì)任意的n為偶數(shù)都成立，∴t＜.
綜上所述，t的取值范圍為t＜1