Question

11．已知數(shù)列{a_n}滿足a_n+1=$\frac{（n+2）{a}_{n}^{2}-{na}_{n}+n+1}{{a}_{n}^{2}+1}$，（n∈N₊），且a₁=1．
（1）求a₂，a₃，a₄的值，猜測(cè)a_n，并用數(shù)學(xué)歸納法證明；
（2）比較3^a_n與（n-1）2ⁿ+2n²的大小，并給出證明過(guò)程．

Answer 1

分析 （1）直接由數(shù)列遞推式結(jié)合a₁=1求得a₂，a₃，a₄的值，猜測(cè)a_n，然后利用數(shù)學(xué)歸納法證明；
（2）比較3^a_n與（n-1）2ⁿ+2n²的大小，即比較3ⁿ與（n-1）2ⁿ+2n²的大小，通過(guò)比較n=1，2，3，4，5時(shí)，兩個(gè)代數(shù)式的大小，猜想結(jié)論，利用數(shù)學(xué)歸納法證明即可．

解答 解：（1）由a_n+1=$\frac{（n+2）{a}_{n}^{2}-{na}_{n}+n+1}{{a}_{n}^{2}+1}$，且a₁=1，
得${a}_{2}=\frac{3×{1}^{2}-1×1+2}{2}=2$，
${a}_{3}=\frac{4×{2}^{2}-2×2+3}{5}=3$，
${a}_{4}=\frac{5×{3}^{2}-3×3+4}{10}=4$．
由上猜測(cè)a_n=n．
下面用歸納法證明：
當(dāng)n=1時(shí)，a₁=1，結(jié)論成立；
假設(shè)當(dāng)n=k時(shí)結(jié)論成立，即a_k=k，
則當(dāng)n=k+1時(shí)，${a}_{k+1}=\frac{（k+2）•{{a}_{k}}^{2}-k{a}_{k}+k+1}{{{a}_{k}}^{2}+1}$=$\frac{（k+2）•{k}^{2}-{k}^{2}+k+1}{{k}^{2}+1}$
=$\frac{{k}^{3}+{k}^{2}+k+1}{{k}^{2}+1}=\frac{k（{k}^{2}+1）+{k}^{2}+1}{{k}^{2}+1}=\frac{（k+1）（{k}^{2}+1）}{{k}^{2}+1}=k+1$．
∴當(dāng)n=k+1時(shí)，結(jié)論成立．
綜上，a_n=n；
（2）3^a_n =3ⁿ，
當(dāng)n=1時(shí)，3ⁿ＞（n-1）2ⁿ+2n²；
當(dāng)n=2，3時(shí)，3ⁿ＜（n-1）2ⁿ+2n²；
當(dāng)n=4，5時(shí)，3ⁿ＞（n-1）2ⁿ+2n²
猜想：當(dāng)n≥4時(shí)，3ⁿ＞（n-1）2ⁿ+2n²，
下面用數(shù)學(xué)歸納法證明：
由上述過(guò)程可知，n=4時(shí)結(jié)論成立，
假設(shè)當(dāng)n=k，（k≥4）時(shí)結(jié)論成立，即3^k＞（k-1）2^k+2k²，
兩邊同乘以3得：3^k+1＞3[（k-1）2^k+2k²]=k2^k+1+2（k+1）²+[（k-3）2^k+4k²-4k-2]．
而（k-3）2^k+4k²-4k-2=（k-3）2^k+4（k²-k-2）+6=（k-3）2^k+4（k-2）（k+1）+6＞0．
∴3^k+1＞（（k+1）-1）2^k+1+2（k+1）² ．
即n=k+1時(shí)結(jié)論也成立，
∴當(dāng)n≥4時(shí)，3ⁿ＞（n-1）2ⁿ+2n²成立．

點(diǎn)評(píng) 本題考查數(shù)列遞推式，考查了數(shù)列的函數(shù)特性，訓(xùn)練了利用數(shù)學(xué)歸納法證明與自然數(shù)有關(guān)的命題，是中檔題．