关于《一个不等式的推广》问题

胡道煊同志在文[1]中曾绐出了如下的不等式:sum from i=1 to n((a_i~m)/(b_i))≥n~(2-m)·((sum from i=1 to n(a_i))~m/sum from i=1 to n(b_3))。(1)其中a_i、b_i>0,(i=1,2,…,n),且|m|≥1。 此处我们说(1)是一个不恒成立的不等式。例如取n=2,b_1=a_1,b_2=a_2,m=3/2,则有     

用含参数的柯西不等式证一类竞赛题

含参数的柯西不等式: (sum from i=1 to n(a_ib_i))~2=[(sum from i=1 to n(λ_ia_i)·(b_i/λ_i)]~2≤(sum from i=1 to n(λ_i~2a_i~2)(sum from i=1 to n(b_i~2/λ_i~2),其中λ_i>0 (i=1、2、…、n)。     

用a≥2-1/a证不等式

若a∈R_ ,则有a≥2-1/a (*),等号当且仅当a=1时成立. 不等式(*)不仅结构简单,而且利用它还可以简捷地证明一些较难的不等式.下面举几例说明. 例1 设a_i,b_i∈R_ ,且sum from i=1 to n(a_i)=sum from i=1 to n(b_i),求证sum from i=1 to n(a_i~z)/(a_i b_i)≥1/2 sum from i=1 to n(a_i).(1991年亚太地区数学竞赛题)     

柯西不等式的一个变式及应用

在柯西不等式:(sum from i=1 to n a_i~2)·(sum from i=1 to n b_i~2)≥(sum from i=1 to n a_ib_i)~2(其中a_i,b_i∈R,i=1,2,…,n)     

构造柯西不等式,用取等号条件解题

我们知道,柯西不等式:a_i,b_i∈R,则sum from i=1 to n a_i~2 sum from i=1 to n b_i~2≥(sum from i=1 to n a_ib_i)~2……(1)当且仅当a_i=kb_i(i=1,2,…,n)不等式等号成立。它可以作如下变形: 由(1)得(sum from i=1 to n a_i~2 sum from i=1 to n b_i~2)~(1/2)≥sum from i=1 to n a_ib_i,添项变为sum from i=1 to n a_i~2 2 (sum from i=1 to n a_i~2 sum from i=1 to n b_i~2)~(1/2) sum from i=1 to n b_i~2≥sum from i=1 to n a_i~2 2sum from i=1 to n a_ib_i sum from i=1 to n b_i~2,或sum from i=1 to n a_i~2-2 (sum from i=1 to n a_i~2 sum from i=1 to n b_i~2)~(1/2) sum from i=1 to n b_i~2≤sum from i=1 to n a_i~2-2 sum from i=1 to n a_i b_i sum from i=1 to n b_i~2,分别配方,并开方转     

Holder不等式的两个推论

Holder不等式在不等式理论与应用中有其特殊的效用.本文将着重介绍Holder不不等式的两个推论及它们的应用. Holder不等式的完整形式应是以下定理:若α_i>0,b_i>0(i=1,2,…,n),p,q满足1/p 1/q=1,则(1)若1相似文献   

一道IMO预选题的简解

第二十九届国际数学奥林匹克竞赛有一道非常难的预选题: 命题 设a_i>0,β_i>0(1≤n,n>1),且sum from i=1 to n a_i=sum from i=1 to n β_i=π. 证明:sum from i=1 to n cosβ_i/sina_i≤sum from i=1 to n ctga_i　(1) （蒙古提供)     

一道东南数学奥林匹克试题的进一步推广

题目(第三届(2006年)东南数学奥林匹克第6题)求最小的实数m,使不等式m(a~3 b~3 c~3)≥6(a~2 b~2 c~2) 1对于满足a b c=1的任意实数a,b,c恒成立.文[1]对此题作了以下推广1设a_i>0,i=1,2,…,n,n≥2,sum from i=1 to n a_i=1,A>-Bn,求最小的实数m,使不等式m sum from i=1 to n a_i~3≥A sum from i=1 to n a_i~2 B恒成立.     

柯西不等式的直接证明与指数推广

著名的柯西不等式为 (sum from i=1 to n (a_i~2))(sum from i=1 to n (b_i~2))≥(sum from i=1 to n (a_ib_i))~2. (1) 关于(1)式,一般参考书上是采用构造函数,利用判别式间接进行证明的。本文首先给出(1)式的一个直接的简捷证明,然后利用算术-几何平均值不等式给出(1)式的指数推广。     

不等式multiply from i=1 to n (xi+1/x_i)≥(n+1/n)~n的推广

关于不等式multiply from i=1 to n(x_i+(1/x_i))≥(n+(1/n))~n(x_i为正数,sum from i=1 to n x_i=1)的正确性,《数学通讯》已有多篇文章给出了证明,本文将这个不等式推广到较一般的情形。从sum from i=1 to n x_i的值上推广有: 定理1 (1)如果x_i∈R+(i=1,2,…,n),     

关于一个不等式的隔离及应用

当a_1,a_2,…,a_n为正实数时,有 1/n sum from i=1 to n(a_i~n)≥multiply from i=1 to n(a_i)当且仅当a_1=a_2=…=a_n时取等号。事实上,该不等式可用(sum from i=1 to n(1/n)a_i)~n分隔,即(1/n)sum from i=1 to n(a_i~n)≥((1/n)sum from i=1 to n(a_i))~n≥multiply from i=1 to n(a_i)当且仅当a_1=a_2=…=a_n时取等号。     

柯西不等式在中学不等式证明中的应用

设a_1,a_2,…,a_n和b_1,b_2,…,b_n为两组实数,则有((sum from i=1 to n(a_ib_i))~2≤(sum from i=1 to n(a_i~2))(sum from i=1 to n(b_i~2)))。式中等号当且仅当a_1/b_1=a_2/b_2=…=a_n/b_n时成立。特别地,当b_1=b_2=…=b_n=1时,有 a_1~2 a_2~2 … a_n~2≥1/n(a_1 a_2 … a_n)~2。 以上第一个不等式称为柯西不等式,其证明方法很多,在此不再赘述。     

切比雪夫不等式的推广及其应用

本文将切比雷夫不等式:“a_1≥a_2≥…≥a_n,b_1≥b_2≥…≥b_n(?)(sum from i=1 to n a~i)(sum from j=1 to n b_j)≤n sum from i,j to n a_ib_j”作如下的推广:如果{a_i}_(i=1)~n与{b_j}_(i=1)~n同时为单调增加或单调减少实数列,那么对于任何实数列{c_i}_(i=1)~n有(sum from i=1 to n a_ib_ic_i)(sum from i=1 to n c_i)(?)(sum from i=1 to n a_ic_i)(sum from j=1 to n b_jc_j) ……(Ⅰ) 如果{a_i}_(i=1)~n与{b_j}_(j=1)~n中有一个单调增加而另一个单调减少,那么对于任何非负实实数列{c_i}_(i=1)~n有(sum from i=1 to n a_ib_(ii))(sum from i=1 to n c_i)≤(sum from i=1 to n a_ic_i)(sum from j=1 to n b_jc_j)……(Ⅱ) 如果{c_i}_(i=1)~n为正的实数列,那么不等式(Ⅰ)、(Ⅱ)中的等号成立当且仅当{a_i}_(i=1)~n或{b_j}_(j=1)~n 中有一个是常数列。如果取c_i=1(i=1,2,…,n,那么就得原来的不等式。推广后的切比雷夫不等式的证明:在第一种情形下,sum from i=1 to n sum from j=1 to n (a~i-a_j)(b_i-b_j)c_ic_j     

Lagrange恒等式和Буняковский不等式的行列式证法及其推广

由初等代数学,我们知道下面恒等式是成立的:(sum from n to i=1 a_i~2)(sum from n to i=1 b_i~2)-(sum from n to i=1 a_ib_i)=sum from to (i,f)(a_ib_f-a_fb_i)~Z……(1)此恒等式,通常称为拉格朗日(Lagrange)恒等式。由初等代数学也容易证明下面不等式是成立的:     

一个不等式隔离的初等证明、推广与应用

本刊[1]文中将不等式 1/n sum from i=1 to n a_i~n≥multiply from i=1 to n a_i(a_i∈R~+,i=1,2,…,n) 作了如下隔离 1/n sum from i=1 to n a_i~n≥(1/n sum from i=1 to n a_i)~n≥multiply from i=1 to n a_i (1) 但美中不足的是其证明过程中运用了二阶导数和凸函数的有关知识,不宜中学生阅读和接受。为此,本文给出(1)式的一个简捷的初等证明。证明:由算术—几何平均     

一个关于余切和余割的不等式

定理 P是凸n边形A_1A_2…A_n内一点,记∠PA_iA_(i 1)=α_i,i=1,…,n(A_(n-1)≡A_1),则 sum from i=1 to n(ctgα_i)≥sum from i=1 to n(ctgA_i ncsc(2π/n))。 (1) 证明 由正弦定理,得     

证明组合等式方法例说

本文通过例题阐述证明组合等式时,如何根据题设特征选择适合的方法,供参考。一、待定系数法待定系数法的根据是多项式恒等定理:若 f(x)≡sum from i=0 to n a_ix~(n-i),g(x)≡sum from i=0 to n b_ix~(n-i),且,(x)≡g(x),则有a_i=b_i。(i=1,2,…,n). 例 1 求证C_m~0 C_n~k+C_m~1 C_n~(k-1)+…++C_m~k C_n~0=C_(m+n)~k。分析观察此式两端组合数的特点,即     

一个有用的不等式

下面的不等式是大家熟知的:若a、b、x、y为正数,且x十y=1,则 ax+by~(1/2)≥x√a+y(b~(1/2)) 一般地,有如下不等式:若P_i>0,a_i>0(i=1,2,…,n),且sum from i=1 to n p_i=1,     

一道最值题推广之别证

熊光汉老师将命题:x,y,z>0,且x y 2=1,求1/4 4/y 9/z的最小值推广为:设x_i∈R~ ,i=1,2…,n,且(sum from i=1 to n(x_i))=m,则sum from i=1 to n((i~2)/(x_i))     

求函数值域应注意的一个问题

在应用初等方法,求如下类型的函数y(x)=sum from i=1 to ∞(1/n)a_ix~k_i……(1)(n为不小于2的自然数,a_i>O,x>0,K_i为非零整数且sum from i=1 to ∞(1/n)K_i=0的值域时,因sum from i=1 to ∞(1/n)K_i=0的诱发,极易上基本不等式a_1+a_2+…+a_n/n≥a_1a_2…a_n~(1/n)……(2)(n为不小于2的自然数,a_i均为正数;当且仅当a_1=a_2=…=a_n时,等式成立)的当！请看下面的例1: