Question

已知數(shù)列{a_n}的相鄰兩項(xiàng)a_n，a_n+1是關(guān)于x 的方程x²－2ⁿ x+ b_n=0 (n∈N^*)的兩根，且a₁=1.

(1)求數(shù)列{ a_n}和{b_n}的通項(xiàng)公式；

(2)設(shè)S_n是數(shù)列{a_n}的前n項(xiàng)的和，問(wèn)是否存在常數(shù)λ，使得b_n－λS_n>0對(duì)任意n∈N^*都成立，若存在，求出λ的取值范圍；若不存在，請(qǐng)說(shuō)明理由.

Answer 1

(1)證法1：∵a_n，a_n+1是關(guān)于x 的方程x²－2ⁿ x+ b_n=0 (n∈N^*)的兩根，

∴

由a_n+a_n+1=2ⁿ，得，故數(shù)列

是首項(xiàng)為，公比為－1的等比數(shù)列.

證法2：∵a_n，a_n+1是關(guān)于x 的方程x²－2ⁿ x+ b_n=0 (n∈N^*)的兩根，

∴

∵，

故數(shù)列是首項(xiàng)為，公比為－1的等比數(shù)列.

(2)解：由(1)得，即，

∴

∴S_n=a₁+ a₂+ a₃+…+ a_n=[(2+2²+2³+…+2ⁿ)－[(－1)+ (－1)²+…+(－1)ⁿ]

，

要使得b_n－λS_n>0對(duì)任意n∈N^*都成立，

即對(duì)任意n∈N*都成立.

①當(dāng)n為正奇數(shù)時(shí)，由(*)式得，

即，

∵2ⁿ⁺¹－1>0，∴對(duì)任意正奇數(shù)n都成立.

當(dāng)且僅當(dāng)n=1時(shí)，有最小值1，∴λ<1.

①當(dāng)n為正奇數(shù)時(shí)，由(*)式得，

即，

∵2ⁿ⁺¹－1>0，∴對(duì)任意正奇數(shù)n都成立.

當(dāng)且僅當(dāng)n=1時(shí)，有最小值1，∴λ<1.

②當(dāng)n為正偶數(shù)時(shí)，由(*)式得，

即，

∵2ⁿ－1>0，∴對(duì)任意正偶數(shù)n都成立.

當(dāng)且僅當(dāng)n=2時(shí)，有最小值1.5，∴λ<1.5.

綜上所述，存在常數(shù)λ，使得b_n－λS_n>0對(duì)任意n∈N^*都成立，λ的取值范圍是(－∞，1).