方程x~4-Dy~2=1有正整数解的充要条件

设D是非平方正整数,对于方程x~4-Dy~2=1,x>0,y>0 (1)的整数解,Ljunggren,Nagell,Cohn,柯召和孙琦等都曾有过许多工作,本文将证明 定理 方程(1)有整数解的充分必要条件是     

关于Diophantus方程a~x+b~y=c~z(Ⅰ)

一、引言 Diophantus方程a~x+b~y=c~z,a,b,c是不同的素数,可化为如下两个Diophantus方程a~x+b~y=2~z,a,b是不同的奇素数,(1)a~x-b~y=2~z,a,b是不同的奇素数。(2)对此,Nagell,Makowski,Hadano,Uchiyama以及孙琦等曾有过许多工作(参见文献[11])。到     

关于方程(x(x-1)/2)~2=y(y-1)/2的初等解法

1946年,Ljunggren用p-adic方法证明了Diophantus方程[(x(x-1))/2]~2=(y(y-1))/2,(1)仅有正整数解(x,y)=(1,1),(2,2)和(4,9).由于Ljunggren的证明是一个“复杂的”证明,故在1965年,Cassels利用四次域Q[-2(~1/4)]的性质又给出了一个较为简单的证明.但Ljunggren与Cassels的证明均不是初等的.1989年,我们指出,利用递归序列的初等方     

破译一类丢番图型公钥密码体制

自从Mandcrs和Adleman证明丢番图方程ax~2+by=c(a、b、c是任给的正整数)的正整数解的判别问题属于NP-C以后,利用丢番图方程构作公钥密码体制就成为引人注目的课题。例如孙琦、马尽文和孟庆生都提出了     

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

关于丢番图方程x~4-Dy~2=1,D>0,且不是平方数,(1)有过许多工作,例如Nagell、Ljunggren、Cohn和作者,都分别得到过若干结果(见文献[1])。我们在文献[1]中证明了D(?)3(mod 8),且当x~2-Dy~2=1的基本解ε=x_0+y_0D~(1/2)满足2     

Diophantus方程x2+2m=yn

设Z,N,Q分别是全体整数,正整数以及有理数的集合.数论和组合论中的很多问题都与指数型Diophantus方程x~2 2~m=y~n,x,y,m,n∈N,2(?)y,n>2的解(x,y,m,n)有关.近五十年来,Ljunggren,Nagell,Brown,Toyoizumi和Cohn等人都曾对此有过很多工作.1986年,文献[1]宣布已经找出了方程(1)的全部解,但是迄今没有见到该结果的证明.因此方程(1)的求解仍是个尚未解决的问题本文运用Baker方法证明了:定理 方程(1)没有适合2|m以及m>2的解(x,y m,n).由于文献[2]运用代数数论方法证明了:方程(1)仅有解(x,y,m,n)=(5,3,1,3)和(7,3,5,4)适合2(?)m;文献[3]用初等数论方法证明了:方程(1)仅有解(x,y,m,n)=(11,5,2,3)适合m=2.因此综合上述结果即可确定方程(1)的全部解.推论 方程(1)仅有解(x,y,m,n)=(5,3,1,3),(7,3,5,4)和(11,5,2,3).     

扩展的Einstein方程及约束条件

经过变分导出,经典EM方程组(1)或作用积分(3)和时空维数D无关,只要D≥4,经典EM方程一般形式的严格解是Kerr-Newman-de Sitter度规。 EM方程的严格解存在本征奇异性和坐标奇异性。要避免这些缺点,人们企图修正EM方程。办法是在作用积分(3a,b)中或EM方程(1a)中加入真空极化修正项,真空极化修正项     

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

对于丢番图方程x~3±1=Dy~2,x~3±1=3Dy~2,D>2,D无平方因子且不能被3或6k 1形的素数整除,设上式中四个方程的正整数解(x,y)的总个数为T,Ljunggren(Skr.Norske Vid.Ak ad.Oslo.I.9(1942),53)证明了T≤1,他的证明方法不是初等的。     

关于sum from i=1 to n(x_i/d_i)≡0(mod 1)的最小值

设p是一个奇素数,q=p~l,l≥1,F_q是一个q元有限域,c_i(i=1,2,…,n)是F_q的非零元。设d_1,…,d_n是给定的n个大于1的正整数,d_i|q-1,i=1,2,…,n,N代表F_q上对角方程的解的个数,即N=|H_f(F_q)|,H_f(F_q)={a∈A~n(F_q)|f(a)=0}是由f=c_1x_1~(d_1)+…+c_nx_n~(d_n)在A~n(F_q)中所定义的超曲面,A~n(F_q)表有限域F_q上的n维仿射空间。熟知这里I(d_1,…,d_n)代表方程     

玩不厌的数字游戏

<正>【二项式定理】二项式定理又叫牛顿二项式定理,是指(a+b)n=C0nan+C1nan-1b1+C2nan-2b2+?+Cr nan-rbr+?+Cn nbn这样一个展开式的公式。它是(a+b)2=a2+2ab+b2,(a+b)3=a3+3a2b+3ab2+b3等展开式的一般形式。很多同学都玩过找规律的数字游戏吧?这个图就是有名的帕斯卡三角形,是帕斯卡在玩数字游戏时发明的。一天,帕斯卡在纸上用1、1、1、1……写下了水平和垂直的数列,使之成一个倒L字图形。接着,他在第二行第二列,写上第一行第二位数加上第二行第一位数的和2,即1+1=2;在第二行第三列,写上之前那     

方程6y~2=x(x+1)(2x+1)的解的初等证明

1875年,E.Lucas问丢番图方程6y~2=x(x 1)(2x 1) (1)是否仅有非平凡解x=24,y=70.1918年Watson给出了肯定的回答,他利用椭圆函数给了一个复杂的证明(Messenger of Math., 48(1918/1919),1—22).1952年Ljunggren对四次扩域上的基本单位进行了仔细的研究,利用二次扩域上的Pell方程给     

以滞量为参数的向日葵方程的Hopf分支

文献[1]在谈到向日葵方程(?)+(a/r)(?)+(b/r)sinα(t-r)=0的Hopf分支问题时写到:“我们可以把(1)式写为(?)=F(a,b,r,z).若我们选取r为参数,则由于r进入了z_t的定义,故F对r的依赖性是复杂的,所以我们取a为参数.”众所周知,滞量是引起时滞微分方程和常微分方程差异的关键所在,所以用滞量作参数讨论时滞方程分支问题是很有意义的.本文就是以时滞r为参数,给出(1)式的Hopf分支存在的条件,同时还明确地给出其Hopf分支方向,分支周期解的渐近表达式及其稳定性.关于(1)式的导出及意义可参阅文献[1～3].     

二阶线性振动稳定性的充要条件

一、引言 本文研究二阶线性微分方程(a(t)x′)′+b(t)x=0,(L)其中a,b:[τ,∞)→(0,∞)为连续函数。关于方程(L)解的稳定性研究,已有大量文献(见文献[1—8]及其参考文献)。解决了方程(L)在非振动情况下的稳定性问题,并且指出“基本困难是振动情况”。实际上,方程(L)在振动情况下的稳定性至今还是     

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

关于Diophantus方程a~x+b~z=c~z(Ⅱ)

Diophantus方程a~x+b~y=c~z(a,b,c是不同素数)可化为如下的两个Diophantus方程 p~x-q~y=2~z,p,q是不同的奇素数,(1) p~x+q~y=2~z,P,q是不同的奇素数。(2)在文献[1]中,我们给出了(2)式在max(p,q)<100时的全部非负整数解。本文将给     

代数系坡的理想的一些结果

本文介绍代数系坡的理想理论的主要结果。定义1 代数系(P; ,·)称为坡是指:1) (P; )是一个半格;2) (P;·)是一个交换半群;3) a·(b c)=a·b a·c;4)a·b a=a。若对于加法和乘法存在单位元,则称为具单位元的坡。本文仅讨论具单位元的坡。     

方程a~x—b~y=(2p~s)~x和Hugh Edgar问题

1969年,Perisastri(Math. Student, 37(1969),211—212)证明了Diophantus方程a~x—b~y=10~x在a=13(mod20),b=3(mod20)和z(?)1时无非负整数解x,y,z。1982年,Toymzumi(Math. Student,43(1978), no. 2—4,113—115(1982),MR 84h:10025)证明了Diophantus方程a~x—b~y=(2p)~x,p为奇素数,在a≡p≡5(mod8),b≡3(mod8),p(?)ab     

方程ax~m-by~n=4的可解性

方程包含了文[1～4]中讨论的丢番图方程,这里a、6∈Z_(>0)。本文一般地给出方程(1)可解的判定定理,所得结果包含了前人的工作。定理1 设ax≠4,a、b是给定的正整数,则     

关于指数Diophantus方程的一个猜想

设α、b、c是不同的素数。从1958年Nagell开始,经过Makowski、Hadano、Uchiyama、孙琦和周小明、杨晓卓、曹珍富的共同努力,已经求出了指数Diophantus方程     

实二次域关联的丢番图方程的解

设m为无平方因子有理正整数,c为整数,方程x~2-my~2=c (1)的整数解问题,与实二次域Q(m~(1/2))及分圓域Q(ζ_m)的实子域的类数密切相关,文献[1—7]均由研究此方程得出了有关类数结果,且对特别的m和较小的c值,得出了方程(1)可解的