设数列{an}的前n项和为Sn，并且满足an2，Sn，n成等差数列，an＞0（n

问题解答题

设数列{a_n}的前n项和为S_n，并且满足a_n²，S_n，n成等差数列，a_n＞0（n∈N^*）．

（1）写出a_n与a_n-1（n≥2）的关系并求a₁，a₂，a₃；

（2）猜想{a_n}的通项公式，并用数学归纳法加以证明；

（3）设x＞0，y＞0，且x+y=2，求（a_nx+2）²+（a_ny+2）²的最小值（用n表示）．

答案

（1）由2Sn=

+n①

可知，当n≥2时，2Sn-1=

2n-1

+(n-1)②

①-②，得2an=

2n-1

+1，即

=2an+

2n-1

-1．（2分）

∵a_n＞0分别令n=1，2，3，得a₁=1，a₂=2，a₃=3．（4分）

（2）猜想：a_n=n，

1）当n=2时，结论显然成立．

2）假设当n=k（k≥2）时，a_k=k．

那么当n=k+1时，

2k+1

=2ak+1+

-1=2ak+1+k²-1⇒[a_k+1-（k+1）][a_k+1+（k-1）]=0，

∵a_k+1＞0，k≥2，

∴a_k+1+（k-1）＞0，

∴a_k+1=k+1．

这就是说，当n=k+1时也成立，∴a_n=n（n≥2）．显然n=1时，也适合．

故对于n∈N^*，均有a_n=n（9分）

（3）∵x＞0，y＞0，且x+y=2，a_n=n，

∴(anx+2)2+(any+2)2=(nx+2)2+(ny+2)2≥

(nx+2+ny+2)2

=2(n+2)2，

∴(anx+2)2+(any+2)2的最小值为2（n+2）²．（13分）