Pedoe不等式与Oppenheim不等式的推广.pdf

维普资讯 一 一 3一 S7 (ECo。+oo))的 — — 一 ‘ fCx,)=旦 (一o。， ． 由于 =，()和 是增根． = ／ ()互为反函数。 易知 ／(x1)= 2≠ l， ／(xj)= I 以上分析 对 =， () ≠ 2，，({)= {，正、反函数图象有三个 也是正确 的． 综上所述，求正、反 交点，其中交点(二 ， ) 函数图象的 交 点，判 定 图 四 在直线 = 上，交点 (1，2)和 (2，1) 正，反函数图象无交点或正、反函数图象重 不 在直线 = 上． 台，只要讨论方程 ／C／()]= 的实根就可 解方程 = ： 丽 +7 不等价于 以了．当方程 ／E／(x)]= 是用 初 等方法 解方程 = ： ． 可解的代数方程时，这是一种可靠的方法。 如图四，图中虚线所示曲线是 反 函数 (例题从略) Pedoe不等式与Oppenheim不等式的推广 隰 申 一 平 (四川省西昌县 ㈨ 本文约定l△ IB ·C ·(i=1，2，…， 文给出了此两不等式的推广，并证明了两推 0 )的三边分 Ⅱ为0l，6l，Cl，面积为A ·． 广式的等价性． 1943年，D．Pedoe证明了不等式1 作为预备知识，我们需要引进著明的柯 0{(6；+ci一0；)+6{(C；+0i一6i) 西不等式。 +c}(0i+6i—Ci)≥16△ A2 (1) 引理：对任意实 数 ·， ．(f=l，2。 等号当且仅当 △ BtCt一△AtBiCt时成 …，n)有 立 ． (∑ })(∑ })≥ (∑ I ·) (3) 1963年，A．Oppenheim建立 了 不 等 (这里的求和是对f=l，2，…， 进行地。 式t以 以下若不加特别说明，均表示同一种意思)等 ( )，(鳇 )，( {) 号当且仅当} }～一 时成立· 为三边可 以组成一个三角形，若 以△表其面 该不等式的证法是大家所熟知的，这里 积。则 就不再介绍了，下面利用它证明 (2)的推 △ ≥士 (△ l+ ／x2) (2) 广 l 等号当且仅当△ zBtC 一AA B Cl时成 定理l以(告∑a{)，(丢∑6{)壬， 立 ． 1983年，中国科技大学 的彭家贵，常庚 (∑c})士 (4) 哲两教授证明了这两不等式是等价的 [“．本 为三边可以组成一个三角形，若以△表其面 ， 维普资讯 税，皿j『△≥告E△ ㈩5) ≥‘c(EE2z