Question

已知数列{a_n}中，a₂=a+2（a为常数），S_n是{a_n}的前n项和，且S_n是na_n与na的等差中项．
（1）求a₁，a₃；
（2）猜想a_n的表达式，并用数学归纳法加以证明．

Answer

本题考查的知识点是归纳推理和数学归纳法．（1）由Sn是nan与na的等差中项．我们可能得到Sn、nan与na的关系式，从n=1依次代入整数值，再结合a2=a+2（a为常数），不难给出a1，a3；（2）由a1，a2，a3的值与n的关系，我们不难归纳推理出数列的通项公式，观察到它们是与自然数集相关的性质，故可采用数学归纳法来证明．
【解析】
（1）由已知得，
当n=1时，
S1=a1则2a1=a1+a，
得a1=a．
当n=3时，S3=a1+a2+a3
则2（a1+a2+a3）=3（a3+a）
∴a3=a+4
（2）由a1=a、a2=a+2、a3=a+4，
猜想：an=a+2（n-1）
证明：
①当n=1时，
左边=a1=a，
右边=a+2（1-1）=a，
则当n=1时，等式成立，
当n=2时，
左边=a2=a+2=右边，
故当n=2时，等式成立．
②假设n=K时，等式成立，
即aK=a+2（K-1）则当n=K+1时，
aK+1=SK+1-SK=
∴（K-1）aK+1=kak-a
即aK+1=ak-
将aK=a+2（K-1）代入得
aK+1=a+2[（k+1）-1]，
∴当n=K+1时，等式也成立．由①②可知，对任何正整数n，
等式an=a+2（n-1）都成立．