SUPERBOOLEAN ALGEBRAS

In this paper we define a new algebraic structure called super boolean algebras and characterizethem.Definition 1 A super boolean algebra V is a nonempty set with two binary operations+and.satisfying the following postulates.(i)V is closed with respect to+and.i.e.,a+b∈V and a·b∈V for all a,b∈V.(ii)a+b=b+a and a·b=b·a for all a,b∈V.(iii)(a+b)+c=a+(b+c)and a(bc)=(ab)c for all a,b,c∈V.(iv)(a+b)(a+c)(a+d)=a+bc(a+d)+cd(a+b)+db(a+c)for all a,b,c,d∈V.ab+ac+ad=a(b+c+ad)(c+d+ab) (b+d+ac)for all a,b,c,d∈V.     

关于丢番图方程(na)x+(nb)y=(nc)z(c=65,89,101)

设a,b,c为两两互素的正整数且满足a2+b2=c2.1956年,Je?manowicz猜测丢番图方程(na)x+(nb)y=(nc)z仅有正整数解x=y=z=2.此利用初等方法证明了:对于任意的正整数n,除去x=y=z=2外,丢番图方程(56n)x+(33n)y=(65n)z,(80n)x+(39n)y=(89n)z和(20n)x+(99n)y=(101n)z无其他的正整数解,即当(a,b,c)=(56,33,65),(80,39,89)和(20,99,101)时,Je?manowicz猜想成立.     

群的有限阶元之积的阶的一个结果

设群G的元a、b的阶为|a|=m,|b|=n,且ab=ba,则对于任何正整数m_1,n_1有|ab|=nh/(n,h+1) 此处h=m/|H|,H=(a)∩(b),a~h=b~l(0≤l相似文献   

关于Diophantine方程(91n)~x+(4140n)~y=(4141n)~z

1956年Jes'manowícz猜测Diophantine方程(na)x+(nb)y=(nc)z仅有正整数解(x,y,z)=(2,2,2),其中a,b,c是两两互素的正整数且满足a2+b2=c2。利用初等方法证明了对任意的正整数n,当a=7·13,b=22·32·5·23,c=41·101时,Jes'manowícz猜想成立。     

关于Diophantine方程(36n)~x+(323n)~y=(325n)~z的整数解

Jesmanowicz猜想Diophantine方程(na)~x+(nb)~y=(nc)~z仅有正整数解(x,y,z)=(2,2,2),其中a,b,c是两两互素的正整数且满足a~2+b~2=c~2。主要运用简单同余法、奇偶分析法、二次剩余理论以及分类讨论等初等方法,证明了对任意的正整数n,Diophantine方程(36n)~x+(323n)~y=(325n)~z仅有正整数解(x,y,z)=(2,2,2)。即证明了:当(a,b,c)=(36,323,325)时Jesmanowicz猜想成立。     

关于Banach代数中伪Drazin逆的进一步结果

在条件ab=φ(ba)下,研究了ab与a+b的伪Drazin逆的表达式.其中,a,b是Banach代数A中的2个伪Drazin可逆的元素,φ是A上双射的centralizer.证明了:若a,b是伪Drazin可逆的且ab=φ(ba),则ab是伪Drazin可逆的且(ab)~=b~a~;a+b是伪Drazin可逆的,当且仅当aa~(a+b)是伪Drazin可逆的,当且仅当aa~(a+b)bb~是伪Drazin可逆的.此时,(a+b)~=(aa~(a+b))~+sum from n=0 to ∞φ-(n(n+1))/2(1)(b~)~(n+1)(-a)~n(1-aa~).     

关于丢番图方程(24n)~x+(143n)~y=(145n)~z

指数型丢番图方程(na)~x+(nb)~y=(nc)~z是数论领域中非常典型的一类不定方程。设a,b,c为两两互素的正整数且满足a~2+b~2=c~2,即当a,b,c为本原商高数时,该方程就可以写为[n(a~2-b~2)]~x+[n(2ab)]~y=[n(a~2+b~2)]~z。由于该类丢番图方程与编码理论、群论以及组合论都有着紧密的联系,因此一直以来都备受广大数学爱好者的青睐。1956年,Je'sm anowicz猜想该方程仅有正整数解(x,y,z)=(2,2,2),但迄今为止这类方程还未得到彻底的解决。本文主要运用奇偶分析法、简单同余法、以及二次剩余理论等方法,证明了:对任意的正整数n,丢番图方程(24n)~x+(143n)~y=(145n)~z仅有正整数解(x,y,z)=(2,2,2),即证明了:当(a,b,c)=(24,143,145)时,Je'sm anowicz猜想成立。     

关于二阶实矩阵的一个问题

设n是正整数,A是二阶实矩阵.该文证明了:如果An=E2且│A-E2│=n,其中E2是二阶单位矩阵,则必有n=3,A=(abc-1-a),其中a、b、c是适合a2 a bc 1=0的实数.     

柯西(Cauchy)不等式的一种证明方法

柯西 ( Cauchy)不等式是指 :( a1b1+a2 b2 +… +anbn) 2 ≤ ( a12 +a2 2 +… +a2n) ( b12 +b22 +…+b2n) ( ai,bi∈ R,i =1 ,2 ,… ,n) ,当且仅当 a1b1=a2b2=… =anbn时等号成立。这个不等式的证明方法很多。现利用二次型理论来证明柯西 ( Cauchy)不等式。证明 :记 f ( x1,x2 ) =( a1x1+b1x2 ) 2 +( a2 x1+b2 x2 ) 2 +… +( anx1+bnx2 ) 2　　 =( a12 +a2 2 +… +a2n) x12 +2 ( a1b1+a2 b2 +… +anbn) x1x2 +( b12 +b2 2+… +b2n) x2 2　　 =X′AX　　其中 X =x1x2　　　 A =Σni=1a2i　　Σni=1aibiΣni=1aibi　　Σni=1bi2　　显然 f …     

与Fermat大定理有关联的代数等式

从直角三角形三边的关系式c2=a2+b2与公式:1=a2+b2=(a2+b2)2=(a2-b2)2+(2ab)2再由熟知的52=32+42展开讨论,发现并证明了引理1、引理2、引理3中的特性,这是本文的成果之一.把这些特性与Fermat大定理联系起来,虽还未证明Fermat大定理,但得出了定理1、定理2中与Fermat大定理有关联的代数等式,这是本文的成果之二.     

构造法解题浅析

纵观一些数学竞赛题 ,要求知识面广 ,难度大 ,题型新颖 ,具有创新性特征 ,有不少试题在形式结合上独有其特征。如果善于抓住其内在特征进行联想、发散 ,将欲解的问题恰当地构成另一个数学模型 (如方程、复数、不等式、函数、图形等 ) ,那么往往可以化繁为简。这种解题方法 ,习惯称为构造法。下面分类举例浅析。　　一、构造方程解题例 1　已知 a、b、c是实数 ,试确定最大的 c,使 a+b+c=5,ab+bc+ca=3分析 :由题设条件可变为 a+b=5- cab=3- c( 5- c) 联想根与系数关系构造一元二次方程 ,然后用判别式即可获解。解 :由题设构造以 a、b为两根的…     

D_n群与D_(nh)群的正规子群

Dn 群的生成关系为 :an=b2 =e ,(ab) 2 =e ;Dnh群的生成关系为 :an=b2 =c2 =e ,(ab) 2 =(bc) 2 =e ,ac =ca且有Dnh=Dn× {e ,c} .研究了Dn 群和Dnh群的正规子群 .证明了Cri为Dri的正规子群 ,Dri不是Dn 的正规子群 .指出Cn与Cri为Dnh的正规子群 ,Crih为Drih的极大正规子群 ,但不是Dnh的正规子群 .     

关于用矩阵定义复数的方法简介

对于复数的定义方法,常见于教科书中的说法有如下两种:其一是,设 a,b 为任意二实数,称有序实数对(a,b)为一个复数 a,记为 a=(a,b)。并规定当 b=0时,复数(a,0)=a,显然实数集 R 是复数集{(a,b)|a,b∈R}的子集。复数的加法与乘法规则如下:设 a=(a,b),f=(c,d)为任意二复数,α+β=(a+c,b+d),αβ=(ac-bd,ad-+bc)。复数(0,1)称为虚数单位,记为 i=(0,1)。依复数乘法规则,就有     

Dn群与Dnh群的正规子群

Dn群的生成关系为an=b2=e,(ab)2=e;Dnh群的生成关系为an=b2=c2=e,(ab)2=(bc)2=e,ac=ca且有Dnh=Dn×{e,c}.研究了Dn群和Dnh群的正规子群.证明了Cri为Dri的正规子群,Dri不是Dn的正规子群.指出Cn与Cri为Dnh的正规子群,Crih为Drih的极大正规子群,但不是Dnh的正规子群.     

M_3的一个求法

令α,β,γ为非负整数.κ是使 κα=lβ+mγ,l≥0,m≥0成立的最小正整数.上式叫做α关于β,γ的范式 本文主要结论为下述定理 定理 设a,b,c为三个正整数(a,b,c)=1.令 (a,b)=d_3, (b,c)=d_1, (c,a)=d_2 c=αd_2d_3,b=βd_1d_3,c=γd_1d_2又α关于β,γ;β关于α,γ的范式分别为 κα=lβ+mγ uβ=να+wγ如果m,w不全为o,则不能由线性式 αx+by+ca,X≥0,y≥0,z≥0 表出的最大整数M_3为 M_3=max(λα+wγ,uβ+mγ)d_1d_2d_3-a-b-c 根据本定理,本文设计出一种较简明的求M_3的算法.     

关于一元二次方程求根公式的注记

在我们的中学教材或教学参考资料中 ,常常见到这样一个公式 :在复数集 C中 ,实系数一元二次方程 ax2 +bx +c=0 ( a≠ 0 )的解的公式是 :x1,2 =- b± b2 - 4 ac2 a ( a≠ 0 )当 b2 - 4 ac≥ 0时 ,方程有两实根 ;当 b2 - 4 ac<0时 ,方程无实根 (有共轭虚根 )。(见北京师院附中党钧、戴洪潜主编的中学数学参考读物《初等代数》习题选及高中数学“复数”一章 )这样的表述被各种数学书籍广泛采用 ,笔者在教学工作中也多次仿效。但学生对 b2 - 4 ac<0的情况掌握起来往往出错。错在哪里呢 ?错在将 b2 - 4 ac=- ( 4 ac- b2 ) =4 ac- b2i。为什么这…     

关于指数丢番图方程ax+by=cz

;设r是大于1的奇数, m是偶数, Ur和Vr是适合Vr+Ur√-1=(m+-1)r的整数.运用初等方法, 证明了:如果a=|Vr|,b=|Ur|,c=m2+1且b是素数, r≡3(mod 4), m≡2(mod 4),m>(r)/(π), 那么方程ax+by=cz仅有正整数解(x,y,z)=(2,2,r).     

二维随机变量和、积、商公式的推广

主要研究X与Y独立时a X+b Y+c(ab≠0)、a XY+c(a≠0)、aX/Y+c(a≠0)、aX+b/cY+d+e(ac≠0)、k(X+a)(Y+b)+c(k≠0)的密度函数公式,并给出比较简单的证明,最后通过例题验证公式的有效性.     

K(m,n,1)方程的紧支集精确解

对K(m,n,1)方程:ut+(um)x+(un)xxx+u5x=0进行了研究,建立了K(2,2,1)方程:ut+(u2)x+(u2)xxx+u5x=0和K(3,3,1)方程:ut+(u3)x+(u3)xxx+u5x=0的Adomian分解算法.我们借助于计算机代数系统Maple求得了K(2,2,1)和K(3,3,1)方程的紧支集精确解,在此基础上又给出更多其它形式的精确解.     

质数模的二次同余式的根的状况

关于实系数一元二次方程的根的状况,有下面的定理 a,b,c为实数,a≠0,△=b~2-4ac,方程 ax~2 bx c=0的根的状况为: △>0(?)有两个不同的实根; △X=0(?)有两个相同的实根; △<0(?)没有实根。由此作类比推理,对于质数模的二次同余式,有定理 a,b,c为整数,a≠0(modp),△=b~2-4ac,p为≥3的质数,令 (p-1)/2=K。同余式 ax~2 bx c≡0(modp)的根的状况为: