混合算术──几何平均不等式的归纳证明

混合算术──几何平均不等式的归纳证明李鸿祥编译（上海铁道大学２００３３３）设ｘ１，ｘ２，…，ｘｎ是正实数，算术—几何平均不等式即是在［１］中猜想成立如下有趣的混合算术—几何平均不等式式中等号当且仅当ｘ１＝ｘ２＝…＝ｘｎ时成立．ＫｉｒａｎＫｅｄｌａｓａ...     

几何不等式的又一不同证明

几何不等式的又一不同证明吴爱军（江西广播电视学校３３００４６）［１］中称下述不等式为几何不等式：设ｐｉ＞０，ｘｉ＞０，（ｉ＝１，２，…，ｎ），ｎｉ＝１ｐｉ＝１，则有：ｎｉ＝１ｘｐｉｉ≤ｎｉ＝１ｐｉｘｉ式中的等号当且仅当ｘ１＝ｘ２＝…＝ｘｎ时成立...     

再谈一个不等式命题

再谈一个不等式命题沈文选（湖南师范大学数学系４１０００６）文［１］、［２］分别用数学归纳法、切比晓夫不等式证明了命题设ｘ１，ｘ２；…；∈Ｒ（ｎ≥２），ｍ，Ｐ∈Ｎ且奇偶性相同，则有等号当且仅当ｘ１＝ｘ２＝…＝ｎ时成立．实际上该命题也只不过是如下一个不等...     

积分算子权模不等式的权分解及其应用

设（Ｋｆ）（ｘ）：∫Ｒ￣ｎＫ（ｘ，ｙ）ｆ（ｙ）ｄｙ，本文给出了满足积分算子权模不等式的非负权函数ｕ（ｘ）和ｖ（ｘ）的一种分解结构，且该结构是使上不等式成立的充要条件，作为应用，由此给出了当时，使权模不等式成立的ｕ（ｘ）和ｖ（ｘ）的一些充分条件，其中的一种相当特殊情况便是文［１］中给出的结论。     

有理样条不可约解的行列式表示

１引言在文［１］中,对于剖分ａ＝ｘ０＜ｘ１＜…＜ｍｎ＝ｂ及给定的ｙ０,ｙ１,…,　…,Ｌ＋Ｍ－１,我们构造了有理样条Ｓ［Ｌ,Ｍ（ｘ）Ｑ［Ｌ,Ｍ］为次数不超过ｍ的多项式全体．在［１］中,已经讨论了Ｓ［Ｌ,Ｍ］（ｘ）的存在性,并指出：若问题（１）（２）（３）可解,则解唯一这里总假设问题（１）（２）（３）可解．２有理样条解不可约的充要条件由Ｓ［Ｌ,Ｍ］（ｘ）的依区间递推算法（见［１］）,我们只需讨论［ｘ０,ｘ１］上的情形．当［Ｘ０,ｘ１］时,将Ｓ［Ｌ,Ｍ］　（ｘ）,Ｐ［Ｌ,Ｍ］　（ｘ）和Ｑ［Ｌ,Ｍ］（…     

Garfunkel─Bankoff不等式的一个新证明

Ｇａｒｆｕｎｋｅｌ─Ｂａｎｋｏｆｆ不等式的一个新证明汤茂林（武汉商业服务学院４３００００）Ｇａｒｆｕｎｋｅｌ－Ｂａｎｋｏｆｆ不等式是：在西Ａ′Ｂ′Ｃ′中，等号当且仅当△Ａ′Ｂ′Ｃ′为正三角形时成立．关于①式的证明，文［１］，［２］，［３］，［４］都是...     

非负Ricci曲率Riemann流形上的Sobolev不等式及Sobolev嵌入定理

设Ｍ是具有非负Ｒｉｃｃｉ曲率的完备Ｒｉｅｍａｎｎ流形，本文证明Ｍ上Ｓｏｂｏｌｅｖ不等式‖ｆ‖ｑ≤Ｃｎ，ｐ，ｑ（１≤Ｐ，ｑ＜∞）对一切（Ｍ）成立的充要条件是对一切ｘ∈Ｍ，Ｖｘ（ｒ）＝Ｖｏｌ（Ｂｘ（ｒ））≥且，而Ｍ上较弱的Ｓｏｂｏｌｅｖ不等式‖ｆ‖ｑ≤Ｃｎ‖Ｆ‖ｐ）（１＜ｐ＜ｑ＜∞）对一切ｆ∈Ｈ（Ｍ）成立的充要条件是，且最后，证明了Ｍ上ｓｏｂｏｌｅｖ嵌入定理，如果，则；如果则成立．     

关于Klippert的一个猜测

本文证明文［２］中的猜测不成立设ｆ为区间［０，１］上实值函数，满足条件（ａ）ｆ在［０，１］上有界，（ｂ）ｆ在［０，１］上连续，（ｃ）ｆ（ｘ）不存在，试问是否存在？１９８２年Ｓ．Ｒｉｃｃｉ［１］给出Ｆ′＋（０）存在的例子：最近Ｊ．ｋｌｉｐｐｅｒｔ［２］给出Ｆ′＋（０）不存在的例子：Ｊ．ｋｌｉｐｐｅｒｔ提出如下猜测：如果ｆ满足（ａ）－（ｃ）并且ｆ的相邻零点之间距离依，α＞１，趋近于零，则Ｆ′＋（０）＝０，我们证明上述猜测不真，此外，我们给出Ｆ′＋（０），存在的一个充分条件。     

关于三角形的一个不等式

关于三角形的一个不等式３１５２１１宁波大学数学系陈计１９９３年，管志宏［１］提出下列不等式：在西ＡＢＣ中，有当且仅当面ＡＢＣ为正三角形时等号成立．事实上，由熟知的几何不等式（见文［２］的２．１２及２．３３）：易知不等式（１）是平凡的．本文中，我们将不...     

A New Class of Generalized Landau Linear Positive Operator Sequence and Its Properties of Approximation

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎ１９０８，Ｅ．Ｌａｎｄａｕｉｎｔｒｏｄｕｃｅｄｔｈｅｆｏｌｌｏｗｉｎｇｗｅｌｌｋｎｏｗｎｓｅｑｕｅｎｃｅｏｆｏｐｅｒａｔｏｒｓ［１］Ｌｎ［ｆ（ｔ）；ｘ］＝Ｋｎ∫１－１ｆ（ｔ）［１－（ｔ－ｘ）２］ｎｄｔ，　　　　（１．１）ｗｈｅｒｅ　　　　　Ｋｎ＝［∫１｛－１（１－ｔ２）ｎｄｔ］－１～ｎπ　　（ｎ→∞）．（１．１）ｗａｓｕｓｅｄｉｎｔｈｅｐｒｏｏｆｏｆｔｈｅＷｅｉｅｒｓｔｒａｓｓＴｈｅｏｒｅｍ．Ｓｉｎｃｅｔｈｅｎ，ｔｈｅａｐｐｒｏｘｉｍａｔｉｏｎｐｒｏｐ－ｅｒｔ…     

一个不等式的修正

一个不等式的修正３０００７３天津师范大学王光明文［１］以反例否定了不等式，通过增加必要的限制条件，本文对此“不等式”予以修正．（这是因为ｘ≥［ｘ］，所以ｎ·（ｘ－［ｘ］）不可能为负值）．此时若令ｎ（ｘ－［ｘ］）＝ｋ＋ｂ，ｋ为整数，ｂ∈［０，１］，此时...     

关于凸函数的一个控制不等式

关于凸函数的一个控制不等式续铁权（青岛教育学院数学系２６６０７１）设ｆ（ｘ）在［ａ，ｂ］上定义，０＜ｔ＜１，若称ｆ（ｘ）是［ａ，ｂ］上的凸函数，若当时严格不等式成立，称ｆ（ｘ）是严格凸函数．若不等式反向，称ｆ（ｘ）是凹函数和严格凹函数．本文研究凸函数...     

一个分式型不等式的证明及其应用

一个分式型不等式的证明及其应用贵州平塘民族中学谭登林当且仅当时等号成立．不等式（＊）不仅结构对称、和谐、易记，富有数学美，而且用它来解决一些较高难度的分式型不等式的证明问题尤为简便．现举例说明如下：例１［１］设ｘ、ｙ、ｚ、λ、μ、３λ－μ均大于零，且...     

对一个几何不等式猜想的证明

刘健老师在文［１］中曾提出了一个难度较大的几何不等式猜想，即Ｓｈｃ２７在锐角△ＡＢＣ中，证明或否定∑ｗｂｗｃｂｃ≥９４．（１）本文将证明（１）式成立．我们在文中约定如下符号：△ＡＢＣ的三边长为ＢＣ＝ａ，ＣＡ＝ｂ，ＡＢ＝ｃ，其对应边上的角平分线分别为ｗ...     

一个三角形不等式的四面体移植

设△ＡＢＣ的边ＢＣ、ＣＡ、ＡＢ与外接圆半径、面积和半周长分别为ａ、ｂ、ｃ、Ｒ、△、ｓ．Ｐ是△ＡＢＣ内任意一点,ＡＰ、ＢＰ、ＣＰ分别交ＢＣ、ＣＡ、ＡＢ于Ｌ、Ｍ、Ｎ．１９６６年荷兰的Ｏ．Ｂｏｔｔｅｍａ建立了不等式：　　　ＡＬ·ＢＭ·ＣＮＳ△ＬＭＮ≥４ｓ（１）等号当且仅当Ｐ是△ＡＢＣ的内心时成立．类似上式,贵刊文［１］Ｐ２６刊载了刘键先生建立的不等式：ＡＬ·ＢＭ·ＣＮａ·ＰＬ＋ｂ·ＰＭ＋ｃ·ＰＮ≥△Ｒ（２）等号当且仅当△ＡＢＣ为锐角三角形且Ｐ为垂心时成立．文［２］给出了（２）式的简证,受其启发,笔者通…     

1999年全国高中联赛第三题的简解

题目　已知当ｘ∈［０,１］时,不等式ｘ２ｃｏｓθ－ｘ（１－ｘ）＋（１－ｘ）２ｓｉｎθ＞０恒成立,试求θ的取值范围．这是１９９９年全国高中数学联合竞赛试题第三题,下面给出一种有别于“标准答案”的简单解法．解　若对一切ｘ∈［０,１］,恒有ｆ（ｘ）＝ｘ２ｃｏｓθ－ｘ（１－ｘ）＋（１－ｘ）２ｓｉｎθ＞０,则　ｓｉｎθ＝ｆ（０）＞０,ｃｏｓθ＝ｆ（１）＞０,∴　２ｋπ＜θ＜２ｋπ＋π２,ｋ∈Ｚ．（１）又　ｆ（ｘ）＝（１＋ｓｉｎθ＋ｃｏｓθ）ｘ２－（１＋２ｓｉｎθ）ｘ＋ｓｉｎθ＝（１＋ｓｉｎθ＋ｃｏｓθ）［…     

关于三角形边长的几个不等式

涉及三角形常见几何元素的不等式,一般都可化为关于边长ａ、ｂ、ｃ的不等式　ｆ（ａ,ｂ,ｃ）≥０．（）关于三角形边长的不等式是三角形不等式中最基本、最常见的．本文将建立仅含三角形边长的若干不等式．以“∑”表示循环和,以ｆ（１,１,１）、ｆ（０,１,１）及ｆ（２,１,１）分别表示正三角形及两种退化三角形．另外文中省略诸不等式等号成立条件的讨论．以下的证明均采用比较法．文［１］中,我们证明了在锐角三角形中有　　∑１（ｂ＋ｃ）（ｂ２＋ｃ２）≤３４ａｂｃ．（１）从文［１］中的证明过程中可看出,三角形中的最…     

Jacobi多项式零点为结点的Lagrange插值多项式之逼近

对于可微函数ｆ∈Ｃｑ［－１，１］，本文研究以Ｊａｃｏｂｉ多项式Ｊ（α，β）ｎ（ｘ）的零点为结点组之Ｌａｇｒａｎｇｅ插值多项式对ｆ及其导数的同时逼近，证明不等式Ｌ（ｓ）ｎ（ｆ，α，β，ｘ）－ｆ（ｓ）（ｘ）＝Ｏ（１）Δ－ｓｎ（ｘ）Δｑｎ（ｘ）ω（ｆ（ｑ），Δｎ（ｘ））ｌｏｇｎ｛＋（１－ｘ＋ｎ－１）－α－１２ｎ－ｑω（ｆ（ｑ），ｎ－１）｝，在［０，１］上对于ｓ＝０，１，２，…，ｑ一致成立，其中Δｎ（ｘ）＝ｎ－１１－ｘ２＋ｎ－２     

一个角平分线不等式的加强

一个角平分线不等式的加强３５００１５福州二十四中杨学枝笔者在文［１］中曾给出以下定理设面△ＡＢＣ的三边长分别为ＢＣ＝ａ，ＣＡ＝ｂ，ＡＢ＝ｃ，其对应的角平分线长分别为ｔａ、ｔａ、ｔｃ，则当且仅当△ＡＢＣ为正三角形时，（１）式取等号．本文仍采用文［１］中...     

Hardy-Littlewood型不等式及其应用

首先将ＨａｒｄｙＬｉｔｔｌｅｗｏｏｄ型不等式［６］推广到对于一般的正规函数成立．然后利用这些不等式，得到了混合模空间Ｈｐ，ｑ（φ）的一种刻划，这推广了Ｃｈｏｅ［２］，Ｚｈｕ［９］，Ｒｅｎ和Ｓｈｉ［５］的相应结果．最后使用上述方法，还证明了多重调和混合模空间ｈｐ，ｑ（φ）（０＜ｐ∞，０＜ｑ∞）是自共轭的，这推广了Ｊｅｖｔｉｃ［４］，Ｃｈｅｎ［１］和Ｓｈｉ［６］的相应结果．