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

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

The Semigroup Characterizations of Positive Implicative BCK—algebras

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

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

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

一个新发现的代数不等式

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

数学问题解答

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

一个不等式的图证及推广

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

目标检测参考答案

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

数学问题解答

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

全国各地市1998年高考模拟试题汇编

七、解析几何（一）１．已知Ａ（４,２）,Ｂ（２,４）,则过ＡＢ的中点且斜率为－２的直线方程是（）（Ａ）２ｘ－ｙ－９＝０．（Ｂ）２ｘ－ｙ－３＝０．（Ｃ）２ｘ＋ｙ－９＝０．（Ｄ）２ｘ＋ｙ－３＝０．２．经过点Ａ（２,３）,且垂直于直线ｘ－ｙ－２＝０的直线方...     

巧解一次方程组

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

目标检测参考答案

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

关于J.Vukman的一个问题

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

巧用直线和圆的位置关系解题

命题　设直线ｌ：Ａｘ＋Ｂｙ＋Ｃ＝０（Ａ,Ｂ不同时为零）,⊙Ｏ：（ｘ－ａ）２＋（ｙ－ｂ）２＝Ｒ２,则ｌ与⊙Ｏ有交点｜Ａａ＋Ｂｂ＋Ｃ｜Ａ２＋Ｂ２≤Ｒ．本文举例说明这一命题在解题中的巧用．一、用于求最值（或值域）例１　如果实数ｘ,ｙ满足等式（ｘ－２）２＋ｙ２＝３,求ｕ＝ｙｘ的最大值．（１９９０年高考试题）解　由ｕ＝ｙｘ得ｕｘ－ｙ＝０,点（ｘ,ｙ）在直线ｕｘ－ｙ＝０以及圆（ｘ－２）２＋ｙ２＝３上．∴２ｕ－０１＋ｕ２≤１－３≤ｕ≤３,∴ｕｍａｘ＝３．例２　求函数ｕ＝２ｘ－１＋５－２ｘ的最大值．解　点（…     

1998年上海市初中数学竞赛(第一试)试题

１．已知ｂ、ｃ为方程ｘ２＋ｂｘ＋ｃ＝０的两个根,且ｃ≠０,则（ｂ,ｃ）＝　　．２．实数ｘ、ｙ、ｚ满足ｘ＝６－３ｙｘ＋３ｙ－２ｘｙ＋２ｚ２＝０则ｘ２ｙ＋ｚ的值为　　．３．正数ｘ１,ｘ２,ｘ３,ｘ４,ｘ５,ｘ６同时满足ｘ２ｘ３ｘ４ｘ５ｘ６ｘ１＝１,ｘ１ｘ３ｘ４ｘ５ｘ６ｘ２＝２,ｘ１ｘ２ｘ４ｘ５ｘ６ｘ３＝３,ｘ１ｘ２ｘ３ｘ５ｘ６ｘ４＝４,ｘ１ｘ２ｘ３ｘ４ｘ６ｘ５＝６,ｘ１ｘ２ｘ３ｘ４ｘ５ｘ６＝９,则ｘ１＋ｘ２＋ｘ３＋ｘ４＋ｘ５＋ｘ６的值为　　．４．如图,四边形ＡＢＣＤ中,ＡＣ平分∠ＢＡＤ,ＣＥ⊥ＡＢ于…     

数学问题解答

数学问题解答１９９４年１２月号问题解答（解答由问题提供人给出）９２６在△ＡＢＣ中，试证：证明如图，设面△ＡＢＣ的内切圆分别切ＢＣ、ＣＡ、ＡＢ于Ｄ、Ｅ、Ｆ，ＡＦ＝ｘ，ＢＤ＝ｙ，ＣＥ＝ｚ，△ＡＢＣ内切圆半径为ｒ．由海伦公式，易得可得ｘ＋ｙ＋ｚ将（２）代入...     

证明三角形不等式的一种方法

证明三角形不等式的一种方法方明（四川省平昌二中６３５４００）众所周知，△ＡＢＣ的内切圆在三个切点处把三边ａ，ｂ，ｃ分成ａ＝ｙ＋ｚ，ｂ＝ｚ＋ｘ，ｃ＝ｘ＋ｙ，（）其中ｘ，ｙ，ｚ均为正数．应用代换（），可将三角形的边元不等式在条件ｂ＋ｃ＞ａ，ｃ＋ａ＞ｂ...     

复域上二阶多项式自治系统代数曲线解的不存在性

１引言与引理本文主要利用复域上一个整除定理,考虑下列二元多项式自治系统其中ｆ（ｘ）＝时,方程（１．１）的代数曲线解的存在性问题。定义１　若自治系统（１．１）存在形如约多项式,则我们称Ｐ（ｘ,ｙ）＝０为自治系统（１．１）的代数曲线解。引理１［１］设Ｐ和Ｇ（ｗ,ｚ）为Ｃ上的二元多项式,且Ｐ（ｗ,ｚ）不可约,若不恒为常数的Ｆ（ｗ,ｚ）是乘积Ｐ（ｗ,ｚ）Ｇ（ｗ,ｚ）的因式,且Ｆ（ｗ,ｚ）关于ｗ的次数低于Ｐ（ｗ,ｚ）关于ｗ的次数,则Ｆ（ｗ,ｚ）必定可整除Ｇ（ｗ,ｚ）。引理２［１］设Ｐ（ｗ,ｚ）为Ｃ上的不可…     

复数形式的三角形面积公式

复数形式的三角形面积公式陈飞新（河北涿州物探中学０７２７５１）已知△ＡＢＣ的三个顶点坐标分别为Ａ（ｘ１，ｙ１），Ｂ（ｘ２，ｙ２），Ｃ（ｘ３，ｙ３）．求Ｓ△ＡＢＣ．高中《代数》（必修）下册Ｐ１７６第１４题用行列式给出了计算公式：Ｓ△ＡＢＣ＝１２ｘ１ｙ１...     

布尔矩阵广义逆A－ω，A－d，A－ω

设Ａ是布尔矩阵，而矩阵Ｇ满足ＡＧＡ＝Ａ．（１）如果对所有Ａｘ＝ｙ的向量ｘ，ｙ．有ω（Ｇｙ）≤ω（ｘ）（＊）称Ｇ是Ａ的一个极小权ｇ－逆，表示为Ａ－ω．（２）如果对所有向量ｘ，ｙ，有ｄ（ＡＧｙ，ｙ）≤ｄ（Ａｘ，ｙ）（＊＊）称Ｇ是Ａ的最小距离ｇ－逆，表示为Ａ－ｄ．（３）如果（＊）和（＊＊）都成立，就称Ｇ是极小权最小距离ｇ－逆，表示为Ａ－ωｄ．本文研究这三类广义逆矩阵的最大逆的存在性及表示式．主要结果如下：假定对于矩阵Ａ．Ａ－ω，Ａ－ｄ，Ａ－ωｄ分别存在，那么．（１）存在最大Ａ－ω，当且仅当Ａ中设有两个相同的非零列，且最大Ａ－ω为Ａω＝［ＩＣＡＴ］Ｃ．（２）最大Ａ－ｄ存在，且为Ａｄ＝［ＡＴＡＣＡＴ＋ＡＴ（ＪＡＴ）Ｃ］Ｃ．（３）存在最大Ａ－ωｄ，当且仅当Ａ的所有非零列向量线性独立，且最大Ａ－ωｄ为Ａωｄ＝［ＡＴＡｃＡＴ＋ＡＴ（ＪＡＴ）ｃ＋（ＡＴＪ）ｃＡＴ］Ｃ．其中Ｊ为全１矩阵     

证明三角形不等式的一种方法

证明三角形不等式的一种方法安振平（陕西永寿县中学７１３４００）众所周知，在△ＡＢＣ中，有恒等式ｔｇＡ２ｔｇＢ２＋ｔｇＢ２ｔｇＣ２＋ｔｇＣ２ｔｇＡ２＝１若令ｘ＝ｔｇＡ２，ｙ＝ｔｇＢ２，ｚ＝ｔｇＣ２（）由Ａ２，Ｂ２，Ｃ２∈（０，π２）知ｘ，ｙ，ｚ∈Ｒ＋...