2017北大夏令营,day1,T2
题目
求一切正实数数列 { a k } \{a_k\} {ak}，满足 a k 2 = k a k + 1 + 1 a_k^2=ka_{k+1}+1 ak2=kak+1+1，使得存在无限个 k k k，令 a k < 2 k a_k<2^k ak<2k成立。
分析
首先，如果这个递推初始值稍微大一点，就可以忽略常数项，就会产生变成
a
2
k
a^{2^k}
a2k增长，如果初始值太小，就会直接到后面变成负数，所以很可能只有唯一一个解或者无解，不然只能有无限个解（不太可能）。
所以猜对初始值非常关键，那么符合题意的初始值可能成为本数列的为数不多的闭合解之一。因为我好久没做题了，所以费了点功夫，如果经常在做函数方程的同学，一下子可以看出闭合解可能是一次多项式，然后就可以猜到答案。再反证明初始值唯一就可以了，使用不等式放缩即可，因为这个递推式对初始值非常敏感，所以不难用不等式导出矛盾。
解答
容易知道
a
k
=
k
+
1
a_k=k+1
ak=k+1是一个符合条件的解，下证这是唯一解。
否则
a
1
≠
2
a_1\ne 2
a1=2，设
a
k
=
k
+
1
+
b
k
，
b
1
≠
0
a_k=k+1+b_k，b_1\ne 0
ak=k+1+bk，b1=0，归纳知
b
k
≠
0
b_k\ne 0
bk=0
代入有
(
k
+
1
+
b
k
)
2
=
1
+
k
(
k
+
2
+
b
k
+
1
)
(k+1+b_k)^2=1+k(k+2+b_{k+1})
(k+1+bk)2=1+k(k+2+bk+1)
即
b
k
+
1
b
k
=
b
k
k
+
2
+
2
k
{b_{k+1}\over b_k}={b_k\over k}+2+{2\over k}
bkbk+1=kbk+2+k2
若
a
1
<
2
a_1< 2
a1<2
则由
a
k
2
=
k
a
k
+
1
>
1
a_k^2=ka_k+1>1
ak2=kak+1>1知，
a
k
>
1
a_k>1
ak>1，即
−
k
<
b
k
-k<b_k
−k<bk
又由归纳法可知
a
k
<
k
+
1
a_k<k+1
ak<k+1，即
b
k
<
0
b_k<0
bk<0
故
b
k
+
1
b
k
=
b
k
k
+
2
+
2
k
>
1
+
2
k
{b_{k+1}\over b_k}={b_k\over k}+2+{2\over k}>1+{2\over k}
bkbk+1=kbk+2+k2>1+k2
即
b
k
+
1
b
1
>
k
+
2
k
k
+
1
k
−
1
.
.
.
3
1
=
(
k
+
2
)
(
k
+
1
)
2
{b_{k+1}\over b_1}>{k+2\over k}{k+1\over k-1}...{3\over 1}={(k+2)(k+1)\over 2}
b1bk+1>kk+2k−1k+1...13=2(k+2)(k+1)
即
0
<
a
k
+
1
=
k
+
2
+
b
k
+
1
<
(
k
+
2
)
(
1
+
k
+
1
2
b
1
)
0<a_{k+1}=k+2+b_{k+1}<(k+2)(1+{k+1\over 2}b_1)
0<ak+1=k+2+bk+1<(k+2)(1+2k+1b1)
当
k
>
−
2
b
1
−
1
k>-{2\over b_1}-1
k>−b12−1时，这个不等式不成立，矛盾。
若
a
1
＞
2
a_1＞ 2
a1＞2
由归纳法可知
a
k
＞
k
+
1
a_k＞k+1
ak＞k+1，即
b
k
＞
0
b_k＞0
bk＞0
故
b
k
+
1
b
k
=
b
k
k
+
2
+
2
k
>
2
（
1
+
1
k
）
{b_{k+1}\over b_k}={b_k\over k}+2+{2\over k}>2（1+{1\over k}）
bkbk+1=kbk+2+k2>2（1+k1）
即
b
k
+
1
b
1
>
2
k
(
k
+
1
)
{b_{k+1}\over b_1}>2^k(k+1)
b1bk+1>2k(k+1)
即
2
k
+
1
>
a
k
+
1
=
k
+
2
+
b
k
+
1
>
k
2
k
b
1
2^{k+1}>a_{k+1}=k+2+b_{k+1}>k2^kb_1
2k+1>ak+1=k+2+bk+1>k2kb1
当
k
>
2
b
1
k>{2\over b_1}
k>b12时，这个不等式不成立，与无限多项成立矛盾。
综上，
a
1
=
2
a_1=2
a1=2，归纳知
a
k
=
k
+
1
a_k=k+1
ak=k+1
2423
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
