2017-2018学年高中数学 第四讲 用数学归纳法证明不等式 二 用数学归纳法证明不等式举例学案（含解析）新人教A版选修4-5.docVIP

二 数学归纳法证明不等式举例 1．贝努利不等式 如果x是实数，且x－1，x≠0，n为大于1的自然数，那么有(1＋x)n1＋nx. 2．贝努利不等式的推广 当指数n推广到任意实数α时， (1)若0α1时，则(1＋x)α≤1＋αx(x－1)； (2)若α1或α0时，则(1＋x)α≥1＋αx(x－1)． 3．利用数学归纳法证明不等式 在不等关系的证明中，方法多种多样，其中数学归纳法是常用的方法之一．在运用数学归纳法证明不等式时，难点是由n＝k时命题成立推出n＝k＋1时命题成立这一步．为完成这步证明，不仅要正确使用归纳假设，还要与其他方法，如比较法、分析法、综合法、放缩法等结合进行． 利用数学归纳法证明不等式 　证明：2n＋2n2，nN*. 　 ―→―→ 　当n＝1时，左边＝21＋2＝4， 右边＝1，所以左边右边； 当n＝2时，左边＝22＋2＝6，右边＝22＝4， 所以左边右边； 当n＝3时，左边＝23＋2＝10，右边＝32＝9， 所以左边右边． 因此当n＝1,2,3时，不等式成立． 假设当n＝k(k≥3且kN*)时，不等式成立． 当n＝k＋1时， 2k＋1＋2 ＝2·2k＋2 ＝2(2k＋2)－22k2－2 ＝k2＋2k＋1＋k2－2k－3 ＝(k2＋2k＋1)＋(k＋1)(k－3)(因k≥3，则k－3≥0，k＋10) ≥k2＋2k＋1＝(k＋1)2. 所以2k＋1＋2(k＋1)2. 故当n＝k＋1时，原不等式也成立． 根据，原不等式对于任何nN都成立． 利用数学归纳法证明数列型不等式的关键是由n＝k到n＝k＋1的变形．为满足题目的要求，常常要采用“凑”的手段，一是凑出假设的形式，便于用假设；二是凑出结论的形式，再证明． 1．用数学归纳法证明：＋＋…＋(n≥2，nN*)． 证明：当n＝2时，左边＝＋＋＋，不等式成立． 假设当n＝k(k≥2，kN*)时，不等式成立， 即＋＋…＋. 当n＝k＋1时， ＋＋…＋＋＋＋＋＋＋－＋＝. 当n＝k＋1时，不等式也成立． 由知，原不等式对一切n≥2，nN*均成立． 2．用数学归纳法证明：1＋＋＋…＋2－(n≥2，nN*)． 证明：当n＝2时，1＋＝2－＝，不等式成立． 假设当n＝k(k≥2，kN*)时不等式成立，即1＋＋＋…＋2－. 当n＝k＋1时，1＋＋＋…＋＋2－＋2－＋＝2－＋－＝2－，不等式成立． 由知原不等式在n≥2，nN*时均成立． 3．设Pn＝(1＋x)n，Qn＝1＋nx＋x2，nN*，x(－1，＋∞)，试比较Pn与Qn的大小，并加以证明． 解：当n＝1,2时，Pn＝Qn. 当n≥3时(以下再对x进行分类)． 若x(0，＋∞)，显然有PnQn. 若x＝0，则Pn＝Qn. 若x(－1,0)， 则P3－Q3＝x30，所以P3Q3. P4－Q4＝4x3＋x4＝x3(4＋x)0，所以P4Q4. 假设PkQk(k≥3)， 则Pk＋1＝(1＋x)Pk(1＋x)Qk＝Qk＋xQk ＝1＋kx＋＋x＋kx2＋ ＝1＋(k＋1)x＋x2＋x3 ＝Qk＋1＋x3Qk＋1， 即当n＝k＋1时，不等式成立． 所以当n≥3，且x(－1,0)时，PnQn. 归纳—猜想—证明 　已知数列{an}满足a1＝，an＋1·(1＋an)＝1. (1)试计算a2，a3，a4，a5的值； (2)猜想|an＋1－an|与×n－1(其中nN*)的大小关系，并证明你的猜想． 　先根据数列的首项和递推公式求出a2，a3，a4，a5的值，通过计算猜想不等式，再用数学归纳法给出证明． 　(1)由已知计算得a2＝，a3＝，a4＝，a5＝. (2)由(1)得|a2－a1|＝，|a3－a2|＝，|a4－a3|＝，|a5－a4|＝. 而n分别取1,2,3,4时，×n－1分别为，，，， 故猜想|an＋1－an|≤×n－1. 下面用数学归纳法证明以上猜想： 当n＝1时，已证． 假设n＝k时(k≥1，kN*)， |ak＋1－ak|≤×k－1. 由a1＝，an＋1＝，得an0. 所以0an＋1＝1，且0a1＝1. 所以0an1. 所以an＋1＝1，且a1＝1. 所以an1. 则当n＝k＋1时， 因为(1＋ak＋1)(1＋ak)＝(1＋ak) ＝2＋ak2＋＝， 所以|ak＋2－ak＋1|＝ ＝≤ ×k－1×＝×k. 所以当n＝k＋1时，结论成立． 由知，以上猜想成立． 利用数学归纳法解决探索型不等式的思路是：观察—归纳—猜想—证明．即先通过观察部分项的特点进行归纳，判断并猜想出一般结论，然后用数学归纳法进行证明． 4．若不等式＋＋＋…＋对一切正整数n都成立，求正整数a的最大值，并证明你的结论． 解：取n＝1，＋＋＝.令a26，而aN*， 取a＝25.下面用数学归纳法证明：＋＋…＋. n＝1时，已证结论正确． 假设n＝k(kN*)时，＋＋…＋，则当n