第四讲 用数学归纳法证明不等式不完全归纳的作用在于发现规律,探求结论,但结论是否为真有待证明,因而数学中我们常用归纳——猜想——证明的方法来解决与正整数有关的归纳型和存在型问题. 设数列{an}满足 an+1=a-nan+1,n=1,2,3,…(1)当 a1=2 时,求 a2,a3,a4,并由此猜想出数列{an}的一个通项公式.(2)当 a1≥3 时,证明对所有的 n≥1,有① an≥n+2;②++…+≤
[解] (1)由 a1=2,得 a2=a-a1+1=3;由 a2=3,得 a3=a-2a2+1=4;由 a3=4,得 a4=a-3a3+1=5
由此猜想:an=n+1(n∈N+).(2)① 用数学归纳法证明:当 n=1 时,a1≥3=1+2,不等式成立;假设当 n=k 时,不等式成立,即 ak≥k+2,那么当 n=k+1 时,ak+1=a-kak+1=ak(ak-k)+1≥(k+2)(k+2-k)+1=2(k+2)+1≥k+3=(k+1)+2,也就是说,当 n=k+1 时,ak+1≥(k+1)+2
综上可得,对于所有 n≥1,有 an≥n+2
② 由 an+1=an(an-n)+1 及①,对 k≥2,有ak=ak-1(ak-1-k+1)+1≥ak-1(k-1+2-k+1)+1=2ak-1+1≥2·(2ak-2+1)+1=22ak-2+2+1≥23ak-3+22+2+1≥…∴ak≥2k-1a1+2k-2+…+2+1=2k-1a1+2k-1-1=2k-1(a1+1)-1,于是 1+ak≥2k-1(a1+1),≤·,k≥2
∴++…+≤+==·