Question

设数列{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表示）．

Answer 1

（1）由2Sn=

a

2n

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

a

2n-1

+(n-1)②
①-②，得2an=

a

2n

-

a

2n-1

+1，即

a

2n

=2an+

a

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时，

a

2k+1

=2ak+1+

a

2k

-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

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