12.设求证.docVIP

12．设求证： 分析：关键仍是“”的推证。假设成立, 则有，但是，这明显与所证的结论相抵触，是题目错了吗？决非!真是让人茫然不解，如何走出困境呢？倘若能想到做个“铺垫”兴许路就能走下去。设想：由，可否先证出呢？这不能不说是种奇妙的想法。 证明：（1）当时，，不等式成立。 假设当时，不等式成立，即. 则时， . 由（1），（2）可知对任意有. 评注：用“数归法”证明不等式，有时需先做“铺垫”以增加“缓冲”，方能达到“软着陆”。 也就是采用了“欲进先退”的战术。倘若不能找到这个“铺垫”，那只有“误入池塘深处，沉醉不知归路”，放弃？不想！只有“争渡！争渡！”，才能“惊起一滩鸥鹭”。 稍加分析本题还有如下证法： 解过之后，你就会为出现的奇迹而惊叹不已，仿佛进入梦境一般，这就是数学的魅力。 13.（本题12分）若不等式对一切正自然数n都成立，求自然数a的最大值，并数学归纳法证明你的结论. 证明：n 1时，，即，所以a 13，而a∈N，所以取a的最大值为12， 　　下面用数学归纳法证明： 1 n 1时，已证。 2 假设当n k时，有：， 　　则当n k+1时，有 所以①②知对一切都有：。 所以，a的最大值为12 14.平均不等式 设是n个正实数，记（调和平均）、（几何平均）、（算术平均）、（平方平均） 则 15.琴生不等式 定义：设f x 是定义在数集D（上的函数，如果对于任意的，有（*）其中（），则称f x 是D上的下（上）凸函数。如果不等式（*）当且仅当时取等号，则分别称为严格下凸函数与严格上凸函数。 琴生不等式：设 f x 是区间D上的严格下凸函数，则对于任意，有等号成立，若f x 是严格上凸函数，则上述不等式反向。 16.已知为两两各不相等的正整数，求证：对任意正整数n下列不等式成立：。 （） 17、设x为正数，[x]表示x的整数部分。证明 例3、令，对，设是整数且有 证明：对所有是奇数。 18、设非负数列满足条件 求证：对任意均有。 （） 19、给定，递归定义如下：，证明：对任意 20、设，满足 （a） b , 证明 （）