一个代数不等式的证明

一个代数不等式的证明４１０１２８湖南农业大学２２５＃陈宽红定理设ｘ，ｙ，ｚ∈Ｒ且ｘ＋ｙ＋ｚ＝０，ｎ∈Ｎ，则这是福建杨学枝老师于１９９４年提出的一个猜想，本文将证明此猜想．证（１）当ｎ＝１，２时，①式显然成立．（２）考察ｎ≥３，ｎ∈Ｎ的情形．１°若ｘ，...     

空间曲线在奇异点处的性态

本文讨论了空间曲线ｘ＝ｘ（ｔ），ｙ＝ｙ（ｔ），ｚ＝ｚ（ｔ）上奇异点的性态，结果表明：若［ｘ（ｋ）（ｔ０）］２＋［ｙ（ｋ）（ｔ０）］２＋［ｚ（ｋ）（ｔ０）］２＝０，ｋ＝１，２，…，ｎ－１，而［ｘ（ｎ）（ｔ０）］２＋［ｙ（ｎ）（ｔ０）］２＋［ｚ（ｎ）（ｔ０）］２≠０，则当ｎ为奇数时，曲线在点Ｍ０（ｘ０，ｙ０，ｚ０）是光滑的；当ｎ为偶数时，曲线在点Ｍ０（ｘ０，ｙ０，ｚ０）是不光滑的     

关于Thue方程的解数

设ｍ是正整数，ｆ（Ｘ，Ｙ）＝ａ０Ｘｎ＋ａ１Ｘ（ｎ－１）Ｙ＋．．．＋ａｎＹｎ∈Ｚ［Ｘ，Ｙ］是Ｑ上不可约化的叫ｎ（ｎ≥３）次齐次多项式。本文证明了：当ｇｃｄ（ｍ，ａ０）＝１，ｎ≥４００且ｍ≥１０（３５）时，方程｜ｆ（ｘ，ｙ）｜＝ｍ，ｘ，ｙ∈ｚ，ｇｃｄ（ｘ，ｙ）＝１，至多有６ｎｖ（ｍ）组解（ｘ，ｙ），其中ｖ（ｍ）是同余式Ｆ（ｚ）＝ｆ（ｚ，１）≡０（ｍｏｄｍ）的解数。特别是当ｇｃｄ（ｍ，ＤＦ）＝１时，该方程至多有６ｎ（ω（ｍ）＋１）组解（ｘ，ｙ），其中ＤＦ是多项式Ｆ的判别式，ω（ｍ）是ｍ的不同素因数的个数．     

一个代数不等式的推广

文［１］将Ｐｏｐｏｖｉｃｉｕ不等式修正为：“设ｘｉ,ｙｉ≥０（ｉ＝１,２,…,ｎ）,且ｘｐ１－∑ｎｉ＝２ｘｐｉ＞０和ｙｐ１－∑ｎｉ＝２ｙｐｉ＞０,其中０＜ｐ≤２,则（ｘｐ１－∑ｎｉ＝２ｘｐｉ）（ｙｐ１－∑ｎｉ＝２ｙｐｉ）≤（ｘ１ｙ１－∑ｎｉ＝２ｘｉｙｉ）ｐ①当且仅当ｐ＝２且ｘ１ｙ１＝ｘ２ｙ２＝…＝ｘｎｙｎ时,①式取等号”．这里,应加上“当０＜ｐ≤２,ｘ２＝ｘ３＝…＝ｘｎ＝ｙ２＝ｙ３＝…＝ｙｎ＝０时,①也取等号”才完整．本文我们将不等式①进一步推广为：定理　设ｘｉｊ＞０（ｉ＝１,２,…,ｍ,ｊ＝１…     

方程xy+yz+zx=n的正整数解

本文用 Ｓｉｅｇｅｌ－Ｔａｔｕｚａｗａ定理证明了：当ｎ＞１．２×１０~１１时,至多有两个正 整数ｎ。使方程ｘｕ＋ｙｚ＋ｚｘ＝ｎ无适合（ｘ,ｙ,ｚ）＝１且０＜ｘ＜ｙ＜ｚ的解（ｘ,ｙ,ｚ）, 并给出类数为２的二次域与多项式表素数的一个结果．     

数学问题解答

数学问题解答１９９４年１１月号问题解答（解答由问题提供人给出）９２１若ｘ，ｙ，ｚ∈Ｒ＋，且ｘ＋ｙ＋＝１．求证：证明依柯西不等式得（１２＋１２＋１２）（Ｘ２＋ｙ２＋ｚ２）≥当ｘ＝ｙ＝ｚ＝时取等号）。再由柯西不等式得时取等号）．原不等式成立．９２２在△Ａ...     

对称三角形不等式的一种新证法

引理　设Ｔ≥０,ｘ、ｙ、ｚ≥０,则Ｔ≥∑ｘ的充要条件为：（Ｔ２－∑ｘ２）２－８∏ｘ·Ｔ－４∑ｙ２ｚ２≥０,①且　　　　　　Ｔ２≥∑ｘ２．②证明　若Ｔ≥∑ｘ,则②式明显成立,且　（Ｔ＋∑ｘ）（Ｔ２－∑ｘ２＋２∑ｙｚ）－８∏ｘ≥２∑ｘ·４∑ｙｚ－８∏ｘ≥０,根据　（Ｔ２－∑ｘ２）２－８∏ｘ·Ｔ－４∑ｙ２ｚ２＝（Ｔ－∑ｘ）［（Ｔ＋∑ｘ）（Ｔ２－∑ｘ２＋２∑ｙｚ）－８∏ｘ］,③知①式成立．若①、②式成立,则　（Ｔ＋∑ｘ）（Ｔ２－∑ｘ２＋２∑ｙｚ）－８∏ｘ≥（∑ｘ２＋∑ｘ）·２∑ｙｚ－８∏ｘ≥（３＋３）（…     

一个代数不等式的初等证法

一个代数不等式的初等证法江海涛袁昌斌（安徽马鞍山高级职业学校２４３０１１）福建杨学枝老师１９９４年提出了如下猜想：设ｘ，ｙ，ｚ∈Ｒ，且ｘ＋ｙ＋ｚ＝０，ｎ∈Ｎ，则２ｎ１（ｘ２ｎ＋ｙ２ｎ＋ｚ２ｎ）（ｘ２＋ｙ２＋ｚ２）ｎ（１）１９９６年，湖南农业大学陈...     

一个变形的启发

在推导椭圆、双曲线的标准方程时,我们知道,当２ａ＞２ｃ时,（ｘ－ｃ）２＋ｙ２＋（ｘ＋ｃ）２＋ｙ２２ａ等价于ｘ２ａ２＋ｙ２ｂ２１（其中ｂ２＝ａ２－ｃ２）;当２ａ＜２ｃ时,｜（ｘ－ｃ）２＋ｙ２－（ｘ＋ｃ）２＋ｙ２｜２ａ等价于ｘ２ａ２－ｙ２ｂ２１（其中ｂ２＝ｃ２－ａ２）．因而类似一些根式方程与不等式的求解问题就可以考虑用椭圆或双曲线的方程来处理．首先给出下列两个命题：命题１　对（ｘ－ｃ１）２＋ｎ２＋（ｘ－ｃ２）２＋ｎ２ｍ（ｃ１＜ｃ２,ｎ≠０）（１）当ｍ＞ｃ２－ｃ１时,①与（ｘ－ｃ）２ａ２＋ｎ…     

数学问题解答

１９９９年７月号问题解答（解答由问题提供人给出）１２０１．已知ｘ,ｙ,ｚ都是正实数,且满足ｘ·ｙ·ｚ＝１;求证ｘ２ｙ＋ｚ＋ｙ２ｚ＋ｘ＋ｚ２ｘ＋ｙ≥３２;证明：设ｓ＝ｘ＋ｙ＋ｚ,则ｘ２ｙ＋ｚ＋ｙ２ｚ＋ｘ＋ｚ２ｘ＋ｙ＝ｘ２ｓ－ｘ＋ｙ２ｓ－ｙ＋ｚ２ｓ－ｚ＝ｘ２ｓ－ｘ＋ｘ＋ｙ２ｓ－ｙ＋ｙ＋ｚ２ｓ－ｚ＋ｚ－ｓ＝ｓ·ｘｓ－ｘ＋ｙｓ－ｙ＋ｚｓ－ｚ－ｓ＝ｓ·ｘｓ－ｘ＋１＋ｙｓ－ｙ＋１＋ｚｓ－ｚ＋１－３－ｓ＝ｓ２·１ｓ－ｘ＋１ｓ－ｙ＋１ｓ－ｚ－４ｓ≥ｓ２·３２（ｓ－ｘ）＋（ｓ－ｙ）＋（ｓ－ｚ）－４ｓ＝９２ｓ－４ｓ…     

一个不等式的图证及推广

题目：若ｘ,ｙ,ｚ为正实数,则ｘ２＋ｘｙ＋ｙ２＋ｙ２＋ｙｚ＋ｚ２＋ｚ２＋ｚｘ＋ｘ２≥３（ｘ＋ｙ＋ｚ）;（当ｘ＝ｙ＝ｚ时取等号）;文［１］中,对上述不等式提出一个简洁图证;本文再对该不等式给出一个更具一般意义的有效图证,并进而给出其推广及证明;证明：原不等式左边等于ｘ＋ｙ２２＋３２ｙ２＋ｙ＋ｚ２２＋３２ｚ２＋ｚ＋ｘ２２＋３２ｘ２;构造图（１）,设ＡＦ＝ｘ＋ｙ２,ＤＧ＝ｙ＋ｚ２,ＥＨ＝ｚ＋ｘ２,ＤＦ＝３２ｙ,ＥＧ＝３２ｚ,ＢＨ＝３２ｘ;由勾股定理得：ＡＢ＝ＡＣ２＋ＢＣ２＝ｘ＋ｙ２＋ｙ＋ｚ２＋ｚ＋ｘ２…     

不等式x~3 y~3 z~3≥3xyz的几何证法

我们先证ｘ２＋ｙ２≥２ｘｙ（ｘ、ｙ∈Ｒ＋,当ｘ＝ｙ时,等号成立）证明　如图１,设正方形ＡＢＣＤ的边长为ｘ,正方形ＢＥＦＪ的边长为ｙ,在ＡＢ上取ＡＨ＝ｙ,则ＨＢ＝ｘ－ｙ,故ＨＥ＝ＨＢ＋ＢＥ＝ｘ－ｙ＋ｙ＝ｘ,∴　Ｓ矩ＡＨＰＤ＝Ｓ矩ＨＥＦＫ＝ｘｙ．由图１显然有　Ｓ正ＡＢＣＤ＋Ｓ正ＢＥＦＪ≥Ｓ矩ＡＨＰＤ＋Ｓ矩ＨＥＦＫ,即　　　ｘ２＋ｙ２≥２ｘｙ（当且仅当ｘ＝ｙ时,等号成立）再证　ｘ３＋ｙ３＋ｚ３≥３ｘｙｚ（ｘ、ｙ、ｚ∈Ｒ＋,当且仅当ｘ＝ｙ＝ｚ时,等号成立）证明　如图２,设三个正方体ＶＡＢ、ＶＣＤ、ＶＥＦ…     

数学问题解答

１９９９年４月号问题解答（解答由问题提供人给出）１１８６设ｎ∈Ｎ,ｎ≥２,ｋ∈Ｒ＋,求函数ｙ＝ｘｎｘ－ｋ（ｘ∈（ｋ,＋∞））的最小值．解由均值不等式ｘ１＋ｘ２＋…＋ｘｎｎ≥ｎｘ１ｘ２…ｘｎ得ｘ１ｘ２…ｘｎ≤（ｘ１＋ｘ２＋…＋ｘｎｎ）ｎ∵ｙ＝ｘｎｘ－ｋ...     

巧解一次方程组

解一次方程组的思想是消元，消元后转化为一元一次方程．但还要注意仔细观察，认真分析题目的特征、巧妙、灵活地运用消元法来解题．例１　解方程组（１）２ｘ＋ｙ－ｚ＝２，ｘ＋２ｙ＋３ｚ＝１３，－３ｘ＋ｙ－２ｚ＝－１１；　①②③（２）ｘ＋２ｙ－３ｚ＝－４，４ｘ＋８ｙ＋９ｚ＝５，２ｘ＋６ｙ－９ｚ＝－１５．　①②③分析　上面两题若逐步消元，都比较麻烦．仔细观察，发现方程组（１）三式相加可得ｙ；而方程组（２）呢，可先整体消元求出ｘ和ｚ，于是得妙解．（１）解　由①＋②＋③得４ｙ＝４，即ｙ＝１．把ｙ＝１代入①、②，得…     

一个递推关系导出的不等式链

文［１］给出了杨学枝老师提出的一个不等式的证明．本文利用一个递推关系给出这一不等式的一个加强的不等式链及其它不等式．设以实数ｘ、ｙ、ｚ为根的一元三次方程为ｔ３＋ｐｔ２＋ｑｔ＋ｒ＝０由根与系数间的关系知：ｐ＝－（ｘ＋ｙ＋ｚ），ｑ＝ｘｙ＋ｙｚ＋ｚｘ，ｒ＝...     

目标检测参考答案

代数初步知识一、１、１２ａ－１２；２、（ｍ＋５）（ｍ－５）；３、９５８ａ；４、ｘ·１ｘ＝１二、１、２；２、０。三、ｚ＝５ｘ＋４ｙ，当ｘ＝１．２５，ｙ＝２．５时，ｚ＝１６．２５（元）。四、１、ｘ＝１８，２、ｘ＝１２。五、乙队每天挖９０米，设乙队每天挖ｘ...     

一个不等式的推广及应用

若ａ∈Ｒ,则ａ２≥２ａ－１①当且仅当ａ＝１时等号成立．将此不等式推广到一般,有定理若ａ∈Ｒ＋,ｎ∈Ｎ且ｎ≥２,则ａ２≥ｎａ－（ｎ－１）②当且仅当ａ＝１时等号成立．证由均值不等式,有ａ２＋（ｎ－１）＝ａｎ＋１＋１＋…＋１ｎ－１个≥ｎａ,∴ａｎ≥ｎａ－（...     

ON THE NON-EXISTENCE OF LIMIT CYCLES OF CERTAIN QUADRATIC SYSTEMS

§１．Ｆｏｒｔｈｅｓｙｓｔｅｍｘ＝－ｙ＋δｘ＋ｌｘ２＋ｎｙ２＝Ｐ（ｘ，ｙ），ｙ＝ｘ（１＋ａｘ－ｙ）＝Ｑ（ｘ，ｙ），｛（１．１）ｗｅｃａｎｆｉｎｄｉｎ［１］ｔｈｅｆｏｌｏｗｉｎｇ：ＣｏｎｊｅｃｔｕｒｅＩ．Ａｓｓｕｍｅ１ａ＜０，ｎ＞１，ｎ＋ｌ＞０，ｎａ２...     

关于方程xy yz zx=n的正整数解

本文用Ｓｉｅｇｅｌ－Ｔａｔｕｚａｗａ定理证明了当ｎ２．５×１０１０时，至多有一个正整数ｎ，使方程ｘｙ＋ｙｚ＋ｚｘ＝ｎ无正整数解（ｘ，ｙ，ｚ）．     

一类超椭圆方程的整数解

设ｍ，ｎ∈Ｎ；ｍ≥２，ｎ≥２，ｍｎ≥６，ｆ（ｘ）＝ｘｍ＋ａ１ｘｍ－１＋…＋ａｍ∈Ｚ［ｘ］，Ｈ＝ｍａｘ（｜ａ１｜，…，｜ａｍ｜）．本文运用组合分析方法证明了：当ｍ≡０（ｍｏｄｎ），ａ１，…，ａｍ不全为零，而且其中第一个非零系数ａｓ与ｎ互素时，方程ｆ（ｘ）＝ｙｎ，ｘ，ｙ∈Ｚ，仅有有限多组解（ｘ，ｙ），而且这些解都满足｜ｘ｜＜（４ｍＨ）２ｍ／ｎ＋１以及｜ｙ｜＜（４ｍＨ）４ｍ２／ｎ２＋ｍ／ｎ＋１