一类表示伪素数的公式

素数最基本的性质是费马小定理，给出了自然数是素数的必要条件：若（p，a）=1（p为素数）则ap-1≡1（modp）．很长一段时间以来，人门认为费马小定理的逆定理也成立，甚至认为n是素数当且仅当2n-1≡1（modn），但这是错误的．1819年萨吕斯（M．Sarrus）证明，2341≡2（mod341），但341＝11×31是合数．后来，人们把满足同余式2n-1≡（modn）的合数叫伪素数．伪素数是否有无穷多？1903年，马洛（Malo）首先证明：如果A是伪素数，2A-1也是伪素数[1].文[2]给出一个伪素数的公式，笔者认为可以给出一类伪素数的公式．现给出预备知识（p为奇素…     

不定方程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 相似文献   

关于丢番图方程 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.     

费马数和默森数的方幂性

通常,把F_n=2~(2~n) 1(n=0,1,2,…)称为费马数,把M_p=2_p-1(p为素数)称为默森数。洪斯贝格曾证明了F_n非平方数也非立方数;也有人提出M_p也非平方数。本文拓广他们的工作。 引理1 ⅰ)方程x~2-1=y~p(p≥3为素数)仅有正整数解(x,y,p)=(3,2,3)。 ⅱ)方程x~2 1=y~n(n>1)无正整数解,     

关于丢番图方程x~3±1=3·2~αpD_1y~2

设D_1=multiply from i=1 to s q_i(s=1或2),q_i≡-1(mod6)(i=1,2,…,s)是彼此不同的奇素数,p≡1(mod6)为奇素数.运用初等方法讨论了丢番图方程x~3±1=3·2~αpD_1y~2(α=0或1)的正整数解的情况.     

x~(2~ap~br~c)-1在有限域上的完全分解

F_q是阶为奇素数幂q的有限域.本文给出了x~(2~ap~br~c)-1在Fq中完全分解式,其中a,b,c均为正整数,p,r为q-1的两个不同的奇素数因子.结果表明x~(2~ap~br~c)-1在F_q上的所有不可约因子均为二项式或三项式.对一般情况,如果用v_p(m)表示正整数m的标准分解中素因子p的次数,假设m的每个素因子都整除q-1,那么:(1)当v_p(m)≤v_p(q-1)对任意素数p|q-1成立时,x~m-1在F_q上的不可约因子都是二项式;(2)当q≡3(mod 4)时,x~m-1在F_q上的不可约因子都是二项式或者三项式.     

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组解.     

小区间中的全平方数

<正> 一个正整数n是全平方数是指:p是n的素因子,则p~2|n.Q(x)表示不超过x的全体全平方数的个数.Bateman和Grosswald[1]中证明了:     

关于丢番图方程X~2+4Y~4=pZ~4

设p为素数,p=4A~2+1+2|A,A∈N~*.运用二次和四次丢番图方程的结果证明了方程G:X~2+4Y~4=pZ~4,gcd(X,Y,Z)=1,除开正整数解(X,Y,Z)=(1,A,1)外,当A≡1(mod4)时,至多还有正整数解(X,Y,Z)满足X=|p(a~2-b~2)~2-4(A(a~2-b~2)±ab)~2|,Y~2=A(a~2-b~2)~2±2ab(a~2-b~2)-4a~2b~2A,Z=a~2+b~2;当A≡3(mod4)时,至多还有正整数解(X,Y,Z)满足X=|4a~2b~2A-(4abA±(a~2-b~2))~2|,Y~2=4a~2b~2A±2ab(a~2-b~2)-A(a~2-b~2)~2,Z=a~2+b~2.这里a,b∈N~*并且ab,gcd(a,b)=1,2|(a+b).同时具体给出了p=5时方程G的全部正整数解.     

一类3p~2阶4度1-正则图

设p为大于3的素数,群G=和H=(其中r(?)1(mod p~2),r~3≡1(mod p~2),3|(p-1))是两类3p~2阶非交换群.通过研究Cayley图的正规性,完成了对G和H的所有4度Cayley图的分类,并得到了一类新的4度1-正则图.     

椭圆曲线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,λ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方程ax+by=cz

设a、b、c是互素的正整数.本文证明了:当a b2l-1=c2,b≡5(mod 12),c是适合c≡-1(mod b2l)的奇素数,其中l是正整数时,方程ax by=cz仅有正整数解(x,y,z)=(1,2l-1,2).     

一个无k次幂因子D.H.Lehmer数的渐近性质

设素数p>2,对任何满足条件1 a相似文献   

On the sum of two integral squares in the imaginary quadratic field Q(-2p)~(1/2)

We determine the sum of two integral squares over imaginary quadratic fields Q(√-2p),where p≡1 mod 8 is a prime satisfying 2p=r2+s2with r,s≡±3 mod 8.     

On the sum of two integral squares in the imaginary quadratic field \mathbb{Q}\left( {\sqrt { - 2p} } \right)

We determine the sum of two integral squares over imaginary quadratic fields Q(√-2p),where p≡1 mod 8 is a prime satisfying 2p=r2+s2with r,s≡±3 mod 8.     

素数与不可约多项式

本文介绍三个用素数来判定多项式不可约的结论 ,从而把素数与不可约多项式紧密地联系起来了 .定理 1　对于整系数多项式f ( x) =∑ni=0aixi( n∈ N,an ≠ 0 ) ( 1 )若存在一个正整数 p >u =1 max0≤ i≤ n{| ai| },使 | f ( p) |不是合数 ,则 f( x)在 Q上不可约 .为证明 ,先给出两个引理 .引理 1　多项式 ( 1 )的根的模小于 u.证明　 (用反证法 )设当 f ( z) =0时 ,| z|≥ u(因为 an ≠ 0 ,所以 u≥ 2 ) ,得| f ( z) |≥ | an| .| z| n - ( u - 1 ) ∑n-1i=0| z| i　≥ 1 .| z| n - u - 1| z| - 1 ( | z| n - 1 )≥ 1 ,即　 | f ( z) |≥…     

用素数判定多项式不可约

本文介绍两个用素数列来判定多项式不可约的定理 ,从而把素数与不可约多项式紧密联系起来了 .定理 1　对于整系数多项式f ( x) =∑ni=0aixi　 ( n∈ N,an ≠ 0 ) ( 1 )若存在一个正整数 p >1 max0≤ i≤ n{| ai| },使| f ( p) |不是合数 ,则 f ( x)在 Q上不可约 .为证明定理 1 ,先给出两个引理 .引理 1　多项式 ( 1 )的根的模必小于u =1 max0≤ i≤ n{| ai| }.证明　当 f ( z) =0时 ,假设 | z|≥ u(因为 an ≠ 0 ,所以 u≥ 2 ) ,得| f ( z) |≥ | an| .| z| n - ( u - 1 ) ∑n- 1i=0| z| i≥ 1 . | z| n - ( u - 1 ) .| z| n - 1| z| -…     

求伪素数的一个公式

定义若n是合数，且满足2n－1－1≡0（modn），则称数n是伪素数．从1819年有人发现第一个伪素数341后，更多的伪素数被找出，如561，645等等．伪素数的个数无穷．陈历功和陈君安在上文文[2]中提出了一条直接求伪素数的定理．即：若p是大于5的素数，则n是伪素数．此理论概括了一类伪素数，笔者通过探索发现，还存在另一类伪素数，其公式如下．定理若p是异于3和7的奇素数，则是伪素数．证明设p是异于3和7的奇素数．为整数，数．因异于3和7的奇素数的个数无限，所以，这类伪素数的个数也无穷．文［Zj中猜想："无法找出两个统一的正整数a，m，当…     

关于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).