G(o)del逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.     

表方幂为连续的阶乘和

考虑方程a^m=n!＋（n＋1）!＋……＋（n＋k）!,其中a〉1,m〉1,n≥1．我们证明了当a≠0 mod 223092870时,方程所有的解是2^3=2!＋3!,3^2=1!＋2!＋3!,2^5=2!＋3!＋4!,12^2=4!＋5!;当a=0 mod 223092870时,令p是满足p=a的最小素数,如果方程有解,则m≤p．而且,我们猜想上述的四个解是方程仅有的解．     

关于不定方程Пk=1^n（k^2＋1）=a·m^2的探讨

对于不定方程Пk=1^n（k^2＋1）=a·m^2,J．Cilleruelo证明了当a=1时,当且仅当n=3方程有解．证明了当a=5和7时,此方程无解;当a=17时,方程只有唯一解;还证明了一般情形,当a满足（a,17×101×1297×739601）=1且a的最大素因子p（a）≤2×738740时,当n〉3,方程无解．     

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

设m是偶数，r是奇数；又设Ur、Vr是适合Vr＋Ur√-1=（m＋√-1）^r的整数．笔者证明了：当a=｜Vr｜，b=｜Ur｜，c=m^2＋1，r=3（mod4），m〉r／π且m是2的方幂时，指数丢番图方程仅有正整数解．     

一类三角系统的匹配数与点独立集数

给出了一类三角系统的匹配数和点独立集数的一种计算方法和计算公式,证明了：定理1（a）μ（Ln）=（μLn-1）＋μ（Ln-2）＋μ（Ln-3）＋μ（Ln-4）;（b）σ（Ln）=σ（Ln-1）＋σ（Ln-3）.定理2 设ri（i=1,2,3,4）为非负整数,则（a）μ（Ln）=2∑r1＋2r2＋3r3＋4r4=n（r1＋r2＋r3＋r4）!/r1!r2!r3!r4!＋2∑r1＋2r2＋3r3＋4r4=n-1（r1＋r2＋r3＋r4）!/r1!r2!r3!r4!＋2∑r1＋2r2＋3r3＋4r4=n-2（r1＋r2＋r3＋r4）!/r1!r2!r3!r4!＋2∑r1＋2r2＋3r3＋4r4=n-3（r1＋r2＋r3＋r4）!/r1!r2!r3!r4!;定理3设r1,r2为非负整数,n（n≥4）为偶数,则（a）m（Ln）=m（Ln-2）＋m（Ln-4）;（b）m（Ln）=∑2r1＋4r2=n（r1＋r2）!/r1!r2!＋∑2r1＋4r2=n-2（r1＋r2）!/r1!r2!.     

关于不定方程∏nk=1(k2+1)=a·m2的探讨

对于不定方程∏nk=1(k2+1)=a·m2,J. Cilleruelo证明了当a=1时,当且仅当n=3方程有解.证明了当a=5和7时,此方程无解;当a=17时,方程只有唯一解;还证明了一般情形,当a满足(a,17×101×1 297×739 601)=1且a的最大素因子p(a)≤2×738 740时,当n>3,方程无解.     

关于Diophantine方程x^3±1=Dy^2

利用数论中的同余,勒让德符号的性质及其它一些方法,研究丢番图方程x^3±1=Dy^2（D=D1P,D是无平方因子的正整数,其中D1是不能被3或6k＋1之形的素数整除的正整数,p是奇素数,p=3（24r＋19）（24r＋20）＋1,r是正整数）的解的情况．证明了当D1=7（mod 12）时,方程x^3＋1=Dy^2无正整数解;当D1;5,14,17,23（mod 24）时,方程x^3-1=Dy^2无正整数解．推进了该类三次丢番图方程的研究．     

关于与有限单群Sz(22m+1))有限同Sylow正规化子阶的有限群

证明了：有限群G同构于Sz（q）（q=2^2m＋1,m〉O）当且仅当对每个质数r，它们有相同的Sylowr．正规化子阶．     

关于Diophantine方程(axm+1)/(ax+1)=yn+1

设a,m是大于1的正整数.该文证明了：当m＞2时,方程（ax^m＋1）/（ax＋1）=y^n＋1仅有有限多组正整数解（x,y,n）适合min（x,y,n）＞1,而且这些解都满足y6n＜x^m-1≤a^m2-3m＋2.     

关于Diophantine方程X^3±8=Dy^2

当D为奇素数，且D=3（8k＋2）（8k＋3）＋1，其中是非负整数，则方程x^2＋8=Dy^2无正整数解；当D为奇素数，且D=3x4k（4k＋1）＋1，则方程x^3-8=Dy^2无正整数解。     

解与路径无关的积分曲线问题

解与路径无关的积分曲线问题,常常可利用路径无关的充要条件,得出未知函数所应满足的线性微分方程,由此求解未知函数,本文就此种方法进行了讨论。1引理1若方程则a．当△＞0时,方程（1）的通解b当△＝0时,方程（1）的通解为C．当△＜0时,方程（1）的通解为这里C;、C。为任意常数,凸一户l’一师。sla2设P;、P。、a。、al、a。ER,AeC,o（r）一r’＋P;r＋P。,则方程a．若di（A）学0,那么方程（2）有一特解为;y”一（b。x’＋b;x＋b。）e“b若以助一0,矽（A）羊0,那么方程（2）有一特解：／一（入X’十火X’＋4X沁“X…     

关于丢番图方程ax2+by2+cz2+dxy+exz+fyz=gw2的整数解

当丢番图方程ax^2＋by^2＋cz^2＋dxy＋exz＋fyz=gw^2有整数解x0,y0,z0,ω0（ω0≠0）,（x0,y0,z0, ω0）=1时给出它满足（x,y,z,ω）=1,ω≠0的全部整数解的公式：{x=ηx-ξm/t,y=ηy0-ξn/t,z=ηz0-ξp/t,ω=ηω0/t其中η=am^2＋bn^2＋cp^2＋dmn＋emp＋fnp,ξ=2（ax0m＋by0n＋cz0p）＋d（nx0＋my0）＋e（px0＋mz0）＋f（py0＋nz0）,（m,n,p）=l并利用所得结果证明几个推论．     

丢番图方程ax4＋by4=cz2的一个结果

对正整数a,b,c给出了丢番图方程ax4＋by4=cz2当（a,b,c）=（5,2,7）时的全部正整数解．从而拓展了Mordell等人关于ax4＋by4=cz2的结果．     

方程∑i=1^s 1/xi＋1/x1…xs=1的解以及Znám问题的解数

设S为正整数，Ω（S），Z（S），H（S）分别表示方程∑i=1^s 1/xi＋1/x1…xs=1、Znám问题以及同余式组x1…xi-1xi＋1…xs＋1≡0（modxi）的解数.作者给出了两种构造方程的解的新方法，证明了Ω（8）≥73,Ω（10）≥279,Ω（10）≥576,并且进一步改进了方程的解数、Znám问题题以及同余式组的解数，证明了当2｜s≥12时，Ω（s＋1）≥Ω（s）＋101,且在2 s≥11时,Ω（s＋1）≥Ω（s）＋70.     

关于指数diophantine方程x^2＋q^m=p^n的可解性

设p和q是适合q^2＋1=2p^2的奇素数,运用初等方法证明了：当q≡3（mod 4）时,方程x^2＋qm=pn仅有正整数解（x,m,n）=（p^2-1,2,4）.     

关于丢番图方程x8+py2=4z4与x4+16py8=z2

设p为奇数，证明了丢番图方程x^8＋py^2=4z^4（x，y）；1除开p=3时仅有正整数解（z，y，z）=（1，1，1）和p=7时仅有正整数解（x，y，z）=（1，3，2）之外，无其它正整数解。证明了方程x^4＋16py^8=z^2，p≡3（mod 4），2/z，（x，y）=1，无正整数解。证明了P≡3（mod 4），方程x^4＋16py^8=z^2，（x，y）=1当2/x时，除开p=3时仅有正整数解（x，y，z）-（1，1，7）外，无其它正整数解；当2｜x时，有解x^2=2｜pr^8-s^8｜，y=rs，z=2（pr^8＋s^8），2/rs，（r，s）=1。从而推广了文[4]的结果。由此可知（x，y，z）=（2，1，8）是方程x^4＋48y^8=z^2的一个本原解，文[4]漏掉了此解，这说明文[4]引理2不是完全正确的，依据引理2证明的结论也是不可靠的。     

素数p与勾股定理x~2+y~2=r~2

利用素数二次剩余的基本性质,得到了一个重要结论:设素数p=4n-1,则p a2+b2,当且仅当p a,p b.在此结论基础上,结合一些已知结论,给出了方程x2+y2=r2有非零整数解的充要条件为r含有形如4n+1的素因子.     

广义商高数的纯指数Diophantine方程ax+by=cz的解

运用Gel’fond-Baker方法证明,在m≥105r3时,丢番图方程ax+by=cz仅有正整数解（x,y,z）=（2,2,r）.其中r和m为正偶数,（a,b,c）=（|V（m,r）|,|U（m,r）|,m2+1）,V（m,r）+U（m,r）（-1）^1/2=(m+（-1）^1/2)r.     

一类p-Laplace发展方程解的存在性

研究了一类p—Laplace发展方程ut=div（｜▽u｜^p-2▽u）＋au∫Ωu^q（x,t）dx在一个有界域Ω R^N（N〉2）解的存在性,其中Δp=div（｜▽u｜^p-2▽u）,P〉1,r,q〉0．证明了当r,q≥1时,方程的解唯一存在;而在r〈1或者q〈1时局部解存在,但唯一性未必成立．     

势V(r)=a_1r~10+a_2r~4+a_3r~2的径向Schrs6inger方程的一个解析解

该文采用连续分数法得到了势函数V（r）＝a1r10＋a2r4＋a3r2的径向Schrodinger方程的一个解析解，并作适当的讨论。