一道IMO题的简证及加强

一道ＩＭＯ题的简证及加强３３０３０４江西永修县一中宋庆第３６届（１９９５年）国际数学奥林匹克试题第２题是：设ａ，ｂ，ｃ为正实数且满足ａｂｃ＝１．试证：证明由题设及均值不等式．易得其实，上题尚可进一步加强为如下命题若ａ，ｂ，ｃ为正实数且满足证明令ｘ，ｙ...     

一道IMO题的对偶式与面积解释

第２４届ＩＭＯ第６题是：在△ＡＢＣ中，ａ、ｂ、ｃ是三边长，求证：ａ２ｂ（ａ－ｂ）＋ｂ２ｃ（ｂ－ｃ）＋ｃ２ａ（ｃ－ａ）≥０．（１）文［１］指出了它的下述对偶形式：ａｂ２（ａ－ｂ）＋ｂｃ２（ｂ－ｃ）＋ｃａ２（ｃ－ａ）≤０，（２）并给出了统一的距离解释．即不等式（１）、（２）的几何解释为：三角形内Ｂｒｏｃａｒｄ点到内心的距离非负．受此启发，笔者研究了第６届ＩＭＯ第２题：在△ＡＢＣ中，ａ、ｂ、ｃ是三边长，求证：　ａ２（ｂ＋ｃ－ａ）＋ｂ２（ａ＋ｃ－ｂ）＋ｃ２（ａ＋ｂ－ｃ）≤３ａｂｃ，（３）发现它也有如下的…     

一道IMO数论试题的实多项式模拟

１９８８年,联邦德国为第２９届ＩＭＯ提供了下面这道有名的数论试题：已知正整数ａ与ｂ,使得ａｂ＋１整除ａ２＋ｂ２,求证ａ２＋ｂ２ａｂ＋１是某个正整数的平方．在［１］里,我们证明了如下的精确结果：若正整数ａ与ｂ使得ａｂ＋１整除ａ２＋ｂ２,则必有ａ２＋ｂ２ａｂ＋１＝（ａ,ｂ）２,这里（ａ,ｂ）是ａ和ｂ的最大公约数．在［２］里,我们把这个结果进一步地推广为如下形式：如果ａ、ｂ、ｃ都是正整数,使得０＜ａ２＋ｂ２－ａｂｃ≤ｃ＋１,那么ａ２＋ｂ２－ａｂｃ＝（ａ,ｂ）２,其中（ａ,ｂ）为ａ和ｂ的最大公约数．在…     

一道IMO试题的除法证法

一道ＩＭＯ试题的除法证法２１１２２２江苏溧水县石湫中学童林玲题已知正整数ａ与ｂ使得ａｂ＋１整除ａ２＋ｂ２，求证：是某个正整数的平方．（第２９届ＩＭＯ第６题）本文拟用带金除法给出一个简明证法．证明作除法，有：因此，其中（ａ，ｂ）是ａ，ｂ两数的最大公约数...     

第七届初中《祖冲之杯》数学邀请赛试题及解答

第七届初中《祖冲之杯》数学邀请赛试题及解答一、选择题（满分３６分．每小题答对６分．不答给１分，答错、缺考均得０分．）１．如果实数ａ，ｂ，ｃ满足ａｂｃ＞０，ａ＋ｂ＋ｃ＝０．ａ＜－ｂ＜ｃ．那么ａ、ｂ．ｃ的符号为答［Ｃ］（Ａ）ａ＞０．ｂ＞０．Ｃ＞０（Ｂ）ａ...     

对一道IMO试题的解析

对一道ＩＭＯ试题的解析４３００６２湖北大学数学系沈华１９８８年，联邦德国为第２９属ＩＭＯ提供了下面这道有名的试题．已知正整数ａ与ｂ，使得ａｂ＋１整除ａ２＋ｂ２，求证：是某个正整数的平方．在ａ≥ｂ时，［１］通过下面的算式：断言，从而得到进而结出了如下的...     

构造二项平方和函数证不等式

对于某些不等式证明题,我们若能根据其条件和结论,结合判别式的结构特征,通过构造二项平方和函数：ｆ（ｘ）＝（ａ１ｘ－ｂ１）２＋（ａ２ｘ－ｂ２）２＋…＋（ａｎｘ－ｂｎ）２,由ｆ（ｘ）≥０,得Δ≤０,就可以使一些用一般方法处理较繁的问题,获得简捷、明快的证明．例１　已知ａ,ｂ,ｃ∈Ｒ＋,求证：ａ２ｂ＋ｃ＋ｂ２ｃ＋ａ＋ｃ２ａ＋ｂ≥ａ＋ｂ＋ｃ２．（第二届“友谊杯”国际数学邀请赛题）证　构造函数ｆ（ｘ）＝（ａｂ＋ｃｘ－ｂ＋ｃ）２＋（ｂｃ＋ａｘ－ｃ＋ａ）２＋（ｃａ＋ｂｘ－ａ＋ｂ）２＝（ａ２ｂ＋ｃ＋ｂ２ｃ＋ａ＋…     

也谈两个不等式的统一

《数学通报》１９９７年第１０期，给出了《数学通报》１９９６年第５期第１０１３题：“设ａ，ｂ，ｃ∈Ｒ＋，且ａｂｃ＝１，试证：１ａ３（ｂ＋ｃ）＋１ｂ３（ｃ＋ａ）＋１ｃ３（ａ＋ｂ）≥３２以及《数学通报》１９９７年第２期第１０５８题：在上题同样的条件下试证：...     

一条件恒等式证明之我见

一条件恒等式证明之我见徐鸿迟（江苏省泰州中学２２５３００）考察这样的问题：已知ａ＋ｂ＋ｃ＝ａｂｃ，求证ａ（１－ｂ２）（１－ｃ２）＋ｂ（１－ｃ２）（１－ａ２）＋ｃ（１－ａ２）（１－ｂ２）＝４ａｂｃ．徐南昌在［１］中用数学审美的目光发现了下面的“证法”：...     

数学问题解答

１９９９年１月号问题解答（解答由问题提供人给出）１１７１已知：ａ,ｂ,ｃ∈Ｒ＋,且ａｂｃ≤１．求证：ａ＋ｂｃ＋ｂ＋ｃａ＋ｃ＋ａｂ≥２（ａ＋ｂ＋ｃ）（１）证明（ｉ）当ａｂ＋ｂｃ＋ａｃ≥ａ＋ｂ＋ｃ时,ａ＋ｂｃ＋ａ＋ｂ＝（ａ＋ｂ）（１ｃ＋１）≥（ａ＋ｂ）（...     

一个错误命题的反例构造

１９６６年第２期《数学通报》上刊有一篇题为《有一组对边相等和一组对角相等的四边形是平行四边形吗？》（以下简称为《四边形》）的文章,作为数学教师当然知道这是个错误命题,但是文章始终未给出反例的作法．图１其实这个问题并不难解决,下面我们从这个命题的条件分析起．如图１,四边形ＡＢＣＤ中∠Ａ＝∠Ｃ＝α,ＡＤ＝ＢＣ＝ａ,ＡＢ＝ｂ,ＤＣ＝ｃ,ＢＤ＝ｅ,由余弦定理得　　ｅ２＝ａ２＋ｃ２－２ａｃｃｏｓα,　　ｅ２＝ａ２＋ｂ２－２ａｂｃｏｓα．∴　ａ２＋ｃ２－２ａｃｃｏｓα　＝ａ２＋ｂ２－２ａｂｃｏｓα,ｂ２－ｃ…     

十二省市(辽宁、云南、湖南、乌鲁木齐、昆明、哈尔滨、山西、广西、西宁、河南、嘉兴等、甘肃)填空题集萃

数与式１．计算９３ｘ－７１２ｘ＋２６·３８ｘ＝．２．－１３的倒数是．３．（－６）２＝．４．２０００用科学记数法表示为．５．ａ的３倍与ｂ的一半的和用代数式表示为．６．分解因式ａ２－２ａｂ＋ｂ２－ｃ２＝．７．配上适当的数,使等式ｘ２－ｘ＋１＝（ｘ－）２＋成立．８．３５的相反数是,｜－６｜＝．９．用科学记数法表示：５７００００＝．１０．分解因式：ａ－ａｂ２＝．１１．已知线段ａ＝４ｃｍ,ｂ＝９ｃｍ,则线段ａ、ｂ的比例中项ｃ＝ｃｍ．１２．化简：ａ（ａ－１）２－（ａ＋１）（ａ２－ａ＋１）＝．１３．计算：（ａ…     

巧证定理:a~3 b~3 c~3≥3abc(a,b,c∈R~ )

介绍一种定理证明的较简单的方法：∵ａ，ｂ，ｃ∈Ｒ＋∴（ａ３＋ｂ３）＋（ｃ３＋ａｂｃ）≥２ａ３ｂ３＋２ａｂｃ４≥２·２ａ３ｂ３·ａｂｃ４＝４ａｂｃ∴ａ３＋ｂ３＋ｃ３≥３ａｂｃ并且仅当ａ３＝ｂ３，ｃ３＝ａｂｃ，且ａ３ｂ３＝ａｂｃ４ａ＝ｂ＝ｃ时，上式才取等...     

评第41届IMO第2题

20 0 0年第 4 2届ＩＭＯ的第 2题是 :设ａ ,ｂ ,ｃ∈Ｒ ,且ａｂｃ =1.求证 :(ａ - 1 1ｂ) (ｂ - 1 1ｃ) (ｃ - 1 1ａ)≤ 1( 1)此题是一道陈题的变形 .事实上 ,由ａｂｃ =1,不妨设ａ =ｘｙ ,ｂ =ｙｚ ,ｃ=ｚｘ (ｘ ,ｙ ,ｚ∈Ｒ )代入 ( 1)式 ,得( ｘｙ - 1 ｚｙ) ( ｙｚ - 1 ｘｚ) ( ｚｘ - 1 ｙｘ)≤ 1 (ｘ ｚ - ｙ) (ｘ ｙ -ｚ) ( ｙ ｚ -ｘ)≤ｘｙｚ . ( 2 )( 2 )式是 1983年瑞士国际数学竞赛题之一 .关于它的证明较多 .其中最简单的莫过于如下证法 :由　ｘ2 ≥ｘ2 - ( ｙ -ｚ) 2=(ｘ ｙ -ｚ) (ｚ ｘ - ｙ) ,ｙ2 ≥ ( ｙ ｚ -ｘ) (…     

一个不等式的简洁证明

在江苏省吴县市召开的’９９全国不等式研究学术会议上,中国科学院成都计算机应用研究所杨路教授应用通用软件ＢＯＴＴＥＭＡ给出以下不等式的一个“机器证明”：若ａ、ｂ、ｃ为正数,则ａｂ＋ｃ＋ｂｃ＋ａ＋ｃａ＋ｂ＞２．这里,笔者给出此不等式的一个简洁的“可读证明”．证明　∵　（ｂ＋ｃ－ａ）２≥０,∴　（ａ＋ｂ＋ｃ）２≥４ａ（ｂ＋ｃ）,∴　１ｂ＋ｃ≥４ａ（ａ＋ｂ＋ｃ）２,∴　ａｂ＋ｃ≥２ａａ＋ｂ＋ｃ,同理可得　ｂｃ＋ａ≥２ｂａ＋ｂ＋ｃ,ｃａ＋ｂ≥２ｃａ＋ｂ＋ｃ．以上三式相加,且注意到三式等号不同时成立,便得ａ…     

一道USAMO赛题的别证及引伸

１９９７年第２６届美国数学奥林匹克试题５：证明对所有正实数ａ、ｂ、ｃ满足（ａ３＋ｂ３＋ａｂｃ）－１＋（ｂ３＋ｃ３＋ａｂｃ）－１＋（ｃ３＋ａ３＋ａｂｃ）－１≤（ａｂｃ）－１．（１）文［１］给出了该命题的简证．其实,该命题还可简证如下：证明由ａ＋ｂ＞０及...     

一道夏令营选拔赛试题推广的加强与再推广

１９９２年江苏省数学夏令营选拔赛试题第二题：已知三角形的三边长为ａ，ｂ，ｃ．求证：２ａ２＋ｂ２＋ｂ２＋ｃ２＋ｃ２＋ａ２ａ＋ｂ＋ｃ＜３（１）文［１］将其推广为：已知三角形的三边长为ａ，ｂ，ｃ，λ∈［－２，２］，则２＋λ１ａ＋ｂ＋ｃ（ａ２＋λａｂ＋ｂ...     

分式目标检测题(A)

一、判断题（每小题２分,共１０分）１．含有分母的代数式是分式．（　）２．整式和分式统称有理式．（　）３．ａ２－ｂ２ａ＋ｂ＝ａ２－ｂ２÷ａ＋ｂ．（　）４．－ａｂ＝ａ－ｂ＝－ａｂ．（　）５．当ａ≠０时,方程ａｘ－ｂ＝０的解是ｘ＝ｂａ．（　）二、填空题（每小题２分,共２０分）１．有理式－ａ２,１ｘ,－２ｘ３,ｎ－１３ｍ,１ｘ－２ｙ中,属于分式的有个．２．当ｘ＝时,分式ｘ－３２ｘ＋１的值为零,当ｘ时,分式ｘ２ｘ－３有意义．３．（１）ｙｘ＝（　　）ｘ２,（２）ｃ２ａｂ＝ｃ２（　　）（ｃ≠０）４．使分式２３…     

一个不等式的证法与推广

若ａ、ｂ、ｃ∈Ｒ＋,且ａ＋ｂ＋ｃ＝１,则ｂｃａ＋ａｃｂ＋ａｂｃ＋ａｂｃ＋ｂａｃ＋ｃａｂ≥１０．证明ｂｃａ＋ａｃｂ＋ａｂｃ＋ａｂｃ＋ｂａｃ＋ｃａｂ＝１２［ａ（ｃｂ＋ｂｃ）＋ｂ（ｃａ＋ａｃ）＋ｃ（ｂａ＋ａｂ）＋１ａ（ｃｂ＋ｂｃ）＋１ｂ（ｃａ＋ａｃ）＋１ｃ...     

两个不等式的统一及其联想

两个不等式的统一及其联想吴丹桂（江西景德镇高等专科学校３３３０００）本文对数学通报问题解答栏的两个不等式进行统一推广，并对所用的方法进行一些联想．通报１９９６年第５期第１０１３题：设ａ，ｂ，ｃ∈Ｒ＋，且ａｂｃ＝１，试证：１ａ３（ｂ＋ｃ）＋１ｂ３（ｃ＋...