对称式·循环对称式·排序法——从W·Janous猜想想到的

问题:设x、y、z∈R~ , 求证:(y~2-x~2)/(z x) (z~2-y~2)/(x y) (x~2-z~2)/(y z)≥0.(W·Janous猜想),最先发表在加拿大《数学难题》杂志1612期上,近年我国中数界对此很感兴趣,遗憾的是发表在一些杂志上有的证明草率地用了排序法致错,原因在于对对称,循环     

巧代换证明W.Janous不等式

设 x,y,z∈R~ ,求证:(y~2-x~2)/(z x) (z~2-y~2)/(x y) (x~2-z~2)/(y z)≥0这个不等式就是 W.Janous 的猜测不等式,很多数学刊物上介绍了这一猜测的多种证明方法,这里笔者再给出一种更为简捷的证明方法.证明:设 x y=a,y z=b,z x=     

W·Janoux猜想的演变与统一证法

设x、y、z >0,则(y~2-x~2)/(z x) (z~2-y~2)/(x y) (x~2-z~2)/(y z)≥0这个条件不等式为原载于加拿大《数学难题》杂志的一个难题,被称为W·Janoux猜想,它曾经引起众多数学爱好者的关注.人们从各种不同的角度,采取了不同的思想方法,证明了这个猜想的正确性.本义首先给出这个猜想的一件简单证法.然后谈谈它的各种演变形文和统一证法.     

一个不等式的几何证法及推广

问题:x,y,z∈0,(π)/(2),求证:cos(y-z)*cos(z-x)*cos(x-y)≥sin 2x*sin 2y*sin 2z.     

W.Janous猜想的再推广

W.Janous 猜想:设 x、y、z>0,则 (y~2-x~2)/(z x) (z~2-y~2)/(x y) (x~2-z~2)/(y z)≥0 (1)近几年,不少刊物发表文章给出这一猜想的证明和推广形式,其中文[1]的参数形式的推广很有适应性,印命题1 设 x_i∈R~ (i=1、2、…、n),α、β、γ∈R,λ>0,且1-λx_i~γ>0(i=1、2、…、n),则当αβγ≥0时,     

IMO46-3的推广与加强

第46届国际数学奥林匹克第3题是:设x,y,z 为正数且 xyz≥1,求证:(x~5 x~2)/(x~5 y~2 z~2) (y~5 y~2)/(x~2 y~5 z~2) (z~5-z~2)/(x~2 y~2 z~5)≥0 ①本文给出这道题的推广与加强.命题1 设 x,y,z 为正数且 xyz≥1,k,m     

分式不等式的置换证法

本刊1992年第六期《“配偶”技巧的应用》一文中的例1如下,设x、y、z是正数,求证: (y~2-x~2)/(z x) (z~2-y~2)/(x y) (x~2-z~2)/(y z)≥0 (1) 上述这个不等式的背景实际上称作W Janous猜想,在《数学通讯》1992年第4期上作为数学难题刊载出来,据供题人称,此题选自《Crux》1612(即加拿大《数学难题》杂志) 由本刊及《数学通讯》上给出的两种证法实际上是同一种方法,显得繁琐。由此,我们不禁要问,对于一些分式不等式的证明,是否一定要实施通分或用排序原理等手段来完成呢?有无更好的一些方法?回答是肯定的。本文拟介绍一种较为简洁而又实用的分母置换证法,以供教学中参考。我们先以证明W.Janous猜测为例。如若     

一个不等式的推广

文 [1 ]中有如下一个不等式 :设 0 相似文献   

对一个猜想的探讨

本刊96年第2期,杨定华同志给出了不等式(y_n-x~n)/(z x) (z~n-y~n)/(x y) (x~n-z~n)/(y z)≥0的证明及猜想.本文要对此做进一步探讨.一原证明中出现错误     

一个不等式的新证

1996年<中等数学>第2期数学奥林匹克题初40题为:已知x,y,z为正实数,求证:(x)/(2x y z) (y)/(x 2y z) (z)/(x y 2z)≤(3)/(4).     

一个数学问题的源与流

<数学通报>2003年10月号1460题为: 设m∈N ,x、y、z∈R 且xyz=1,求证:(xm)/((1 y)(1 z)) (ym)/((1 z)(1 x)) (zm)/((1 x)(1 y))≥(3)/(4)①     

一个流行不等式的再推广及统一证明

1993年,冯跃峰老师在《上海中学数学》第2期上提出一个不等式问题:已知x,y,z∈R~ ,x y z=1,求证:(x~4)/(y(1-y)) (y~4)/(z(1-z)) (z~4)/(x(1-x))≥1/6.(1) 1994年,尹文华老师将其推广,得到如下结果:     

有条件的分式求值的若干技巧

1 巧引参数 例1 已知(x)/(2)=(y)/(3)=(z)/(4),那么(x2-2y2 3z2)/(xy 2yz 3zx)的值等于＿. (1997年"希望杯"初中数学邀请赛初二题) 解设(x)/(2)=(y)/(3)=(z)/(4)=k(k≠0),则x=2k,y=3k,z=4k, 所以(x2-2y2 3z2)/(xy 2yz 3zx)=(4k2-18k2 48k2)/(6k2 24k2 24k2)=(34k2)/(54k2)=(17)/(27).     

一个不等式证法的优化

本文给出不等式x/(1 x xy) y/(1 y yz) z/(1 z zx)≤1(其中x,y,z∈R_ )的一种最简单的证法。这种证法只需引用不等式(a b c)(1/a 1/b 1/c)≥9 (*)其中a,b,c∈R~ 。 令a=x/(1 x xy),b=y/(1 y yz),c=z/(1 z zx)易知 1/a 1/b 1/c=1/x 1 y 1/y 1 z 1/z 1 x=3 (x 1/x) (y 1/y) (z 1/z)≥3 2 2 2=9,当且仅当x=y     

几个数学问题的加强

1 (<数学通报>2009年1月号问题1772)设x、y、z ∈R+.试证: y+z/2x+z+x/2y+x+y/az≥2x/y+z+2y/z+x+2z/x+y (1) 今给出(1)式的一个加强推广,供参考.     

也证一个猜想不等式

文 [1]中提出如下一个猜想不等式 :设 x,y,z∈ R ,则有xx y yy z zz x≤ 322 .(1)文 [2 ]应用导数给出了 (1)式的一个证明 .其实利用现行高中课本《代数》下册 (必修 )第 15页上的一道习题 :(a2 b2 ) (c2 d2 )≥ (ac bd) 2 . (2 )(a,b,c,d∈ R)即可获得 (1)式的一个简洁的初等证明 .证明　由抽屉原则知 :xx y,yy z,zz x中至少有两个不小于 (或不大于 )12 ,由轮换对称性 ,不妨设它们是 xx y,yy z,则有(xx y- 12 ) (yy z- 12 )≥ 0 ,可化为12(xx y yy z)≤ xx y· yy z 12 .又由不等式 (2 ) ,可得(x y) (y z)≥ xy yz,∴ xy(x y) (y z) ≤ …     

介绍一个不等式

高中代数下册(必修)第12页的练习中有这样一个不等式: x/y y/x≥2(x、y∈R~ )。 在某些资料中有另一个不等式: x/(y z) y/(z x) z/(x y)≥3/2(x、y、z∈R~ )。 一般地,对于n个正数,我们有: 定理:设x_1,x_2,…,x_n均为正数,且x_1 x_2 … x_n=A,则 x_1/A-x_1 x~2/A-x_2 … x_n/A-x_n≥n/n-1(n∈N,且n≥     

W.Janous猜测的幂指推广

《中学数学》(苏州大学)1993年第1期与第5期集锦栏对著名的W.Janous猜测: “设x、y、z都是正数,则有y~2-x~2/z+x+z~2-y~2/x+y+x~2-z~2/y+z≥0”给出了两个简证。现可子以推广,得到: 命题设x、y、z都是正教,m、n均为自然数,则有(y~m-x~m)/(z~n+x~n)+(z~m-y~m)/(x~n+y~n)+(x~m-z~m)/(y~n+z~n)≥0. 下面利用对称思想给出一个巧妙的证法。证明:因为命题中不等式左边是一个关于x、y、z的轮换对称式.所以可设x≥y≥z,于是, 左式=((y~m-x~m)/(z~n+x~n)-(y~m-x~m)/(y~n+z~n))+((z~m-y~m)/(x~n+y~n)-(z~m-y~m)/(y~n+z~n))=(y~m-x~m)·(y~n-x~n)/((z~n+x~n)(y~n+z~n)) +(z~m-y~m)·(z~n-x~n)/((x~n+y~n)(y~n+z~n)) 又对任何自然数p,有a~p-b~p=(a-b)(a~(p-1)+a~(p-2)b+…+b~(p-1))。从而,左式     

三个不等式之间隐含的关系

观察下面三个问题 :( 1 )设a、b、c为△ABC的三边 .求证 :a2 b(a -b) +b2 c(b -c) +c2 a(c-a)≥ 0 .①(第 2 4届IMO)( 2 )若x、y、z∈R+,则x·x +yx +z+y·y +zy +x+z·z+xz+y≥x +y +z.②( 1 992 ,国际“友谊杯”数学邀请赛 )( 3)设x、y、z∈R+,求证 :x2 ·y +zy +x+y2 ·z+xz+y+z2 ·x +yx +z≥xy +yz+zx .③这三个不等式均不难证明 ,此处从略 .今将揭示他们之间隐含的内在联系 .1 .建立对应关系 ,揭示①可转化为②众所周知 ,对于任意△ABC的三边a、b、c,总可找到这样的正数x、y、z,使得a =y +z,b =z+x ,c =x +y .于是 ,式①化为(y+z…     

巧用函数思想解一数学难题

命题设x、y、z是正数，求此题原是W·Janoux猜想，选自加拿大《数学难题》杂志1612期，后作为数学难题刊在湖北《数学通讯》1992年4期上，引起读者极大兴趣，该刊1992年5期，上海《数学教学》1992年6期和1993年4期及湖北《中学数学》1993年7期，都对此问题进行讨论．但其证法都是利用不等式有关知识直接证明．今给出一种函数证法．于是，二次函数f(t)=t~2-(t~2-(y~2 z~2)t (y~4-y~2z~2 z~4)，有f(t)≥0.从而，对于正数x、y、z,W≥0.即命题获证．巧用函数思想解一数学难题@赵临龙$陕西安康师专数学系…