关于不定方程（x^m—1）／（x—1）=Y^n的可解性

不定方程(x~m-1)/(x-1)=y~n,m>2,n>1 (1)在历史上曾有过大量的研究工作。例如,1920年Nagell证明了(A)如果4|m,则方程(1)仅有满足|x|>1的整数解m=4,x=7,n=2,y=±20。1943年,Ljunggren证明了(B)如果n=2,则方程(1)仅有满足|x|>1的整数解m=4,x=7,y=±20和m=5,x=3,y=±11;和(C)如果n=3,m≠-1(mod6),则方程(1)仅有整数解m=3,x=18或-19,y=7。1972年,Inkeri为了给出不定方程     

关于方程Dx~2±1=y~p,xy≠0

对于Diophantus方程 Dx~2 1=y~p,xy≠0,p>ε是素数,(1) 当D=2时。它仅有整数解x=±11,y=3(p=5)(参阅[1])。而当D>2无平方因子时,Nagell证明了:设ph(-D),这里h(-D)表示虚二次域Q((1/2)D)的类数,则方程(1)给出2|y。     

Diophantine方程y~2=px(x~2+2)

设p是大于3的奇素数.本文证明了:当p≡5或7(mod 8)时,方程y~2=px(x~2+2)无正整数解(x,y);当p≡1(mod 8)时,该方程至多有1组解;当p≡3(mod 8)时,该方程至多有2组解.     

不定方程x4-y4=n整数解求法探讨

求方程 x4- y4=n　 ( n∈ N)的整数解 ,至今还没见到一般方法 ,本文将给出这类不定方程一种解法 .文中字母 P表示质数集 ,符号 ( a,b)( a、b∈ Z)表示不定方程　　 x4- y4=n　 ( n∈ N) ( 1 )的整数解 .定理 1　若 n∈ P,则方程 ( 1 )没有整数解 .证明　假定方程 ( 1 )有整数解 ( a,b) ,定有　 a2 b2 =n,　 a2 - b2 =1 ,∵　 a、b∈ Z,| a| >| b| ,只有　　　 (± 1 ) 2 - 0 2 =1 ,∴　 a =± 1 ,　 b =0 ,　 a2 b2 =1 ,与 a2 b2 =n是质数相矛盾 ,故方程 ( 1 )没有整数解 .由费马定理知 ,有定理 2　当 n =m4( n∈ N)时 ,则方程 ( 1…     

关于Fermat方程解的下界的估计

本文证明了:对于适合p≡3(mod4)的素数p,方程x~p+y~p=z~p,p|xyz,0p~(6p-2)/2以及z—x>p~(6p-3)/4。     

关于丢番图方程中的柯召—Terjanian—Rotkiewicz方法

1962年,柯召[1]为了证明丢番图方程 x~2-1=y~p,p>3是素数,(1)无整数解,提出了计算Jacobi符号 (Q_p(y)/Q_q(y))来处理丢番图方程的方法,这里Q_n(y)=y~n 1/y 1,2十n.后来,1977年,Terjanian[2]为了证明丢番图方程     

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

<正> 关于丢番图方程x~4-Dy~2=1,D>0且不是平方数,(1)有过一系列工作,其主要结果如下:Nagell 证明了 D≡3(mod 8)是素数,(1)无正整数解.Ljunggren 证明了(1)最多只有两组正整数解.Cohn 证明了 D 使得 x~2-Dy~2=-4有解 x≡y≡1(mod 2),则(1)除开有限个D 的值外,仅有整数解 x=1.     

不定方程x4-y4=n的整数解之我见

文 [1]对不定方程　　　　　 x4- y4=n (1)的整数解求法作了探讨 ,笔者认为有必要作一些说明 .容易验证 :奇数的四次方除以 16余 1.n =(x - y) (x +y) (x2 +y2 ) ,n(n >1)必为合数 ;若 (x,y)满足方程 (1) ,则(± x,± y)也满足方程 (1) ,故仅需考虑正整数解 .容易得到 (以下字母为正整数 ) :定理 1　 n =a2 ,2 a2 ,pa2 (p为素数 ,p≡3(mod8) )时 ,方程 (1)无正整数解 [2 ] .定理 2　方程 (1)有正整数解的充要条件是 n =PQ(P 相似文献   

费尔马小定理在解竞赛题中的应用

法国数学家费尔马(1601-1665)所提出的猜想:当n是大于2的整数时,不定方程 x~n+y~n=z~n没有整数解。通常,人们称这个至今未获解决的问题为“费尔马大定理”。数论中还有一个被广泛应用的费尔马小定理:若p为素数,则 a~p=a (mod p)。推论:若p为素数,且(a,p)=1,则 a~(p-1)≡1 (mod p)。费尔马小定理在解决数学竞赛的问题中     

椭圆曲线y2=2px(x2+1)上正整数点的个数

设p是奇素数,N(p)是椭圆曲线E:y2=2px(x2+1)的正整数点(x,y)的个数.主要讨论了N(p)的性质,运用初等方法及四次Diophantine方程的性质,对某些特殊素数p,给出了N(p)的上界.证明了当p≡1(mod 8)且p=s2+32t,其中s,t是正整数时,N(p)≤3;当p≡1(mod 8)且p+s...     

环的交换性定理

本文证明了: 定理1 设R是有左单位元e的结合环的而N为其诣零元集合,如果R中恒有。(i) x~(n(x))-x∈N x∈R此处n(x)是大于1的依赖于x的整数;(ii) x≡y(mod N)就导致x~i=y~i x~j=y~j i=i(x,y) j=j(x,y) (i,j)=1是与x,y有关的大于2的整数或者x,y与N中每一元都可交换。则R为交换环. 定理2 若R是kothe半单环,a,b∈R,存在k≥m=m(a,b)≥1;l≥n=n(a,b)》1使得[(ab)~m(ba)~n]∈Z(R)且R之特征为p(素数),则R为交换环。     

关于一类指数Diophantine方程的可解性

设p是奇素数,根据高次Diophantine方程和广义Ramanujan-Nagell方程的性质,运用初等数论方法证明了:方程x~2+(2p-1)~m=p~n的例外解(x,m,n)都满足2|m以及2|n可知:当p=3(mod4)时,方程仅有正整数解(x,m,n)=(p-1,1,2).     

关于指数Diophantine方程2~x+p~y=z~2的解的个数的上界估计

设P是一个固定的奇素数.得到了方程2~x+p~y=z~2的所有正整数解(x,y,z)的一个分类.此外,证明了:如果P≡1(mod 4)并且P≠17,那么Diophantine方程2~x+p~y=z~2的全部正整数解(x,y,z)的个数N(p)满足估计N(p)≤4.     

关于丢番图方程(na)~x+(nb)~y=(nc)~z（英文）

设(a,b,c)为本原的商高数组,满足a~2+b~2=c~2且2|b.1956年,Jesmanowicz猜想:对任给的正整数n,丢番图方程(na)~x+(nb)~y=(nc)~z仅有正整数解x=y=z=2.令P(n)表示n的所有不同素因子乘积.对商高数组(a,b,c)=(p~(2r)-4,4p~r,p~(2r)+4),其中p为大于3的素数且p■1(mod 8),本文证明在条件P(a)|n或者P(n)a下,Jesmanowicz猜想成立.     

非整边的直角三角形整距点问题

以直角顶点为原点 ,两直角边分别为 x轴和 y轴的正方向建立坐标系 .不妨设斜边所在直线方程为 ax +by=n,则方程 ax +by=n - kc(其中 a、b、c∈ N+,且 a2 +b2 =c2 ,k为整数 )的正整数解就是整距点的坐标 ,因此整距点问题与一类不定方程的正整数解联系起来 .设 a,b,n皆为正整数 ,有以下引理 .引理 1　方程 ax +by =n有整数解的充要条件是 (a,b) |n.引理 2　若 (a,b) =1,且 x0 ,y0 为方程 ax+by =n的一组解 ,则方程其它解可表示为 :x =x0 +bt,y =y0 - at(t为整数 ) .引理 3　设 (a,b) =1,则当 n>ab- a-b时 ,方程 ax +by =n必有非负整数解 .以…     

一类椭圆曲线有正整数点的判别条件

设p是适合p≡1（mod81的奇素数．本文主要利用初等方法证明了椭圆曲线y2=px（x2＋1）在P≡9（rood16）时没有正整数点（x,y）;并且对于p≡1（mod16）的情况,给出了该椭圆曲线有整数点的两个判别条件．     

巧用抛物线的一个性质解决一类高考题

定理从抛物线外一点P引抛物线的两条切线PA,PB,切点分别为A,B,若F是抛物线的焦点,则有∠PFA=∠PFB.图1证法1如图1,设抛物线的方程为x2=2py(p>0),点P(x0,y0),A(x1,y1),B(x2,y2),则切线PA:x1x-py-py1=0,∴x1x0-py0-py1=0.切线PB:x2x-py-py2=0,∴x2x0-py0-py2=0.∵FA=(x1,y1-p2),FB=(x2,y2-p2),FP=(x0,y0-p2),∴cos∠PFA=FA·FP|FA||·FP|=x1x0 (y1-p2)(y0-p2)|FP|(y1 p2)=p(y1 y0) (y1-p2)(y0-p2)|FP|(y1 p2)=y1y0 p2(y1 y0) 2p4|FP|(y1 p2)=(y1 p2)(y0 p2)|FP|(y1 p2)=y0 p2|FP|,同理cos∠PFB=y0 p2|FP|,∴∠PFA=∠P…     

算术数列中的素变数丢番图逼近

证明了:设λ1,λ2,λ3是非零实数,并且不同一符号,η是实数,λ1/λ2是无理数,h是一个给定的正整数,l1,l2,l3是整数,如果广义黎曼猜想成立,那么有无穷多有序素数对p1,p2,p3(pj≡lj(mod h),j=1,2,3)使得|λ1p1 λ2p2 λ3p3 η|＜(max pj)-(1)(10)(log max pj)5.     

关于Diophantine方程a~x+b~y=c~z的Terai猜想

设m是正偶数.证明了(A)若b是奇素数,且a=m|m~6-21m~4+35m~2-7|,b=|7m~6-35m~4+21m~2-1|,c=m~2+1,则Diophantine方程G:a~x+b~y=c~z仅有正整数解(x,y,z)=(2,2,7);(B)若m2863,且a=m|m~8-36m~6+126m~4-84m~2+9|,b=|9m~8-84m~6+126m~4-36m~2+1|,c=m~2+1,则Diophantine方程G仅有正整数解(x,y,z)=(2,2,9);(C)若a,b,c适合a=m|∑_(i=0)~((r-1)/2)(-1)~i(_(2i)~r)m~(r-2i-1)|,b=|∑_(i=0)~((r-1)/2)(-1)~i(_(2i+1)~r)m~(r-2i-1)|,c=m~2+1,r≡1(mod4),2|x,2|y,且b为奇素数或m145r(log r),则方程G仅有解(x,y,z)=(2,2,r).     

短区间的并集中整数及其m次幂的差的均值分布

本文研究了短区间的并集中整数及其m次幂的差的均值分布问题,给出了渐近公式.具体来说,设P是奇素数,1≤H≤p,实数δ满足0 δ≤1,整数m≥2.设I~((j))是(0,p)的互不相交的子区间,1≤j≤J,满足H/2≤|I~((j))|≤H,以及(y)_p表示y在模p下的非负最小剩余.定义I=∪_(j=1)~JI~((j)),并设X是模p的Dirichlet非主特征.证明了Σ x∈1 |x-(x~m)p|δp 1=1/p∫_0~([δp]) (Σ x∈1 x≤p-1-t 1+Σ x∈1 x≥t=1 1)dt+O(mJ~(1/2)P~(1/2)log~2 plog H),以及Σ x∈1 |x-(x~m)p|δp X(x)mJ~(1/2)P~(1/2)log~2 plog H.