一个含参数根式不等式及其应用，

命题设ai∈R^＋，i=1，2，…，n，且n↑∑↓i=1 ai=k，λ〉0，μ≥o，则     

一类关于三角形不等式的证明方法

文[1]借助两个特殊不等式并应用代数变换证明了一类三角形不等式.本文给出这类不等式的三角证法.为行文方便,约定△ABC的三边长、半周长、外接圆半径、内切圆半径分别为a、b、c、,s,R,r;其中例题的证明要用到下列熟知的三角形恒等式:abc=4Rrs,∑bc=s2 4Rr r2,∑a2=2(s2-4Rr-r2)     

一个优美的代数不等式

文 [1 ]有一个优美的不等式猜想 :若ａｋ∈Ｒ (ｋ =1 ,2 ,… ,ｎ) ,则 ｎｋ=1ａｋ ｎｋ=11ａｋ ≥ｎ2 2ｎ 1≤ｉ<ｊ≤ｎ(2ｎ ａｊａｉ-2ｎ ａｉａｊ) 2 (1 )本文证明这个猜想 .记Ｆｎ=ｘｎ 1ｘｎ (ｘ∈Ｒ ,ｎ∈ Ｚ-) ,则Ｆｎ≥ 2 .容易验证有如下引理 1　若ｍ1,ｍ2 ∈Ｚ ,ｍ1≥ｍ2 ,则Ｆｍ1 ｍ2 =Ｆｍ1Ｆｍ2 -Ｆｍ1-ｍ2 .引理 2　当ｎ≥ 2时 ,Ｆｎ≥ 2ｎＦ1- 2 (2ｎ- 1 ) (2 )证明　当ｎ =2 ,3时 ,文 [1 ]已证 (2 )式成立 ,即有Ｆ2 ≥ 4Ｆ1- 6 ,Ｆ3≥ 6Ｆ1- 1 0 .假设ｎ <ｋ时 ,(2 )式成立 .则当ｎ =ｋ (ｋ≥ 4)时 ,1 )若ｋ为奇数 ,…     

两个几何不等式的证明

文[1]中,胡如松先生提出了如下猜想,现予以证明.设△DEF为△ABC内接三角形(如图).并设△ABC的三内角为A,B,C;三边BC=a,CA=b,AB=c;EF=a0,FD=b0,DE=c0.分别设△ABC,△DEF,△AEF,△BDF,△CDE的外接圆半径、内切圆半径、半周长和面积依次为R,R0,R1,R2,R3;r,r0,r1,r2,r3;P,P0,P1,P2,     

两个代数不等式及应用

定理 1　对于 x ,y ,a ,b∈R ,则有　 (x -a) 2 + ( y -b) 2≥ (x2 + y2 -a2 +b2 ) 2 ( 1 )等号成立当且仅当x y =a b并且x与a同号 .证　将 ( 1 )左端减去右端得(x -a) 2 + ( y -b) 2 - (x2 + y2 -a2 +b2 ) 2=- 2 (ax +by) + 2 (x2 + y2 ) (a2 +b2 )≥ 0 (应用Cauchy不等式 ) .等号成立当且仅当x y =a b并且x与a同号 ,可见式 ( 1 )成立 .定理 2　对于 xi,yi∈R ,若当n≥ 2时存在x2 + y2 ≥∑ni=1xi2 + yi2 ,则有(x -∑ni=1xi) 2 + ( y -∑ni=1yi) 2　≥ (x2 + y2 -∑ni=1xi2 + yi2 ) 2 ( 2 )等号成立当且仅当 x1y1=x2y2=… =xnyn=xy 且x…     

一个代数恒等式与一类不等式的证明

文[1]的第218—219页上讨论了如下代数恒等式： （a＋b＋c）（ab＋bc＋ca）-abc =（a＋b）（b＋c）（c＋a）     

三角形不等式的共同解法—关于三角形旁切圆半径的两个不等式证明的改进

众所周知(x y)(y z)(z x)=xy(x y) yz(y z) zx(z x) 2xyz=x2y xy2 y2z yz2 z2x zx2 2xyz　(*)这是一个十分重要的代数恒等式,由(*)立即得到(x y)(y z)(z x)=(x y z)(xy yz zx)-xyz(1)(x y)(y z)(z x)=x(y z)2 y(z x)2 z(x y)2-4xyz(2)(x y)(y z)(z x)(x y z)=xy(x y)2 yz(y z)2 zx(z x)2 4xyz(x y z)(3)(x y)(y z)(z x)(xy yz zx)=x2y2(x y) y2z2(y z) z2x2(z x) 2xyz(x y z)2(4)……(*)及(1),(2),(3),(4)……在证明关于三角形不等式方面有极其广泛的应用.这是因为:图1任一三角形总有内切圆(图1),总可以作变换a=y z,b=z x,c=x y(x,y,z∈R )…     

代数不等式的分拆降维方法与机器证明

利用双变元对称型所构成实线性空间的特点,设计了一种特殊形式的基,基中元素是非负的.如果一个元在此基下的坐标非负,则该元自身也是非负的.于是要证明某个元非负将被归结为证明其在指定基下的坐标非负.通常坐标中的变元数,少于原对称型的变元数,从而起到了降低维数的作用.对非对称型,可通过对称化转换为对称型来处理.根据该方法编制了Maple通用程序Bidecomp.虽此方法并非完备的,但大量的应用实例表明了此种方法证明多项式型不等式的有效性.     

关于四面体的两个不等式

贵刊文 [1]将一个三角形不等式移植到四面体 ,得到如下结果 :图 1　定理 1图定理 1　设四面体Ａ1Ａ2 Ａ3Ａ4 的面Ａ2 Ａ3Ａ4 ,Ａ3Ａ4 Ａ1,Ａ4 Ａ1Ａ2 ,Ａ1Ａ2 Ａ3的面积与外接球半径和体积分别为△1,△2 ,△3,△4 ,Ｒ ,Ｖ .Ｐ是四面体Ａ1Ａ2 Ａ3Ａ4 内的任意一点 ,ＡｉＰ与Ａｉ 所对的侧面交于点Ａ′ｉ,ｉ=1,2 ,3,4 .则Ａ1Ａ′1·Ａ2 Ａ′2 ·Ａ3Ａ′3·Ａ4 Ａ′4 △′1·ＰＡ′1 △2 ·ＰＡ′2 △3·ＰＡ′3 △4 ·ＰＡ′4≥2 4 3Ｖ316Ｒ8( 1)等号当且仅当Ｐ为正四面体的中心时成立 .受文 [1]启发 ,笔者通过探究 ,得到两个与 ( 1)式类似的…     

一个代数不等式的再推广

文 [1 ]中给出了一个代数不等式并由此推出了一系列的结果 ,文 [2 ]中对这一不等式作了推广 .本文将其再推广 ,给出更具一般性的形式 .定理　设ｘ =ｘ(ｔ) ,ｙ =ｙ(ｔ) ,ｔ∈Ｄ Ｒ ,ｘ >0 ,ｙ >0 ,ｘ ,ｙ是Ｄ上单调函数 (可不严格 ) ,Ａ =ｘ(ｔ1)·[ｙ(ｔ1) - ｙ(ｔ2 ) ]+ｘ(ｔ2 )[ｙ(ｔ2 ) - ｙ(ｔ3) ]+… +ｘ(ｔｎ -1) [ｙ(ｔｎ -1) -ｙ(ｔｎ) ]+ｘ(ｔｎ) [ｙ(ｔｎ) - ｙ(ｔ1) ],ｎ >1 ,ｎ∈Ｎ .则1 )若ｘ ,ｙ增减性相同 ,得Ａ≥ 0 ,且当且仅当ｘ(ｔ1) =… =ｘ(ｔｎ)或 ｙ(ｔ1) =… =ｙ(ｔｎ)时 ,Ａ =0 ;2 )若ｘ ,ｙ增减性相反 ,得Ａ≤ 0…     

一个代数不等式与一类几何不等式的指数推广

本文介绍一个代数不等式,应用它直接将一类常见的几何不等式进行指数推广．定理若ａ,ｂ,ｃ∈Ｒ＋,ｎ∈Ｎ且ｎ≥２,则ａｎ＋ｂｎ＋ｃｎ３≥（ａ＋ｂ＋ｃ３）ｎ（＊）当且仅当ａ＝ｂ＝ｃ时等号成立．证当ｎ＝２时,∵ａ２＋ｂ２＋ｃ２３－（ａ＋ｂ＋ｃ３）２＝（ａ－ｂ...     

一类优美代数不等式的加强

法国路易·巴斯德大学的Mohammed Aassila教授,在1998年9月的Crux Mathematicorum With Mathematical Mayhem杂志P304上提出了如下代数不等式: 问题1设a,b,c＞0,求证:1/a(1+b)+1/b(1+c)+1/c(1+a)≥3/1+abc(1) 该不等式曾作为2006年巴尔干数学奥林匹克试题,应用6元均值不等式,有如下简单的证明方法.     

两个新的三角不等式及应用

给出两个新的三角不等式，并将其应用于讨论角成等比的三角形形状。     

代数不等式概率证法举例

本文仅借助初等概率论中的一些简单性质，简洁巧妙地证明一些代数不等式．