Question

（本题满分10分）在数列{a_n}，{b_n}中，a₁＝2，b₁＝4，且a_n，b_n，a_n＋1成等差数列，b_n，a_n＋1，b_n＋1成等比数列(n∈N^*)．求a₂，a₃，a₄及b₂，b₃，b₄，由此猜测{a_n}，{b_n}的通项公式，并证明你的结论．

Answer

a2＝6，b2＝9，a3＝12，b3＝16，a4＝20，b4＝25.证明见解析.

猜测an＝n(n＋1)，bn＝(n＋1)2，n∈N*.

【解析】主要考查了数列的通项公式和数学归纳法的运用。

由条件得2bn＝an＋an＋1，＝bnbn＋1，

由此可得a2＝6，b2＝9，a3＝12，b3＝16，a4＝20，b4＝25.

猜测an＝n(n＋1)，bn＝(n＋1)2，n∈N*.

用数学归纳法证明：

①当n＝1时，由已知a1＝2，b1＝4可得结论成立．

②假设当n＝k(k≥2且k∈N*)时，结论成立，即

ak＝k(k＋1)，bk＝(k＋1)2，

那么当n＝k＋1时，

ak＋1＝2bk－ak＝2(k＋1)2－k(k＋1)＝(k＋1)(k＋2)，

bk＋1＝＝＝(k＋2)2.

【解析】
由条件得2bn＝an＋an＋1，＝bnbn＋1，

由此可得a2＝6，b2＝9，a3＝12，b3＝16，a4＝20，b4＝25.

猜测an＝n(n＋1)，bn＝(n＋1)2，n∈N*. 4分

用数学归纳法证明：

①当n＝1时，由已知a1＝2，b1＝4可得结论成立．

②假设当n＝k(k≥2且k∈N*)时，结论成立，即

ak＝k(k＋1)，bk＝(k＋1)2，

那么当n＝k＋1时，

ak＋1＝2bk－ak＝2(k＋1)2－k(k＋1)＝(k＋1)(k＋2)，

bk＋1＝＝＝(k＋2)2.

所以当n＝k＋1时，结论也成立．

由①②可知，an＝n(n＋1)，bn＝(n＋1)2对一切n∈N*都成立． 10分