The Semigroup Characterizations of Positive Implicative BCK—algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ，，０）ｏｆｔｙｐｅ（２，０）ｗｉｔｈｔｈｅｆｏｌｌｏｗｉｎｇｃｏｎｄｉ－ｔｉｏｎｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｉｍｐｌｉｅｓｘ＝ｙ．ＩｆａＢＣＩ－ａｌｇｅｂｒａ（Ｘ，，０）ｓａｔｉｓｆｉｅｓ（５）０ｘ＝０．ｔｈｅｎｉｔｉｓｃａｌｌｅｄａＢＣＫ－ａｌｇｅｂｒａ．ＩｎａＢＣＩ－ａｌｇｅｂｒａ，ｔｈｅｆ…     

Some Properties of a Class Self—homomorphism of BCI—algebras

ＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ；，０）ｏｆｔｙｐｅ（２，０）ｓａｔｉｓｆｙｉｎｇｔｈｅａｘｉｏｍｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｘ＝ｙｆｏｒａｎｙｘ，ｙａｎｄｚｉｎＸ．ＦｏｒａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，ｔｈｅｒｅｌａｔｉｏｎ≤ｄｅｆｉｎｅｄｂｙｘ≤ｙｉｆａｎｄｏｎｌｙｉｆｘｙ＝０ｉｓａｐａｒｔｉａｌｏｒｄｅｒｏｎＸ［１］．ＩｎａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，…     

构造法在解题中的应用

一、引言在中专数学课本（第四册）求条件极值问题中，介绍了拉格朗日乘数法，即求函数ｕ＝ｆ（ｘ，ｙ，ｚ）在条件φ（ｘ，ｙ，ｚ）＝０下的极值．先通过构造函数Ｆ（ｘ，ｙ，ｚ）＝ｆ（ｘ，ｙ，ｚ）＋λφ（ｘ，ｙ，ｚ），这里λ为常数；通过对辅助函数Ｆ（ｘ，ｙ，ｚ）...     

一个新发现的代数不等式

本文首先利用幂函数的单调性证明笔者新近发现的一个代数不等式,然后揭示它的一些特殊情况．定理若ｘ,ｙ,ｚ是正数,则ｘｎ（ｘ－ｙ）＋ｙｎ（ｙ－ｚ）＋ｚｎ（ｚ－ｘ）≥０①其中ｎ≥０;当ｎ≤０时,不等式①反向．等号当且仅当ｘ＝ｙ＝ｚ或ｎ＝０时成立．证不妨设ｘ...     

关于条件极值的一个充分性条件

对于求多元函数的条件极值问题，有下面熟知的拉格朗日乘数法为了求函数ｆ（ｘ，ｙ，ｚ）在附加条件φ（ｘ，ｙ，ｚ）＝０下的极值，令Ｆ（ｘ，ｙ，ｚ）＝ｆ（ｘ，ｙ，ｚ）＋λφ（ｘ，ｙ，ｚ）则方程组Ｆｘ（ｘ，ｙ，ｚ）≡ｆｘ（ｘ，ｙ，ｚ）＋λφｘ（ｘ，ｙ，ｚ）＝０...     

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

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

关于J.Vukman的一个问题

关于Ｊ．Ｖｕｋｍａｎ的一个问题黄允宝（杭州教育学院）本文Ｒ始终表示一个中心为Ｃ的结合环，我们将用符号［ｘ，ｙ］表示ｘｙ－ｙｘ并使用恒等式［ｘｙ，ｚ］＝［ｘ，ｚ］ｙ＋ｘ［ｙ，ｚ］，［ｘ，ｙｚ］＝［ｘ，ｙ］ｚ＋ｙ［ｘ，ｚ］．称环Ｒ是素环如果ａＲｂ＝０蕴含...     

点 直线 平面之间的对称性的解析表达式

点直线平面之间的对称性的解析表达式艾则孜·卡得尔（新疆和田高等师专数学系８４８０００）命题１Ｐ１（ｘ１，ｙ１，ｚ１）关于Ｐ０（ｘ０，ｙ０，ｚ０）点的对称点的坐标为：命题２平面Ａｘ＋Ｂｙ＋Ｃｚ＋Ｄ＝０外一点Ｐ０（ｘ０，ｙ０，ｚ０）关于该平面的对称点的坐...     

一个代数不等式的推广

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

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

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

数学问题解答

数学问题解答１９９５年６月号问题解答（解答由问题提供人给出）９５６设实数ｘ，ｙ，ｚ满足求３ｘ＋４ｙ＋５ｚ的范围．解设ｘ＋２ｙ＋３ｚ＝ａ（１）２ｘ＋３ｙ＋４ｚ＝ｂ（２）则．解由（１），（２）组成的方程组得：ｘ＝ｚ＋２ｂ－３ａ，ｙ＝２ａ－ｂ－２ｚ．则：３...     

数学问题解答

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

抛物线的两条性质及其应用

抛物线的两条性质及其应用邓一先（江苏常熟市中学２１５５００）性质一如右图所示．ＡＢ是过抛物线ｙ２＝２ｐｘ（ｐ＞０）轴上一点Ｍ（ａ，０）（ａ＞０）的弦，Ｎ为（－ａ，０）则ＡＮＭ＝／ＢＮＭ．证明设圳ｘｌ，ｙｉ），风ｘＺ，叫，显然有ｙｉ·。。。，。ｘ，，－...     

巧解一次方程组

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

目标检测参考答案

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

一个不等式的图证及推广

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

关于Thue方程的解数

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

巧用共轭复数性质解高考题

巧用共轭复数性质解高考题罗东荣（湖南省邵东九中４２２８２８）共轭复数的性质散见于高中代数第二册，概括起来有如下几条：１．复数的初等运算与共轭运算可交换运算顺序．２．反映复数概念的：ｚ∈Ｒｚ＝ｚ；ｚ∈｛纯虚数｝ｚ＋ｚ＝０且ｚ是虚数；｜ｚ｜＝｜ｚ｜；...     

目标检测参考答案

目标检测参考答案代数初步知识参考答案Ａ卷一、１、１２ａ－１２；２、（ｍ＋５）（ｍ－５）；３、９５８ａ；４、ｘ１ｘ＝１二、１、２；２、０。三、ｚ＝５ｘ＋４ｙ，当ｘ＝１．２５，ｙ＝２．５时，ｚ＝１６．２５（元）。四、１、ｘ＝１８，２、ｘ＝１２。五、乙队每...     

关于正定关联BCC—代数

首先指出在ＢＣＣ－代数中，下述两个条件并不等价：（１）（ｘ＊ｚ）＊（ｙ＊ｚ）＝（ｚ＊ｙ＿＊ｚ；（２）（ｘ＊ｙ＊ｙ＝ｘ＊ｙ。随后给出由Ｗ．Ａ．Ｄｕｄｅｋ１９９２年定义的正关联ＢＣＣ－代数的一个简单的公理系统。