一个猜想的推广

文 [1 ]提出并证明了下述的猜想 :设ａｉ,ｂｉ∈Ｒ+,ｉ =1 ,2 ,…ｎ ,α>0 ,则有 :∑ ｂα+1ｉａαｉ≥ (∑ｂｉ) α+1(∑ａｉ) α ,当且仅当 ａｉｂｉ =∑ａｉ∑ｂｉ时等号成立 .本文给出上述猜想的推广并证明 :定理　设ａｉ,ｂｉ∈Ｒ+,ｉ =1 ,2 ,…ｎ .1 )当α >0 ,β >0 ,α+β<1时∑ａαｉｂβｉ ≤ｎ1-α- β(∑ａｉ) α(∑ｂｉ) β;2 )当 β <0 ,α<0或α≥ 1 -β时∑ａαｉｂβｉ ≥ｎ1-α- β(∑ａｉ) α(∑ｂｉ) β.证明　首先有Ｊｅｎｓｅｎ不等式 (见文 [2 ])设ａｉ ∈Ｒ+,ｉ=1 ,2 ,…ｎ.则1ｎ∑ａαｉ ≥ (1ｎ∑ ａｉ)α　 (α …     

一个代数不等式的加强

近两年,在众多刊物上,载有不等式: multiply from i=1 to n(x_i+1/x_i)≥(λ/n+n/λ) (*)这里x_i∈R~+(i=1,2,…,n),x_1+x_2+…+x_n=λ≤n,仅当x_1=x_2=…=x_n时(*)式取等号。现在,我们给出(*)的一个加强: 定理设x_i∈R~+(i=1,2,…,n,n≥2),且sum from i=1 to n x_i=λ(常数)≤n,则 sum from i=1 to n(x_i+1/x_i)~(-1)≤n(λ/n+n/λ)~(-1) (1)当且仅当x_1=x_2+…=x_n时,(1)式中的等号成立。     

一个含参数根式不等式链

文[1]给出了如下含参数根式不等式:定理1设ai∈R ,i=1,2,…,n,且∑ni=1ai=k,λ>0,μ≥0,则λk μ (n-1)μ0,μ≥0,则λk μn2≤n∑i=1λkai2 μ<λk μ (     

柯西不等式及其应用

下面便是著名的柯西 (Ｃａｕｃｈｙ)不等式 :设ａ1,ａ2 ,… ,ａｎ,ｂ1,ｂ2 ,… ,ｂｎ 均为实数 ,则(ａ1ｂ1+ａ2 ｂ2 +… +ａｎｂｎ) 2 ≤ (ａ21+ａ22 +… +ａ2 ｎ) (ｂ21+ｂ22 +… +ｂ2 ｎ) ,等号当且仅当ａｉ=λｂｉ(λ为常数 ,ｉ =1,2 ,… ,ｎ)时成立 .这个命题的证法较多 ,在一般的竞赛教程中都可以查找到 ,这里从略 .应用柯西不等式解题的关键在于构造两组实数 ,并根据柯西不等式的特点进行探索 .在解决分式型问题时 ,通常还应用到柯西不等式如下的两个推论 .推论 1　设ａｉ 与ｂｉ(ｉ=1,2 ,… ,ｎ)同号 ,则∑ｎｉ=1ａｉｂｉ≥∑ｎｉ=1…     

巧用柯西不等式证不等式竞赛题

设ai,bi∈R(i=1,2,…,n),则(a12 a22 … a2n)(b12 b22 … b2n)≥(a1b1 a2b2 … anbn)2(1)当且仅当且bi=λai(i=1,2,…,n)时,(1)式取等号.这就是著名的柯西不等式,它还有如下等价形式:设ai,bi>0(i=1,2,…,n),则a12b1 ab222 … ban2n>(ab11 ab22 …… abnn)2(2)当且仅当且ab11     

对一道奥赛题的再探索

第三届(2006年)东南数学奥林匹克第6题为:求最小的实数m,使不等式m(a3 b3 c3)≥6(a2 b2 c2) 1对满足a b c=1的任意正实数a,b,c恒成立.文[1]将该题推广如下:设ai>0(i=1,2,…,n,n≥2),∑ni=1ai=1,B>0,A Bn>0,求最小的实数m,使不等式m∑ni=1ai3≥Ai∑=n1ai2 B恒成立.本文将对该题作进一步的探索.引理(幂平均值不等式)若α≥β>0,ai>0(i=1,2,…,n),则∑ni=1aiαn1α≥∑ni=1aiβn1β(1)特别地,当β=1,α≥1时有∑ni=1aiαn≥∑ni=1ainα(2)证略.探究1设α>β≥1,A>0,B>0,求最小的实数m,使不等式m∑ni=1aiα≥Ai∑=n1αiβ B(n≥2,n∈N)(3)对…     

一族特殊的单叶函数

<正> 设S_λ~*(α,β)表示函数类在单位圆u{z;|z|<1}内解析映象,且对0<λ≤1;0≤α≤(1+λ)/2;0<β≤1;满足设C_λ~*(α,β)表示函数类在U 内解析,且zf~′(z)属于S_λ~*(α,β)。当λ=1时,为函数类S_1~*(α,β)和C_1~*(α,β).文中给出了这两类函数的一些结果,本文就     

一个猜想的证明

文[1 ]利用均值不等式对一类最小值问题进行了研究 ,但限于所推导的不等式 ,未能完全解决这一类问题 ,文末提出了如下猜想 :(以下简记∑ｎｉ =1为∑)设ａｉ,ｂｉ,∈Ｒ+,ｉ=1 ,2 ,… ,ｎ .α >0 ,则有 :∑ ｂｉα+1ａｉα ≥(∑ｂｉ) α+1(∑ａｉ) α ,当且仅当 ａｉｂｉ =∑ａｉ∑ｂｉ时等号成立 .本文利用凸函数定理证明了上述猜想 ,从而使这一类最小值问题得到了比较圆满的解决 .证明　首先介绍凸函数定理 [2 ]:设函数ｆ(ｘ)在区间Ｉ为下凸函数 ,λｉ∈Ｒ+,且 ∑λｉ=1 ,则对任意ｘｉ ∈Ｉ,有 :ｆ(∑λｉｘｉ) ≤ ∑λｉｆ(ｘｉ)现取ｆ(ｘ…     

赫尔德不等式的推论变形与运用

一、引式:赫尔德不等式 设aij＞0(1≤i≤j≤n,1≤j≤m),若aj(1≤j≤m),且α1+α2+…+αm=1,则mП(n∑aij)aj≥n∑aijaj. 显然,当这个不等式只有两项,即当1/p+1/q=1时,(xp0+xp1+…+xpn)1/p(yq0+yq1+…+yqn)1/a≥x0y0+x1y1+…+xnyn,当α1=α2时即为(Cauchy)不等式,从中可以看到Cauchy不等式是Holder不等式的特殊情况.     

FTT不等式的一个简单证明及其发现过程

四十多年前 ,Ｋ .Ｆａｎ ,Ｏ .Ｔａｕｓｓｋｙ和Ｊ .Ｔｏｄｄ发现并证明了如下两个优美的初等不等式[1] :设ａ1,ａ2 ,… ,ａｎ 皆为实数 ,1°　若ａ0 =ａｎ 1=0 ,则2 (1-ｃｏｓ πｎ 1) ｎｋ =1ａ2 ｋ≤ ｎ 1ｋ =1(ａｋ-ａｋ- 1) 2 (1)等式成立当且仅当ａｋ=Ｃｓｉｎ ｋπｎ 1(ｋ =1,2 ,… ,ｎ ,Ｃ为实常数 ) .2°　若ａ0 =0 ,则2 (1-ｃｏｓ π2ｎ 1) ｎｋ =1ａ2 ｋ≤ ｎｋ =1(ａｋ-ａｋ - 1) 2 (2 )等式成立当且仅当ａｋ=Ｃｓｉｎ ｋπ2ｎ 1(ｋ =1,2 ,… ,ｎ ,Ｃ为实常数 ) .1982年 ,Ｇ .Ｖ .Ｍｉｌｏｖａｎｏｖｉｃ和Ｉ.…     

关于 Poincaré 型方程解的渐近性态的若干注记

<正> Ⅰ.引言假若 n 阶线性微分方程y~(n)+α_1(x)y~((n-1))+…+α_n(x)y=α_0(x) (**)的系数α_v(x),当 x 无限增长时渐近于常数α_v:(?)α_v(x)=α_v (v=1,2,…,n)则称方程(**)为 Poincaré 型微分方程(简称为 P 型方程).θ(λ)=λ~n+α_1λ~(n-1)+…+α_n=0称为它的特征方程.     

柯西不等式的一种构造证法

一维离散型随机变理X的方差(或数学期望)蕴含着一个不等式关系,即E(X2)≥(E(X))2(*)当且仅当X服从退化分布时(*)式中等号成立.柯西不等式设n为大于1的自然数,a1,a2,…,an与b1,b2,…,bn为实数,则(a21+a22+…+a2n)(b21+b22+…+b2n)≥(a1b1+a2b2+…+anbn)2,等号当且仅当b1=b2=…=bn时成立(当bi=0时,约定ai=0,i=1,2,…,n).     

关于n~(1/k)的不等式猜想的研讨

文 [1 ]给出了一个关于kn的不等式猜想 ,猜想的右侧不等式是 :正整数n ,k >1 ,则nk 2时 ,( 1 )式成立 .为证明上述结论 ,先给出两个引理引理 1　 [贝努利 (Bernoulli)不等式 ]若x >- 1且k是正整数 ,则 ( 1 +x) k≥ 1 +kx .等号当且仅当x =0时成立 .利用二项式定理易证引理 1 .引理 2 [2 ] 　若 - 1 相似文献   

平均值不等式的推广及其应用

设α_i∈R~ (i=1,2,…,n),则成立着A_n=(α_1 α_2 … α_n)/n≥G_n=(α_1α_2…α_n)/(1/n)当且仅当;α_1=α_2=…=α_n,时取等号(证明略)。本文先借助一个矩形数表对这个不等式加以推广,然后举例说明运用它来证明某些不等式将甚为方便简捷。     

关于一个积分不等式的Djokovi(?)''''s猜想(英文)

在1965年,Djokovi,D.Z提出[1]:设x_0(1-α_1)(x_2-x_0)时,(4)不成立,一般说,(4)式是否成立和点x_0相似文献   

一类含根式的新不等式及应用

本文通过引入参数的方法发现了一类新的含根式的不等式 ,它们在不等式的证明以及处理一些非等变量的多元函数的极值问题中有着广泛的应用价值 .定理 1　设 0 ≤ｘ ≤λ≤ａ ,则ａ-ｘ≥ ａ-ｔｘ ,(1 )其中等号成立当且仅当ｘ=0或λ ;ｔ =1λ(ａ-ａ-λ) .证　∵ 0 ≤ｘ≤λ ,∴ｘ2 ≤λｘ(等号成立当且仅当ｘ=0或λ) ,于是 ,引入正参数ｔ,我们有(ａ-ｔｘ) 2 =ａ- 2 ａｔｘ ｔ2 ｘ2≤ａ (ｔ2 λ - 2ａｔ)ｘ ,①令ｔ2 λ - 2ａｔ =- 1 ,则方程λｔ2 - 2ａｔ 1 =0有正根ｔ =1λ(ａ -ａ -λ) .故①式两边开平方立得 (1 )式 ,由①取等号的条件知 ,…     

多项式的根的一个性质的判定

文献[1]在讨论多项式型的函数迭代方程的局部解析解的存在性时涉及到了多项式的根的一个性质.本文给出了判定该性质是否成立的一个简洁的条件,证明了多项式λ_nzⁿ+…+λ₂z²+λ₁z+λ₀有一个根α满足inf{｜λ_nα^nm+…+λ₂a^2m+λ₁α^m+λ₀｜：m=2,3,…｝>0当且仅当如下两个条件之中至少有一个成立：(i)该多项式有一个根β满足｜β｜>1;(ii)该多项式有一个根β满足｜β｜<1,且λ₀≠0.     

联系三个n维单形体积的不等式

设∑_A,∑_B,∑_C是n维欧氏空间E~n(n≥3)中三个n维单形,它们的棱长分别是a_i,b_i,c_i(i=1,2,…,c~2_(n+1)),体积分别是V_A,V_B,V_C。本文证明了下列定理。设实数α≥0,β≤an(n≥3)且α,β不全为零。(1)如果θ_1,θ_2,θ_3∈[0,1],那末(1)并且(1)中等号成立当且仅当Σ_A,Σ_B,Σ_C都是正则单形,(2)当θ_1∈(1,2],θ_2,θ_3∈(0,1]且Σ_A的的每一个三角形侧面都是锐角三角形时,不等式(1)仍成立。     

|A+B|~(1/n)≥|A|~(1/n)+|B|~(1/n)的一个加强

-j协 ,llweJ 路 1.引言文「1〕证明了命题:设A,B是。阶正定矩阵,则}勿‘一卜“!,一〔·+”’ 1 11!A+B!“)}A}”+IBI”(1)等号成立当且仅当A=无B(lc>0). 其后,吴忠民[2]、吴爱军[劫又分别给出了(约的两种不同的证法.本文则将建立一个比(1)更强的正定矩阵不等式.全文约定A>O表示矩阵A正定,I,=只·I(又>0)为数量矩阵;如不特别说明,本文中的矩阵均指n阶实矩阵. 定理设滩>0,刀>0,,A}>J几;{,,BJ>11目,则一挤(加一扩(IA+Bl一,z。+z。.)篇等号成立当且仅当几‘/a=拼‘/b.(公一=1,2,,二,忍). 证明:令‘=兀兄:一‘,少二且。,一””· ‘=1…     

综合题新编选登

题 6 9　 已知函数 f(x) =4x -ax2 + 1在区间 [α ,β]上为增函数 ,且 f(α)·f(β) =- 4.1)求 f(β) - f(α)的最小值及取到最小值时a的值 ;2 )求α ,β的值 (用a表示 ) .解　 1) f(x)在 [α ,β]上为增函数 ,且f(α)·f(β) =- 4<0 .∴ f(β) >0 >f(α) .则f(β) - f(α) =f(β) + [- f(α) ]≥ 2 - f(α)·f(β) =4 .“ =”成立时有 f(β) =- f(α) =2 .由 f(β) =2 ,得4 β -aβ2 + 1=2 ,∴ -a =2 (β - 1) 2 ≥ 0知a≤ 0 ;由 f(α) =- 2 ,得4α -aα2 + 1=- 2 ,∴a =2 (α + 1) 2 ≥ 0知a≥ 0 .则 f(β) - f(α)取最小值时a =0 .2 )首…