Question

如图是一个三角形数阵．从第二行起每一个数都等于它肩上两个数的和，第k行的第一个数为a_k（1≤k≤n，n≥2，k、n∈N^*）．
（Ⅰ）写出a_k与a_k-1的递推关系，并求a_n；
（Ⅱ）求第k行所有数的和T_k；
（Ⅲ）求数阵中所有数的和S_n=T₁+T₂+…+T_n；并证明：当n≥2时，S_n≥2a_n．

Answer 1

【答案】分析：（Ⅰ） 通过前几项归纳可得：a_k=2a_k-1+2^k-2（k≥2，且k∈N^*），从而数列是以为首项，以为公差的等差数列，可求出a_n；
（Ⅱ） 由数阵的排布规律可知，每行的数（倒数两行另行考虑）都成等差数列，且公差依次为：1，2，2²，…，2^k-1，…第k行的首项为a_k，项数为n+1-k，公差为2^k-1
可求出T_n；   
（Ⅲ）先求出S_n和a_n，然后利用作差法判定S_n-2a_n的符号，从而得到结论．
解答：解：（Ⅰ） 由题意得a₁=1，a₂=3=2a₁+1，a₃=8=2a₂+2，a₄=20=2a₃+2²，a₅=48=2a₄+2³，
由以上归纳可得：a_k=2a_k-1+2^k-2（k≥2，且k∈N^*），（2分）
∴，
∴数列是以为首项，以为公差的等差数列，
∴，∴a_n=（n+1）•2^n-2（n∈N^*）．                （4分）
（Ⅱ） 由数阵的排布规律可知，每行的数（倒数两行另行考虑）都成等差数列，
且公差依次为：1，2，2²，…，2^k-1，…
第k行的首项为a_k，项数为n+1-k，公差为2^k-1
∴
=
=（n+1-k）•2^k-2[（k+1）+（n-k）]=（n+1-k）（n+1）•2^k-2（7分）
当k=n时，T_n=a_n=（n+1）•2^n-2符合上式；
当k=n-1时，由排布规律知，T_n-1=T_n=a_n=（n+1）•2^n-2也符合上式；
∴T_k=（n+1-k）（n+1）•2^k-2（1≤k≤n；k，n∈N^*）．                    （8分）
（Ⅲ）=
令（1）
2R_n=1•2+2•2²+3•2³+…+（n-1）•2^n-1+n•2ⁿ（2）
（1）-（2）得-R_n=1+2+2²+…+2^n-1-n•2ⁿ=2ⁿ-1-n•2ⁿ
∴R_n=（n-1）2ⁿ+1
∴（n≥2，n∈N^*）（12分）
又a_n=（n+1）•2^n-2
∴当n≥2时，=
又2ⁿ=（1+1）ⁿ=C_n+C_n¹+…+C_nⁿ≥1+n+1=n+2（n≥2）
∴2ⁿ-n-2≥0（当且仅当n=2时取等号）．
∴当n≥2时，S_n≥2a_n．                                               （14分）
点评：本题主要考查了数列的通项公式，以及数列的递推关系和数列的求和方法同时考查了利用作差法判定大小关系，是一道综合题，有一定的难度．