图Pm×P3(n=11+8k)的点可区别全染色与算法

集合{1,2,…,n}中取4个数字的所有组合,经三角排序后任意相邻2个组合都有3个相同数字.利用此结果和组合性质(n+8k3)-(n3)≡0 (mod 4)构造算法,并证明当n=11+8k(k =0,1,…)和(n-14)/2+2＜m≤(n4)/2+2时积图Pm×P3的点可区别全色数为n.     

整数集合的sum-free集(无和集)分拆的一个注记

本文根据g(n,k)的值证明了:φ(n,1)=[(n+1)/2](n≡1(mod2));φ(n,2)=n-[n/5](n≡4(mod(5)).ψ(n,1)=[(n+1)/2](p≡0(mod2));ψ(n,2)=n-[n/5](p≡0(mod5)).及其n和p取其他值与k≥3时,给出了φ(n,k)与ψ(n,k)的范围.并说明了g(n,k)与ψ(n,k)在求Ramsey数的作用.     

一类含有调和数的同余式（英文）

该文目的是创建一系列含有调和数的同余式.当p3为一素数时,利用已有的组合恒等式和同余式,得到了如下的同余式:∑p-1k=1k~2H_k~2≡79/108p-4/9(mod p~2)和∑p-1k=1H_k~3≡23/18(mod p).同时也得到了∑(p-1)/2k=1H_k~2/k≡-8/3q_p~3(2)+1/6B(p-3)(mod p)和∑(p-1)/2k=1H_(2k)~2≡-1+1/2q_p~2(2)(mod p),这里Bn(n∈N)称为Bernoulli数,当pa时,q_p(a)=(a~(p-1)-1)/p称为Fermat商.     

短四元射影空间HPn+66的稳定James数

短四元射影空间HP_(n+kk)系指HP_(n+kk)=HP_(n+k)/HP_n=HP~_(n+k-1)/HP~(n-1)。i:HP_(n+k1)→HP_(n+kk)为包含映射。稳定J_(ames)数是指d_(es)=i~*:{HP_(n+kk)S~(4n)}→{S~(4n)S~(4n))=Z的余核的阶。Ho_(shima)在中已决定了H{n,k}=k=1,2,3,4,并对H{n,5)作出了估计。本文是对H{n、6)作出了估计同时应用本文的一些结果于H—射影。主要结果是: 定理1:当n=1 mod_4或n为偶数但n2,50,130,178mod2~8;n0mod2(11)n4m°d8时     

关于Pell方程x~2-5(5n±2)y~2=-1(n≡-1(mod4))

讨论了形如x2-5(5n+2)y2=-1(n∈Z+,n≡-1(mod4),5n+2为素数)与x2-5(5n-2)y2=-1(n∈Z+,n≡-1(mod4),5n-2为素数)型Pell方程有正整数解的两个结论.     

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

一道数学问题的简解和推广

《数学通报》2 0 0 1年第 8期数学问题 1 3 2 4题的解答可不求和 ,利用同余而得简解和推广。问题 1 3 2 4为 :已知 n是一个使 1 +2 3 +3 3 +… +n3 不能被 5整除的自然数 ,试求 1 +2 2 +3 2 +… +n2除以 5所得的余数。解 :因为对任意自然数 t都有 :　　　　　　 ( 5t+1 ) 3 +( 5t+4 ) 3 ≡ 0 ( mod5)　　　　　　 ( 5t+2 ) 3 +( 5t+3 ) 3 ≡ 0 ( mod5)　　　　　　　　　 ( 5t+5) 3≡ 0 ( mod5)故当 n=5t+i时有　　　 1 +2 3 +3 3 +… +n3 ≡ 1 3 +… +i3 ( mod5)　i=1 ,2 ,3 ,4,5由题意 i只能等于 1 ,2 ,3 ;又由于　　　　　　 ( 5t+1 ) 2 …     

关于方程x~n+x~(n-1)+…+x+1=y~k

方程(1)x~n+x~(n-1)+…+x+1=y~k.Greone证明了方程(1)在n=3,k=2时,除开x=7,y=±20外,无其他|x|>1的整数解。E.Landau证明了n≡2(mod3),(n+1)/3的所有奇素因子皆6h-1型时,     

关于x(ax+b)/2+y(cy+d)/2+z(ez+f)/2型通用和（英文）

设整数a,b,c,d,e,f满足ab≥0,cd≥0,ef≥0,a≡b (mod 2),c≡d (mod 2),e≡f (mod 2),a≥c≥e≥2,a=c时b≥d,c=e时d≥f.最近作者证明了如果有序六元组(a,b,c,d,e,f)在整数环上通用(即每个n=0,1,2,…可表成x(ax+b)/2+y(cy+d)/2+z(ez+f)/2的形式,其中x,y,z为整数),则它必在我们列出的12082个有序六元组中.本文中我们明确列出那12082个有序六元组并分析这些数据,还证明了许多满足a≤10的有序六元组确在整数环上通用.     

椭圆曲线y~2=nx(x~2+8)的正整数点

设n■1(mod 8)为奇素数.利用初等方法证明了椭圆曲线y~2=nx(x~2+8)至多有1个正整数点.     

关于n长路的(a,b;n)-优美标号

证明了a=4时,Gvozdjak猜想成立.即路Pn存在一个(a,b;n)-优美标号,当且仅当整数a,b,n满足:(1)b-a与n(n+1)/2有相同的奇偶性;(2)0<|b-a|≤(n+1)/2;(3)n/2≤a+b≤3n/2.在a=4时,成立.     

关于r-(P_0,…,P_(t-1))—泛圈图

若G中长为r+tj+i的圈恰好有Pi(0≤i≤t-1)个,其中r+tj+t-1≤n,j是P_0,…,P_(t-1)重复的次数,则称G为r-(P_0,…,P_(t-1))-泛圈图.主要采用构造法,给出当t=8时r-(P_0,…,P_7)-泛圈图的一些结果 .即设n≥14,≥6若2-3+-3≤n2-2+-2且n-(r_((n,)-1))=s(mod8),s=0,1,…,7时,那么存在一个n阶r-(4,4,4,4,5,5,5,5)泛圈图,其中r=r_(0, λ)+s=﹛2~(λ-4)+3+s,当n≤3·2~(λ-4)+2时n-2~(λ-3)+1+s当n3·2~(λ-4)+2时同时,利用类似的方法证明了r-(1,1,3,3,4,4,5,5)—泛圈图、r-(4,4,4,4,5,5,5,5)—奇(偶)泛圈图以及r-(1,1,3,3,4,4,5,5)奇(偶)泛圈图.进一步,给出相应圈长分布的最小可能边数.     

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

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

椭圆曲线y~2=nx(x~2+16)的整数点

如果n为无平方因子的正奇数,n的所有素奇数p_j(j∈Z~+)都满足P_j≡3,7(mod 8)为奇素数.主要利用同余、勒让德符号的性质等证明了椭圆曲线y~2=nx(x~2+16)当n≡3,7(mod 8)素数时除整点(0,0)以外,至多只有2组整数点.     

关于丢番图方程x(x+1)(x+2)=2py~n

设p为奇素数.证明了:①若整数n>2,则丢番图方程x(x+1)(x+2)=2pyn仅有正整数解(p,x,y)=(3,1,1);②若整数n=2,则丢番图方程x(x+1)(x+2)=2pyn在p■1(mod 8)时仅有正整数解(p,x,y)=(3,1,1),(3,2,2),(3,48,140),(11,98,210);在p≡1(mod 8)时的正整数解为(p,xn,yn)=(p,16t2n,4untnsn),这里p,un,tn,sn满足sn+2=6sn+1-sn,s1=3,s2=17,tn+2=6tn+1-tn,t1=1,t2=6及pu2n=16t2n+1.     

型为gn的MGDDλ(3,4,ng)的存在性

可分组3-设计是一类重要的组合设计,在3-平衡设计的研究过程中起着重要作用.Mendelsohn型可分组3-设计是可分组3-设计的一种有向推广形式,它在研究有向3-设计时有重要应用.研究了Mendelsohn型可分组3-设计的存在性问题,通过直接构造与递归构造相结合的方法,证明了:型为gn的MGDDλ(3,4,ng)存在的充要条件为λn(n-1)(n-2)g3≡0(mod 4)且n≥4,除去n=5,λ≡1(mod 2),g≡1(mod 2).     

关于丢番图方程px~4-(p-q)y~2=qz~4

利用初等方法给出了丢番图方程px4-(p-q)y2=qz4当p=2Q2+q,p,q为奇素数,2|/Q,P≡7(mod8)或者2|Q,p≡3(mod8)时的全部正整数解,从而拓展了Mordell等学者关于ax4+by4=cz2的结果.     

序列{U_n}模素数幂的同余式

设{Un}是如下定义的序列:U0=1,Un=-2[∑n/2]k=1n2kUn-2k(n≥1),这里[x]为取整函数,本文利用孙智宏建立的同余式,获得U2n(mod 35),U2n(mod 2α+16)(n≥8且2α|n)以及U32k+b-Ub(mod 256)的同余式.     

椭圆曲线y~2=nx(x~2+16)的整数点

如果n为无平方因子的正奇数,n的所有素奇数p_j(j∈Z~+)都满足P_j≡3,7(mod 8)为奇素数.本文主要利用同余、勒让德符号的性质等证明了椭圆曲线y~2=nx(x~2+16)当n≡3,7(mod 8)为奇素数时除整点(0,0)以外,至多只有两组整数点.     

关于商高数2n+1,2n(n+1),2n(n+1)+1(Ⅲ)

已知对于商高数2n+1,2n(n+1),2n(n+1)+l,o>0.有下面的一些结果:Ⅰ.除开.(1)n≡0,24,80,104,120,144,200,224(mod240),