一个三角形不等式猜想的否定

文[1]中,褚小光先生建立了一个涉及三角形中线和旁切圆半径的不等式:　　　　∑1m2a r2a≤92s2.(1)并且提出了如下猜想:　　　　∑1m2a r2a≥6∑a2.(2)其中a、b、c为△ABC的三边,ma、mb、mc,ra、rb、rc分别为三边上的中线和旁切圆半径,s为半周长.本文否定这一猜想,并得到定理　在非钝角三角形ABC中,有　　　　∑1m2a r2a≤6∑a2.(3)证明　根据三角形中线公式ma=122b2 2c2-a2,旁切圆半径公式ra=△s-a以及海伦公式△=s(s-a)(s-b)(s-c)(△为△ABC的面积),(3)式等价于　　　　∑a2 b2 c2m2a r2a-6≤0　∑(a2 b2 c2)-2(m2a r2a)m2a r2a≤0　…     

从一道经典的外国数学竞赛题到两个优美的三角不等式

1963年,一道经典的不等式题在莫斯科数学竞赛中应运而生.原题如下:设a,b,c∈R ,求证:a b c bc a ca b≥32(*)这个不等式的证法很多,下面本人给出一个简单的证明过程.证明由对称性,不妨设:a≥b≥c>0,则1b c≥1c a≥1a b,所以(顺序和)ab c bc a ca b≥bb c cc a aa b(乱序和),(顺     

关于三角形中线的一个不等式链

关于三角形三中线和与三边长关系，笔者最近又得到一个有趣的不等式，即以下定理设△ABC三边长为BC＝a，CA＝b，AB＝c，其对应边上的中线分别为m_a、m_b、m_c，则当且仅当△ABC为正三角形时，（1）、（2）两式取多号（以上Σ表示循环和，下同）．证明先证（1）式．根据三角形中线公式，很容易得到以下恒等式：（这里△表示△ABC的面积）．由此得到类似还有两式．于是有由此可知，要证（1）式，只需证因此④式成立，（）式获证，由证明中易知，当且仅当凸＊＊C为正三角形时（）式取等号．这时顺便指出，上述①式在证明三角形中线不等…     

凑配均值不等式常用的变形技巧

（a1，a2，…，an是正数，n∈且≥2）解证有关不等式问题，常常无法直接解决，而是先将解证的不等式进行适当的变形，凑出均值不等式的条件，再用均值不等式解决．这时，恰当的变形便成为解题的关键．下面介绍七种常用的变形技巧．1补项例1已知X＞-1，且x≠0，n∈N，求证：（1＋x）n＞1＋nx．证明例2设x1，x2，…，xn。都是正数，证明：2拆项例3已知a、b∈R ，且a≠b，求证：证明a5＋b5例5已知a、b、c∈R ，且a＋b＋c＝1，求证：证明例8已知a＋b＋c—1，＄证：rt‘＋b‘＋C‘MM．证明”．”1一（a＋b＋c）‘一a‘＋b’＋c’＋Zab＋Zbc＋…     

IMO试题与欧拉不等式

1　欧拉不等式设△ ABC外接圆半径为 R,内切圆半径为 r,则有　 R≥ 2 r ( 1 )下面寻找该不等式的几种等价形式 .记△为△ ABC的面积 ,s为半周长 ,则△ =rs=abc4R,∴　 4R△ =abc,8△2s =8r△ ,从而 R≥ 2 r等价于 abc≥ 8△2s,由海伦公式 ,又可得欧拉不等式的另一等价形式abc≥ 8( s- a) ( s- b) ( s- c) ( 2 )式 ( 2 )又等价于abc≥ ( b c- a) ( c a- b) ( a b- c) ( 3)对式 ( 3)简证如下 :a2≥ a2 - ( b - c) 2=( a b - c) ( c a - b) ,b2 ≥ b2 - ( c- a) 2=( b c- a) ( a b - c) ,c2 ≥ c2 - ( a - b) 2=( c a - b) (…     

涉及两个三角形的一个等式及其应用

定理dea，b，c，西和a’，b’，c’，凸’分别表示＊ABC和西XH0的边长和面积，为了证明（1），我们先证明：引BRx．v．x．x’．v’，z’满足由轮换时称可得我们称（7）式为“匹多”等式．（由于T＞O，Q＞O，所以由（7）式却匹多不等式H＞16面面’成立）．在（1）式中今a’一b’一c’，即面A’B’C为等边三三角形时，并设我们称（8）式为“外森比克”等式．由（1）式和（7）式可将匹多不等式加巴为：当然，由（4）、（5）、（6）式还可以得到多个区多不等式的加强．同样，由（8）式也可以得到一系列外在比克不等式的加强，限于篇幅，可…     

一个三角形不等式

定理设a、b、c为△ABC三边之长，则证明记s、R、r为△ABC的半周长、外接国半径与内切圆半径，由等及熟知径与内切圆半径，由等及熟知又由恒等式：所以①式等价于4Rs2（2R 2r）因为后一式为欧拉不等式．故由Gerretsen不等式所以①式成立．易知取等号的充要条件为△ABC是正三角形．一个三角形不等式@万锦文$湖北省咸宁鄂南高中!437100     

关于r_a、r_b、r_c的若干不等式

在△ABC中,设a、b、c为其三边;p=1/2(a b c);r_a、r_b、r_c为其三个旁切圆的半径;r、R分别为其内切圆、外接圆半径;t_a、t_b、t_c为其三条内角平分线;h_a、h_b、h_c分别为其三边上的高;△为其面积。本文证明了关于r_a、r_b、r_c的下述不等式(为节省篇幅,以下命题只写结论)。 1°9r≤3~(1/2)p≤r_a r_b r_c≤(9/2)R (1) 证易证r_a r_b r_c=4R r,以及r_ar_b r_br_c r_cr_a=p~2,由欧拉不等式R≥2r,得右边不等式。另方面,由代数不等式χ y z≥(3(χy yz zχ))~(1/2)及不等式p≥3(3~(1/2))r得r_a r_b r_c≥3~(1/2)p≥9r ∴ (1)式成立 2°27r~3≤r_ar_br_c≤(3~(1/2))/9p~3≤(27/8)R~3 (2) 证易证r_ar_br_c=rp~2,p≥3 3~(1/2)r,得r_ar_br_c≥27r~3另方面。r_ar_br_c=(r_ar_b·r_br_c·r_cr_a)~(1/2)≤     

a~(m n) b~(m n)≥a~mb~n b~ma~n在不等式证明中的应用

可以认为是基本不等式的推广.设a,b∈R ,m、n∈N,则有证明由对称性不妨设a≥b,则     

一个不等式的证明及引伸推广

贵刊 2 0 0 2年第 2期数学问题第 3题是 :设a、b、c ∈R ,且abc =1,求证 :a3(c b) (a c) b3(b c) (b a) c3(c a) (a b) ≥ 34( 1)一、关于不等式 ( 1)的证明原证明是在假定a≥b≥c的前提下运用排序不等式给出的 ,但由于不等式 ( 1)的左端不是关于a、b、c的对称式 ,故原证明有不妥之处 ,下面我们给出不等式 ( 1)的一个证明 .证明 :记不等式 ( 1)的左端为M ,由平均值不等式得a3(c b) (a c) c b8 a c8≥ 33 a364 =3a4,即 a3(c b) (a c) ≥ 5a -b-2c8.同理 ,b3(b c) (b a) ≥ 5b -c-2a8,c3(c a) (a b) ≥ 5c-2a -b8,以上三个不等式…     

关于一对不等式的推广

文[1]证明了一对有趣的不等式：设a，b，c为正数，且a＋b＋c=1，则有 （1/b＋c-a）（1/c＋a-b）（1/a＋b-c）≥（7/6）^3, （1/b＋c-a）（1/c＋a＋b）（1/a＋b＋c）≥（11/6）^3。 为了推广这两个不等式，文[1]提出下面四个命题，要求证明或否定之．     

证不等式a+b+c/3≥(abc)~(1/3)的几种方法

命题设a、b、c≥0,(a+b+c)/3≥abc~(1/3), 证明显然当a、b、c中至少有一个为零时,不等式恒成立,所以我们只就a、b、c全不为零时给出证明。方法1应用基本不等式m~2+n~2≥2mn来证明。设P>0、q>0、r>0 ∵p~2+q~2≥2pq, q~2+r~2≥2qr,r~2     

Shc22和Shc60的统一加强

设△ABC的三边BC、CA、AB分别为a、b、c，ha、hb、hc分别是相应边上的高，wa、wb、wc分别是/A、／B、／C的内角平分线，ra、rb、rc分别是相对于∠A、∠B、∠C的旁切圆半径，R、r、S、△分别是否△ABC的外接回半径、内团圆半径、半周长和面积，∑表示对a、b、c轮遍求和．刘健在艾［1」中提出如下两个清想问题：She22）：wiMMRr，（亚）She60＞：r。（w！十hZ）＜～～abc．（2）本文证明，不管式（1）和（2）可统一加强为如下不着五链：定理兰Rr‘＜r。wg＜S凸．（3）美中c是否ABC的汪意一边．于是，（3）的左半不等式成五．＿、…     

关于Miloevi不等式的加强

1991年，D．M．Milosevic建立了一个关于三角形的不等式’[1]．其中表示对a、b、c循环求和·1992年，陈计建立了下面不等式D’；＞？cos‘AZ手．（2）注意到熟知的R．Kooistera不等式［‘1．＿．、A＿3．＿、3’Sin‘二）ML．（3周才凯在文［4j中给出了（2）的一个加强：＿，－＿2－＿、A、。＞’cos’AM；（＞Isin’Y）‘．（4）最近，杨晋在文［sj中对（l）、（2）进行了强弱比较，得到：针对（4）、（5），文［5］提出了如下猜测：本文证明（6）成立，且推广为：其中kMO．证明由公式及柯西不等式，得不妨设。＞b＞C，RO由等知，…     

一道分式不等式的新证及改进

一道分式不等式：设文［1」、［Zj曾给出证明．本文将原不等式改进为再给出两种证法．先看三个引理：引理1设α1≥α2≥…≥αn＞0，0＜证明可参见［3」．引理2设αi、bi．证明可见[4]．引理3设αi、简证依引理2，并注意到幂平均不等注由题知，易得n—a＞0，而（此处由n（xf十送十…十米）＞（x；十Q＋…＋1）‘，知nb＞a‘，或nb—a‘＞0．）证法2P同证法1．不妨设x；＞x，＞…＞x－＞0，方知于是依弓l理1及幂平均不等式一道分式不等式的新证及改进@孙建斌$福建省泉州市永春县科委!3626001李长明.的灵活运用.中学数学(湖北),1996,2 2…     

《几个猜想不等式的探究》一文的商榷

贵刊文[1]在对一道不等式再思考后提出了四个猜想,其中猜想2如下:猜想2若a3 b3 c3=3,a,b,c∈R,则a b c≤3,ab bc ca≤3,abc≤1.贵刊文[2]在探讨上述猜想2时,认为“在题设条件下,可以证明前两个不等式是成立的”,其证明过程应用了一个引理:引理设p>q>0,x1,x2,…,xn为正实数,则x1     

关于函数凸性的一个不等式及应用

本文给出关于函数凸性的一个不等式,然后利用它来证明[1]中的一个不等式猜想当n≥3时成立,以及解决[2]中用凸函数的理论证明一类条件不等式时存在的瑕疵问题.定理1设函数f(x)在a,b上可导,其图像在a,c与c,b(a相似文献   

一道征解题的推广

《数学通讯》（上半月）2013年第9期问题征解150是一道不等式问题： 已知a,b,c∈R＋,试证：b3＋c3/a＋c3＋a3/b＋a3＋b3/c≥2（a2＋b2＋c2）＋3[（b-c）2＋（c-a）2＋（a-b）2].这道题的证明方法很多,下面我们先给出它的一种解答,然后用同样的证明方法证明此不等式的推广不等式.证明作差变形,并由三元均值不等式得（b3＋c3/a＋c3＋a3/b＋a3＋b3/c）-2（a2＋b2＋c2）     

Abel定理在不等式证明中的应用

文[1]介绍了数列求和的一种重要方法——Abel求和法,读后颇受启发.其实,Abel定理不仅在数列求和中十分有用,而且在证明一些著名不等式中也特别奏效,今举例说明.为方便起见,仍把Abel定理摘录如下.Abel定理　设{ak},{bk}为任意两个数列,设Sk=a1 a2 … ak　(k=1,2,…,n),则∑nk=1akbk=Snbn ∑n-1k=1Sk(bk-bk 1)例1　设a,b,c表示三角形的边长,证明:a2(b c-a) b2(c a-b) c2(a b-c)≤3abc1(第6届IMO试题)证　欲证不等式1,只须证a(ab ac-a2-bc) b(bc ab-b2-ac) c(ac bc-c2-ab)≤02由对称性知,不妨设a≤b≤c,记a1=ac bc-c2-ab,a2=bc ab-b2-ac,a3…     

一个几何不等式的简证

文 [1 ]证明了 ∑ a2t2b t2c≤ Rr(当且仅当△ ABC为正三角形时等号成立 ) .下面我们给出上述不等式的简单证明 .证明　∑ a2t2b t2c≤ ∑ a2h2b h2c≤ ∑ a22 hbhc　 =∑ a2 bc8Δ2 =abc4Δ∑ a2Δ=R .1r =Rr.由上述证明过程可知 ,我们得到了比∑ a2t2b t2c≤ Rr更强的不等式 ∑ a2h2b h2c≤Rr(当且仅当△ ABC为正三角形时等号成立 )故有不等式链 :2≤ ∑ a2t2b t2c≤ ∑ a2h2b h2c≤ Rr一个几何不等式的简证!528219$广东省南海市南庄高中@郝迎利1　张才元,陶兴模.一个猜想的否定.中学数学,1999,8…