关于不定方程x^3＋27=Dy^2

利用初等方法得出了：D=27t^2＋1（t≡0（mod2））为奇素数时,不定方程x^3＋27=Dy^2无正整数解;D=27t^2＋1（t≡4（mod8））为奇素数时,不定方程x^3-27=Dy^2无正整数解．     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

也谈不定方程组x2-2y2=1,y2-Dz2=4

设D=2k∏i=1pil∏j=1qj，其中，诸pi和qj是互异的奇素数，pi≡5或7（mod8),qi≡3(mod8），l≤3。本文证明了不定方程组x^2-2y^2=1，y^2-Dy^2=4仅有平凡解z=0。     

关于Pell方程x2-2y2＝1和y2-Dz2＝4的一个注记

证明了当D=kⅡi=1 PilⅡj=1 qj,其中pi,qj皆为互异的奇素数,Pj≡5(mod 8)或Pi≡7(mod 8),Qj≡3(mod 8)时,Pe11方程x2-2y2=1和y2-Dz2=4仅有平凡解z=0.     

算术数列中素变数线性型的整数部分

假设λ，μ是不全为负的非零实数，λ是无理数，k是正理数，h是一个给定的正整数，l，l1，l2是整数，那么存在无穷多素数p（p≡l（mod h））和素数对p1，p2（pj≡lj（mod h），j=1，2）使得[λp1＋μp2]=kp，特别地，[λp1＋μp2]表示无穷多素数．     

有关Mersenne素数的尾数

利用中国剩余定理探讨Mersenne素数的尾数,证明了p=4k+1当时,Mersenne素数Mp≡31(mod100),Mp≡11(mod100),Mp≡91(mod100),Mp≡71(mod100),Mp≡51(mod100);当p=4k+3时,Mersenne素数Mp≡27(mod100),Mp≡47(mod100),Mp≡67(mod100),Mp≡87(mod100),Mp≡7(mod100).     

关于指数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）.     

图CnUP4的优美性

证实了圈CnUP4，当n＝12k＋1（k≥5），n＝12k＋3(k≡0，1，5（mod6），且k≥5），n＝12k＋5（k≡1，2（mod4），且k≥5）时的优美性。     

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

利用数论中同余的性质研究丢番图方程x3±8=Dy2（D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k＋1之形的素数整除的正整数,p是正奇素数）的解的情况,证明了当D1=3,7（mod8）,p=3（8k＋7）（8k＋8）＋1时,方程x3＋8=Dy2无正整数解;当D1=7（mod8）,p=3（8k＋5）（8k＋...     

一类串图的优美性

给出了一些图的优美标号,特别给出了串图ωm1,m2,mn,mn＋1当m1,m2,…,mn≡0（mod4）,mn＋1≡3（mod4）的优美标号,以及串图ωm1,m2,,m2n当mi≡2（mod4）（i=1,2,…,2n）,m2k-1＜m2k,（k=1,2,…,n）时的优美标号.     

循环差集存在的一个必要条件和素数的一个性质

定义　设υ,ｋ,λ是正整数.模υ的ｋ个互不同余的整数组成的集合Ｄ={ｄ1,ｄ2,…,ｄｋ}叫做一个(υ,ｋ,λ)-循环差集,如果对于每一个α0(ｍｏｄυ),恰好在Ｄ中有λ个有序对(ｄｉ,ｄｊ),使得α≡ｄｉ-ｄｊ(ｍｏｄυ).由于一个循环差集可以展开为一个循环对称区组设计,由著名的ＢｒｕｃｋＲｙｓｅｒＣｈｏｗｌａ定理,有如下结论:定理1[1]　设1≤λ<ｋ<υ-1.若(υ,ｋ,λ)-差集存在,则ⅰ)λ(υ-1)=ｋ(ｋ-1),ⅱ)当υ为偶数时,ｋ-λ为平方数;当υ为奇数时,不定方程ｚ2=(ｋ-λ)ｘ2 (-1)(υ-1)/2λｙ2(1)有不全为零的整数解ｘ,ｙ,ｚ.判定不定方程(1)…     

关于丢番图方程px~4-（p-1）y~2=z~4

对任意的奇素数p,还没有找到给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一的初等方法,目前只解决了某类特殊的奇素数p的求解问题,例如王洪昌等人完全解决了p-1=Q2;或2Q2;或qQ2,2｜Q,q≡3（mod4）为奇素数,Q为正整数的情形.认为对某类特殊的奇素数p求解丢番图方程px4-（p-1）y2=z4,目的是对任意的奇素数p,寻找给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.当p=2q＋1,q≡5（mod8）,p,q为奇素数时,利用初等方法把方程px4-（p-1）y2=z4化为方程x2＋my2=z2,从而给出方程px4-（p-1）y2=z4的全部正整数解;当q为任意正整数时,上述解法仍然适用,因此对任意给定的奇素数p,实际上已经给出了丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.     

关于Diophantine方程x~2＋4~n=y~3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

关于丢番图方程x~4+Dy~4=z~2

设p为奇素数.利用同余性质及Fermat的无穷递降法,证明了:D=p3,p≡3,7(mod 16);或D=-p3,p≡9,13(mod 16);或D=2p3,p≡3,5(mod 8);或D=4p3,p≡3,7(mod 16)时,方程x4+Dy4=z2,gcd(x,y)=1均无正整数解.同时给出D=3时方程的全部正整数解.     

不相交差族(pn,4,2)-DDF的存在性

利用乘法特征和的Weil定理，结合计算机搜索来构造不相交差族，证明不相交差族（p^n，4，2）-DDF的存在性，其中P=1（mod6）为质数且n≥1．     

4杆汉诺塔的最优移动次数

通常汉诺塔问题只带三根杆,当圆盘数为n时,最优移动次数为T3(n)=2n-1.对于带4杆的汉诺塔问题,最优移动次数满足关系T4(n)=2T4(m)+T3(n-m),其中m=arglmin{2T4(l)+T3(n-l)}依赖于n.对于正数整k,当k(k-1)/2+1≤n≤k(k+1)/2,n=k(k-1)/2+l时,T4(n)=(l+k-2)2k-1+1.特别,T4(sk)=2T4(sk-1)+T3(k),其中s0=0,sk=sk-1+k(k≥1).     

默森尼质数的判别法及其构造

得到默森尼 (Mersenne)数为质数的判别法和构造 ,当Mp=2 p- 1为合数时其因数的特征及其因数个数的估计。(1)Mp=2 p- 1为质数的充要条件是 Mp2kp + 1≡ 0　 (mod p)(2 )如果Mp=2 p- 1且Qi|Mp　i=1,2 ,……T那么 12