Question

數(shù)列{a_n}滿足a₁=2，對(duì)于任意的n∈N^*都有a_n＞0,且(n+1)a_n²+a_n·a_n+1－na_n+1²=0，又知數(shù)列{b_n}的通項(xiàng)為b_n=2^n－1+1. 
(1)求數(shù)列{a_n}的通項(xiàng)a_n及它的前n項(xiàng)和S_n；
(2)求數(shù)列{b_n}的前n項(xiàng)和T_n；
(3)猜想S_n與T_n的大小關(guān)系，并說明理由.

Answer 1

(1) S_n=n²+n，(2) T_n=2ⁿ+n－1 (3)猜想當(dāng)n≥5時(shí)，T_n＞S_n，即2ⁿ＞n²+1

 (1）可解得，從而a_n=2n，有S_n=n²+n，
(2)T_n=2ⁿ+n－1.
(3)T_n－S_n=2ⁿ－n²－1，驗(yàn)證可知，n=1時(shí)，T₁=S₁，n=2時(shí)T₂＜S₂；n=3時(shí)，T₃＜S₃;n=4時(shí)，T₄＜S₄；n=5時(shí)，T₅＞S₅；n=6時(shí)T₆＞S₆
猜想當(dāng)n≥5時(shí)，T_n＞S_n，即2ⁿ＞n²+1
可用數(shù)學(xué)歸納法證明(略）.