Question

设正数数列{a_n} 的前n项和为 S_n，且对任意的n∈N^*，S_n是a_n²和a_n的等差中项．
（1）求数列{a_n} 的通项公式；
（2）在集合M={m|m=2k，k∈Z，且1000≤k≤1500中，是否存在正整数m，使得不等式S_n-1005＞

an2

2

对一切满足n＞m的正整数n都成立？若存在，则这样的正整数m共有多少个？并求出满足条件的最小正整数m的值；若不存在，请说明理由．

Answer 1

（1）由已知，∵S_n是a_n²和a_n的等差中项，∴2S_n=a_n²+a_n，且a_n＞0．
当n=1时，2a₁=a₁²+a₁，解得a₁=1．
当n≥2时，有2S_n-1=a_n-1²+a_n-1．
于是2S_n-2S_n-1=a_n²-a_n-1²+a_n-a_n-1，即2a_n=a_n²-a_n-1²+a_n-a_n-1，
∴a_n²-a_n-1²=a_n+a_n-1，即（a_n+a_n-1）（a_n-a_n-1）=a_n+a_n-1．
∵a_n+a_n-1＞0，∴a_n-a_n-1=1（n≥2）．
∴数列{a_n}是首项为1，公差为1的等差数列，
∴a_n=n．
（2）∵a_n=n，∴S_n-1005＞

an2

2

，得

n(n+1)

2

-1005＞

n2

2

，∴

n

2

＞1005，∴n＞2010．
由题设，M={2010，2012，…，2998}，
因为m∈M，所以m=2010，2012，…，2998均满足条件，且这些数组成首项为2010，公差为2的等差数列．
设这个等差数列共有k项，则2010+2（k-1）=2998，
解得k=495．
故集合M中满足条件的正整数m共有495个，满足条件的最小正整数m的值为2010．