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

表方幂为连续的阶乘和

考虑方程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．而且,我们猜想上述的四个解是方程仅有的解．     

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

利用数论中的同余及因子分解法,研究了丢番图方程x^3±1=3pD1y^2 （其中p是奇素数,p=3（24r＋19）（24r＋20）＋1,r是正整数,D1=2^α.q,α=0或1,q为奇素数,q≡5（mod 6））的解的情况.证明了该丢番图方程无正整数解,从而推进了该类三次丢番图方程的研究.     

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

丢番图方程x~3-1=3Py~2的整数解

设P=∏si=1p_i(s≥2),p_i≡1(mod 6)(1≤i≤s)为奇素数.主要利用同余式、平方剩余、Pell方程的解的性质、递归序列证明了P=pq,p≡13(mod 24)为奇素数,q=12s~2+1(s∈Z~+,2■s)为奇素数,(p/q)=-1时,丢番图方程x~3-1=3Py~2仅有平凡解(x,y)=(1,0).     

关于丢番图方程x3＋1＝3pqy2的整数解

设P=3i∏pi(s≥2),其中pi=1(mod 6)(i=1,2,…,s)为奇素数.关于丢番图方程x3+1=Py2的初等解法至今仍未解决.主要利用同余式、平方剩余、Pell方程的解的性质以及递归序列证明了:当p≡q≡1(mod6)为奇素数,pq≡7(mod 24),(p/q)=-1时,丢番图方程x3+1=3pqy2仅有平凡解(x,y)=(-1,0).     

关于不定方程x~3-1=3pqy~2的整数解研究

设pi≡1(mod 6)(1≤i≤s)为奇素数.关于不定方程x3-1=3s∏i=1piy2(s≥2)的初等解法至今仍未解决.主要利用Pell方程的解的性质、递归序列、同余式、平方剩余等证明了p≡q≡1(mod 6)为奇素数,pq≡7(mod 12),(p/q)=1时,不定方程x3-1=3pqy2仅有平凡解(x,y)=(1,0).     

关于不定方程x~3±1=6pqDy~2的整数解

设Q=6p_1…p_sr_1…r_n(s,n∈Z_+),其中p_j≡1(mod 6)(j=1,2,…,s)为奇素数,r_i≡5(mod 6)(i=1,2,…,n)为奇素数.关于不定方程x3±1=Qy2的初等解法至今仍未解决.利用同余式、Legendre符号的性质、递归序列、Pell方程解的性质证明了:当D=r_1…r_n(n∈Z+),r_i≡5(mod 6)(i=1,2,…,n)为奇素数,p≡q≡1(mod 6)为奇素数,(p/q)=-1时,不定方程x~3±1=6pqDy~2仅有平凡解的两个充分条件.     

谱V（1）稳定同伦群中的新元素

设奇素数p≥11,q=2（p-1）,A为模p的Steenrod代数．证明了在Adams谱序列中,b1k0∈ExtyA^4,p2q＋2pq＋q是永久循环且不是dT边缘,从而收敛到π＊V（1）中的非零元．     

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

对于丢番图方程x(?)-2Dy~2=1,(1)当D=p 是奇素数时,柯召、孙琦得到了一个完满的结果,即定理1.设D=p 是一个奇素数,则方程(1)除p=3,x=7,y=20外无其它正整数解.本文内容之一,在于给出定理1的一个初等而简短的证明.后来,柯召、孙琦又证明了:设D=pq,p,q 为不同的奇素数,p≡q≡1(mod4),((p/q))     

一类与伪Smarandache 函数相关的函数方程

首先研究了著名的F.Smarandache函数S(n)的性质,讨论了一类新的包含Smarandache对偶函数及其伪Smarandache函数方程Z(n)+S*(n)-1=kn,k≥1的可解性,利用初等数论及组合方法,结合伪Smarandache函数Z(n)的性质,巧妙地构造了一个新方程。结果给出了这一类方程的所有整数解,即当k=1时,该方程当且仅当有唯一解n=1,当k=2时,仅有解n=2α,α≥1;当k≥3时,无解。从而,本文彻底解决了这类新方程解的问题。     

数论函数方程φ（n）=S（n～k）的非平凡解

对于正整数a,设φ（a）和S（a）分别是a的Euler函数和Smarandache函数,k是给定的正整数。本研究运用初等数学方法给出了方程φ（n）=S（nk）有适合n＞1的正整数解n的充要条件。由此推知：如果k=[（pα-1-1）/α],其中p为奇素数,α是大于1的正整数,[（pα-1-1）/α]是（pα-1-1）/α的整数部分,则该方程有正整数解n=pαm适合n＞1,其中m∈{1,2}。     

不定方程x~3+y~3+z~3-3xyz=n有非负整数解的充要条件

给出不定方程x3+y3+z3-3xyz=n的非负整数解的一个判定准则.主要结果为:如果正整数n有标准分解式n=2rpr11…prkk,其中p1,p2,…,pk是适合p1相似文献   

关于Euler生成多项多2x2+pq的一个注记

假设Ω(n)为正整数n的素因子个数,K=Q(-2pq),p,q互不相同的奇素数,为虚二次域,记EK=max{Ω(2x2+pq);x∈Z∩[0,pq-1]}.本文证明了Cl(K)Z/2Z Z/2Z当且仅当EK=2.     

关于不定方程σ(x~3)=y~2的一类求解问题

对于正整数a,设σ(a)是a的所有正因数的和。运用初等数论的方法证明了方程σ(x3)=y2没有正整数解(x,y)可使x=2np,其中n是正整数,p与23n+1-1=q都是奇素数。这一结果推广和改进了文献[4]中的结论。     

关于丢番图方程p^x-q^y=2

设p，q为不同奇素数，用初等方法给出了丢番图方程P^x-q^y=2当200〈max｜p，q｜〈300时的全部正整数解．     

关于Diophantine方程x^p－2^p=pDy^2

设p是奇素数,D是无平方因子正整数.本文证明了:当p>3时,如果D不能被p或2kp 1之形素数整除,则方程xp-2p=pDy2没有适合gcd(x,y)=1的正整数解(x,y).     

关于Diophantine方程xp+2p=Dy2

设p是奇素数,D是无平方因子正整数。文章证明了:当p>3时,如果D不能被p或2kp+1形之素数整除,则方程xp+2p=Dy2没有适合gcd(x,y)=1的正整数解。     

关于丢番图方程(p~x+q~y=2~z)(200<max{p,q}<300)

设a,b,c是正整数,p,q是不同奇素数,200max{p,q}300.讨论了丢番图方程ax+by=cz的一个特殊情形.借助计算机,利用初等方法和高等方法的结果给出了指数丢番图方程px+qy=2z的全部非负整数解.