算术平均数的一个简单性质的应用

n个实数x_1、x_2、…x_n的算术平均数(x_1+x_2+…+x_n)/n有如下简单性质: 若A≤x_1、x_2…、x_n(≤B),则 A≤(x_1+x_2+…+x_n)/n(≤B) 当且仅当A=x_1=x_2=…=x_n(=B)时等号成立。作为性质1的推论,特别地有推论1若x_1、x_2、…、x_n是n个实数,则min{x_f|i=1,2,…,n}≤≤(x_1+x_2+…+x_n)/n≤max{x_f|i=1,2,…,n} 当且仅当x_1=x_2=…=x_n时等号成立。推论2 若A≤x_1+x_2+…+x_n(≤B),则至少有一个x_k(x_e),使A/n≤x_k(x_a≤B/n),当x_1、x_2。…,x_n互不相等或A相似文献   

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

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

均值不等式及其应用

<正>均值不等式是中学数学中的一个常见不等式,有很重要的地位,也经常被叫做均值定理,在不等式证明及求最值方面应用非常广泛.1均值不等式如果a,b都是正数,那么■,当且仅当a=b时,等号成立.对任意两个正实数a,b,数■叫做a,b的算术平均值,数■叫做a,b的几何平均值.因此把这一常见不等式叫均值不等式.     

初等对称多项式的一个重要性质

对于变元x_1,x_2,…,x_n,若记σ_1(n)=∑x_1,σ_2(n)=∑x_1x_j,σ_3(n)=∑x_1x_jx_k,…σ_2(n)=(n),…,σ_n(n)为关于变元x_1,x_2,…,x_n的初等对称多项式。为方便起见,本文规定σ_o(n)=1,则当变元x_1,x_2,…,x_n为实数时,我们得到初等对称多项式σ_o(n),σ_1(n),…,σ_n(n)的一个重要性质: 定理对于实数变元x_1,x_2,…,x_n及σ_o(n),σ_o(n),     

用函数凹凸性质证明三角形不等式的一个问题

一类三角形不等式应用函数的凹凸性来证明是很有效的。函数的凹凸性质可以表述为: 定理:若函数f(x)对某一区间上任意两点x_1、x_2都有 (f(x_1)+f(x_2))/2≤(或≥)f((x_1+x_2)/2) (1)则对于这个区间上任意的x_i(i=1,2,…,n)有(f(x_1)+…+f(x_n))/≤(或≥)((x_1+…+x_n)/n) (2)     

恒等式“A=2kA/(2k)”与一类不等式的证明

本文用数学归纳法证明几个平均数不等式、凸函数不等式。在证明过程中。总是运用恒等式A=2kA/2k,实现了从k到k 1的传递。本文可作为中学生的一次数学课外讲座。 定理1 设x_1,x_2,…,x_n是n个正实数,记     

一个代数不等式的加强

近两年,在众多刊物上,载有不等式: 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.100个实数的和等于0,证明:能够将它们编号后,满足下面不等式组: a_1≥0,a_1+a_2≥0,…,a_1+a_2+…+a_(99)≥0。解我们可以证明更一般的问题:若n个实数c_1,c_2,…,c_n的和为非负,则能够将其重新编号,满足不等式组: c_1≥0.c_1+c_2≥0,…,c_1+c_2+…+c_(n-1)≥0。为此先来证明:若实数x_1,x_2,…,x_m的和为非负(S=x_1+x_2+…+x_m≥0),则总能从中划去一个数,使得余下的(m-1)个数的和为非负。反之,若对所有的i=1.2.…,m,都有S-x_i<0,于是(s-x_1)+(s-x_2)+…+(s-x_m)<0,也就是(m-1)s<0,矛盾。这就是说,对于c_1+c_2+…+c_n≥0,总可从中划     

零多项式的性质与应用

各项系数均为零的多项式叫做零多项式。它的一条重要性质是 定理1 (零多项式性质定理)数域P上的n元多项式g(x_1,…x_n)为零多项式的充要条件是:存在无穷多的数a∈P,使得 g(x_1,…,x_(n-1),a)≡0 证明 必要性显然,下面证充分性。 当n=1时,由于有无穷多个a使g(a)=     

激烈振荡函数积分余项的精确估计

以V_n表示n维正方形区域:0≤x_1≤1,0≤x_n≤1,以C表示V_n×V_n上2n元连续实函数f(x_1,…,x_n;y_1,…,y_n)的全体.对于非负实数x,用〈x〉=x-[x]表示它的分数部分.徐利治研究了激烈振荡函数积分     

一个最小值极大化问题的简解

文[1]为解决二次规划问题:已知实数x_1,x_2,…,x_n,满足x_1~2 x_2~2 … x_n~2=1,当n≥3时,求(?)|x_i-x_j|.首先给出了下面二个命题:命题1在方程x_1~2 x_2~2 … x_n~2=1的解(x_1,x_2,…,x_n)(其中x_1相似文献   

也谈一个不等式命题

文[1]用数学归纳法征明了命题设x_1,x_2…,x_n∈R,(n≥2),m,p∈N且奇偶性相同,则有等号仅当x_1=x_2=…=x_n时成立。实际上该命题只不过是切比晓夫不等式的一个简单推论。     

对称平均数在矩阵中的一个应用

n个正数x_1,x_2,…,x_0的r次对称平均数(r=1,2,…,n)定义为: 在[1]中证明了对称平均数的基本定理,即∑_n~1≥∑_n~2≥…≥∑_n~n,当且仅当x_1=x_2=…=x_n时等号成立。 下面利用这个结果导出正定Hermite矩阵的一个     

Vincent定理的多元推广

Vincent定理指出:若f(x)为d次实系数多项式,(a_1,b_1)为开区间,则多项式f(x)在(a_1,b_1)上没有实根当且仅当存在正常数δ,使得对任意区间(a,b)(a_1,b_1),当|a-b|δ时,多项式(1+x)~df((a+bx)/(1+x))的系数不变号(都是正数或都是负数).文章的主要工作是推广这一结果到一般的多变元代数系统.设实系数多项式f∈R[x_1,x_2,…,x_n],f相对于变元x_i的次数记为d_i.记区间的笛卡尔积为I=[a_1,b_1]×[a_2,b_2]×…×[a_n,b_n](也称为Box).记φ(I)=max{b_i-a_i,i=1,2,…,n}.定义f_I=(1+x_1)~(d_1)(1+x_2)~(d_2)…(1+x_n)~(d_n)f((a_1+b_1x_1)/(1+x_1),(a_2+b_2x_2)/(1+x_2),…,(a_n+b_nx_n)).称f_I为f相对于Box I的伴随多项式.证明了:若多项式f_1,f_2,…,f_m∈R[x_1,x_2,…,x_n],且BoxΛR~n,则方程组{f_1=0,f_2=0,…,f_m=0}在BoxΛ上没有零点,当且仅当存在正常数δ(与BoxΛ有关),使得对于任意Box IA,当φ(I)δ时,伴随多项式f_(1I),f_(2I),…,f_(mI)中至少一个f_(iI)的非零系数全是正(或负)数且f_i在Box I的所有顶点上的值不为0.     

对称多项式基本定理的推广

关于x_1,x_2,…,x_n的对称多项式都可表为初等对称多项式σ_1,σ_2,…,σ_n的多项式。本文推广了此定理的结论。定义设f_i=f_i(x_1,x_2,…,x_n)(i=1,2,…,n)为关于x_1,x_2,…,x_n的i次对称多项式,且由它们组成的方程组 (这里a_i(i=1,2,…,n)为常数)是独立的n个方程组成的方程组。即f_i不能表为上述其它n-1个多项式的多项式。则称f_i,f_2,…,f_n为n元对称多项式的一组基。引理对于任意的1≤i≤n,f_i可表为σ_1,σ_2,…,σ_i的多项式。证明因为f_i是x_1,x_2,…,x_n的i次对称多项式。由对称多项式的基本定理可设 f_i=g(σ_1,σ_2,…,σ_n)在多项式g(σ_1,σ_2,…,σ_n)中若存在含σ_i(i相似文献   

用拉格朗日乘数法证明对称不等式

设f(x_1,x_2,…,x_n)、g(x_1,x_2,…,x_n)是两个轮回对称函数,若欲证明无约束不等式,f(x_1,x_2,…,x_n)≥g(x_1,x_2,…,x_n)可以增加约束条件并利用拉格朗日乘数法来证.约束条件要选取为对称方程才能便于计算.如x_1 x_2 … x_n=C,x_1~2 十x_2~2 十…x_n~2=R~2 等.以下通过例题加以说明.     

线性表示在解题中的应用举例

<正>首先我们来看线性表示的概念:定义若a_1x_1+a_2x_2+…+a_nx_n=b(其中x_1,x_2,…,x_n是未知量,a_1,a_2,…,a_n,b是不全为零的常数,n∈N*)则b称为数组x_1,x_2,…,x_n的一个线性组合.当b=0时,x_1,x_2,…,x_n称为线性相关,此时令a_n=-1,则有x_n=a_1x_1+a_2x_2+…+x_(n-1)a_(n-1),称变量x_n是变量x_i(i=1,2,…n-1)的一个线性表示.本文的"线性表示"是指用给定的某些量     

某些环的结构

Jacobson的著名定理指出,若结合环R满足:对任意x∈R均有整数m(x)>1使x~[m(s)]=x,则R同构于一些域的亚直接和.Putcha与Yaqub推广了此结果.定义x_1,…,x_n的一个字w(x_1,…,x_n)为一个乘积,其每个因子都是某个x_i(i=1,…,n).于是,一个多项式f(x_1,…,x_n)则具形     

平均值不等式和柯西不等式

平均值不等式和柯西不等式是两个极为重要的基本不等式,由于它们变化多,实用性强,可以充分展示受试者的机敏和能力,因此深受竞赛命题者的青睐,有关的问题在数学竞赛中频频出现,经久不衰。一、平均值不等式这里先介绍平均值不等式。设a_1、a_2、…、a_n为n个正数,记 A=a_1 a_2 … a_n/n,G=(a_1a_2…a_n)~(1/n) 则 A≥C(1) 其中当且仅当a_1=a_2=…=a_n时等号成立。这个不等式通常称之为算术平均-几何平均值不等式,简称平均值不等式。平均值不等式证明方法很多,以下给出两种富有启发又很简捷的证明。     

具有等变量极值的多元函数

定义.D是n维欧氏室空中一个点集,n≥2,f(x_1,x_2,…,x_n)是定义在D上的一个n元函数。如果f在D上极值存在,并且位于诸变量相等时,那末,称f在D上具有等变量极值。定理. 设f(x_1,x_2,…,x_n)(n≥3)是定义在D上的一个n元函数。如果f(x_1,x_2,…,x_n)在D上具有极大(小)值,且任意固定