一类分圆多项式的系数

利用将多项式分项相除的分圆多项式系数的简洁算法,证明了当33qr(x)的系数中.当r-q≡0(mod3)时,F3qr(x)的系数中没有-2出现,当r+q≡0(mod3)时;F3qr(x)的系数中没有2出现.       

关于丢番图方程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,则方程无整数解.     

x2≡a(modp)的Gauss整数解

对于p≡1(mod4)与p≡3(mod4)两种情况证明了x^2≡a(modp)存在整虚数解，并导出求解方法．又分析了此方程Gauss整数解集合的特性等．     

关于Diophantine方程kx4-(2k+4)x2y2+ky4=-4

利用Pell方程及同余的性质给出了Diophantine方程 G:kx4-(2k+4)x2y2+ky4=-4仅有整数解(|x|,|y|)=(1,1)的充分条件。证明了:1)若k 12(mod16),则Diophantine方程G 仅有整数解(|x|,|y|)=(1,1);2)若k=4m,m≡3(mod4),且2s或s≡0(mod4),t≡3,5(mod8)或s≡2(mod4),t≡1,7(mod8),则Diophantine方程G 仅有整数解(|x|,|y|)=(1,1),这里s+t m 是Pell方程x2-my2=1的基本解。
     

关于Diophantine方程kx~4-(2k+4)x~2y~2+ky~4=-4

利用Pell方程及同余的性质给出了Diophantine方程G:kx4-(2k+4)x2y2+ky4=-4仅有整数解(|x|,|y|)=(1,1)的充分条件。证明了:1)若k≠12(mod 16),则Diophantine方程G仅有整数解(|x|,|y|)=(1,1);2)若k=4m,m≡3(mod4),且2︱s或s≡0(mod 4),t≡3,5(mod 8)或s≡2(mod 4),t≡1,7(mod 8),则Diophantine方程G仅有整数解(|x|,|y|)=(1,1),这里s+t m1/2是Pell方程x2-my2=1的基本解。     

关于丢番图方程x~4-pqy~2=1(Ⅱ)

3.方程(1)在p≡17(mod24),q≡3(mod8)或p≡5(mod24),q≡23(mod24)或p≡5(mod24),q≡3(mod8),(p/q)=1时均无正整数解.4.当D=2p时,方程(1)除开有解p=3,x=7,y=20外,无其他的正整数解.5.方程(1)在p≡3(mod4),q≡3(mod4)时无正整数解.国外,Nagell,Ljunggren,Cohn等人有过不少工作,可参看文[4]所附文献.本文用不同于前面诸文的方法,对于D=pq的情形,得到进一步的结果.我们有     

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

主要利用递归数列、同余式、平方剩余以及Pell方程解的性质证明了当p≡1(mod 12),q≡12s2+1时,丢番图方程x3-33=3pqy2仅有整数解(x,y)=(3,0);当p≡1(mod 24),q≡12s2+1时,丢番图方程x3+33=3pqy2仅有整数解(x,y)=(-3,0).     

2—有向循环图的同构

本文得到了2-有向循环图 G(a,b,N)与 G(a＇,b＇,N)同构的充要条件为:(a,b,N)=(a＇,b＇,N)=K且 a＇b≡ab＇(mod KN);或 a＇a≡b＇b(mod KN),这里(x,y,z)表示整数 x,y,z 的最大公约数。     

Mendelsohn三元系超大集

对Mendelsohn三元系超大集的存在性进行了讨论，得到：v≡1，3（mod6),v≡4(mod24),v≡24(mod120）及v≡11^m13n∏s,t(4^s 1)^t=1）诸指数均为非负整数时OLMTS（v）存在。     

关于不定方程x^3-8=21y^2

利用递归数列与同余式的有关性质和结论,给出了不定方程x3-8=21y2仅有(x,y)=(2,0)和满足y2=a2b2,x=3a2+2且a≡1(mod2),b2≡1(mod8)的整数解.     

关于指数Diophantine方程(a~n-1)(b~n-1)=x~2

设a,b是不同的正整数.运用初等数论方法证明了:当a≡0(mod 2)且b≡3(mod 8)时,方程(an-1)(bn-1)=x2没有适合n>1的正整数解(x,n).     

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

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

Formula and 2-adic valuation of L(1) of elliptic curves with CM by -3

For the rational integers λ≡1, 3, or 5 (mod 6), considering elliptic curves y2＝x3-2433Dλ over the field (-3), the formula for the value at s=1 of Hecke L-series attached to such elliptic curves, expressed as a finite sum of values of Weierstrass -functions, is obtained. Moreover, when λ≡3 (mod 6), the lower bounds of 2-adic valuations of these values are also obtained. These results are consistent with the predictions of the conjecture of Birch and Swinnerton-Dyer in a sense, and have generalized and advanced some results in recent literature.     

一类Diophantine方程及其他的整数解

目的研究不定方程x3±8=Dy2的可解性问题。方法利用初等及代数方法。结果设D是不含3和6k+1之形素因数的无平方因子正整数。当D>5时,如果D的素因数p都满足p≡1,3(mod 8)或者p≡5,7(mod 8),则方程x3±8=Dy2没有适合gcd(x,y)=1的正整数解(x,y)。结论部分地解决了该方程的可解性问题。即对某些特殊D,该方程无解。     

关于指数Diophantine方程的1个猜想

设m,r是适合2｜m，2r，r＞1的正整数；Ur，Vr是适合Vr+Ur-1＝（m+-1)r的整数；a,b,c是适合a＝｜Vr｜，b＝｜Ur｜，c＝m2+1的正整数.证明了：如果b≡3(mod 4),b或c是素数，则方程x2+by＝cz仅有正整数解(x，y，z）＝（a，2，r）.     

关于不定方程组x±1=6pqu2,x2（-＋）x＋1=3v2的整数解

设p,q是互异的奇素数,p≡q≡1 （mod 6）,利用递归序列、Pell方程的解的性质、Maple小程序等方法证明了不定方程组x-1=6pqu2,x2＋x＋1=3v2仅有平凡解（x,u,v）=（1,0,±1）;而不定方程组x＋1=6pqu2,x2-x＋1=3v2仅有平凡解（x,u,v）=（-1,0,±1）.     

关于三项纯指数Diophantine方程a~x+b~y=c~z的一点注记

设a,b,c是给定的正整数,运用初等数论方法证明了:当a+b2 l-1=c2,b≡5(mod 24),c是适合c≡-1(mod b2l)的奇数,其中l是任意正整数时,方程ax+by=cz仅有正整数解(x,y,z)=(1,2l-1,2).     

关于丢番图方程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时方程的全部正整数解.     

图wn*pk的优美性

提出图wn*pk的概念,并在n≡0(mod 2)且n≥4,k≡1(mod 2),k≡0(mod 2)和n≡1(mod 2)且n≥5,k≡1(mod 2),k≡0(mod 2)时,证明图wn*pk是优美的.