一类不等式的研讨(doc).docVIP

一不等式的研讨 Discussions about ainequality 作者：天津市耀华中学 陶然、于朔 指导教师：卢翔 Author: Tao Ran, Yu Shuo Tianjin Yao Hua High SchoolTutor: Lu Xiang 论文摘要 文献[1] 证明了如下的一个不等式： 已知则： Abstract Reference[1] proves the following inequality: If , then: This dissertation has made an in-depth and comprehensive discussion on the above mentioned inequality. On one hand, we’ve extended the four-variables to multi-variables; on the other hand, we’ve extended the quadratic inequality to high-power ones. Also, through using a series of mathematic methods, we’ve proved the extended proposition whether true or not and came up with three theorems and one truth table. Meanwhile, we’ve brought forward a worth-thing problem at the end of the dissertation. Keyword: inequality multi-variables high-power convexity of function replacement based on classification 第部分——对于原式一般情况下的研究 考虑如下的：命题 设，，且，则 (1) 为方便起见，下记命题1为，当时若成立，则记为，反之记为。由上述文[1]的结果知。特别地，取若干，即知当时，有。故以下可设。事实上，若有某个使，则对任意有，反之若，则当时，。又记，则(1)式可等价于 (2) 现给出： 定理1：的充要条件是。 据上述知定理1等价于。下面给出证明过程。我们需要对的性质进行讨论与研究。 其一阶导，在上是恒小于零的，说明在上是单调递减的其二阶导为，可发现在上是凸函数，从而得出 在上是一个凸函数。 现给出下面的一些引理： 引理1： ，，直接计算可得 引理2：设 令 ，易知 记上式左边为，则 而 故 □。 引理3： 设,,，则。 设，，则由设知，()。记，则。 时，函数 故 故(3)式成立 利用(3)式要证 只需证：，且。整理化简可得： ，即 ， ，则 ， 可见。 显然，，而，□。引理4： 设，，， 则。设，，则 由设知，()。记，则。令，则在上大于零，在上也大于零，故为在上的单调递增的凸函数。而。 又，故 4)式成立。 由 结合(4)式得 为证引理只需证 (5) 当时，易知(5)式成立，故下设 又，故 (6) 记 下证时，即可 由得 □ 引理5： 设，，， 则。设，，则 。由设知，()。记，则。令，则和均在上大于零，所以为在上的单调递增的凸函数。而且。 ，故(7)式成立。 由(7)式，要证 只需证：，整理化简，即 ， ，则 ， 可见。 显然，，而，。引理6： (8) (9) 将另一类大于1的元素，改记为 结论显见成立。又显见,若 而不超过1的数的个数增加了1个，经若干次这样的调整后仍是不增加的，10个数之和仍为10，而不超过1的元素个数，下记。记，并以。由的凸性质知仍是不增加的，于是对，而，故 由引理2至引理5的结论即可得到本引理的结论，综上由引理1和引理6可知定理1成立。 下面我们对定理1进行一下简单的推广。 定理2：设， (是一个正常数)，则有： 1).当时，2).当时，未必有且时的情况并证明结论成立即可。 令，则。取，（i=1,…10）。很明显，，且 。由定理1，及：，由，以及的单调递减性可知，，于是有。 2)仅对时给出证明即可： 取引理1中的，此时，。令，则，且，而，故。