关于Diophantine方程x3±8=Dy2

当D为奇素数,且D=3(8k+2)(8k+3)+1,其中k是非负整数,则方程x3+8=Dy2无正整数解;当D为奇素数,且D=3×4k(4k+1)+1,则方程x3-8=Dy2无正整数解.     

一组组合关系式

本文用组合分析的方法及数学归纳法证明了以下一些组合关系式. (1)C(n+k,r)=sum from m=0 to k (k!)/((k-m)!m!)C(n,r-m); (2)sum from m=0 to n K~m C(n,m)=*(1+k)~n; (3)sum from k=0 to n K~m=sum from k=1 to n S(m,k) ((n+1)!)/((k+1)(n-k)!); (4)sum from p=0 to m F(n,p)=((n+m)!)/(n!m!); (5)sum from q=1 to m qF(n,q)=((n+m)!n)/((m-1)!(n+1)!); (6)sum from p=1 to n F(p,m)=((n+m)!)/((m+1)!(n-1)!); (7)sum from r=0 to S (F_(mi2r)F_(n+2r)+F_(m+2r+1)F_(n+2r+1)); =F_(2??+1)(F_(2??+1)F_(m+n+1)+F_(2??)F_(m+n)); (8)sum from k=0 to n C_k=C_(n+5)-2; (9)S_k??5=sum from p=0 to n C_(k+5??)=C_(5n+1+k+γ_(k,5));     

实二次域上的一个Diophantine方程

设a,b,D,k是适合gad(a,b)=gcd(D,k)=1,a2-Db2=k的正整数;又设α=a+b D,β=a-bD.本文证明了当D是非平方数且k含有适合p≡±3(mod8)的素因数p时,方程α2n+β2n=2x2没有正整数解(x,n).     

关于不定方程x~2+y~2=m

本文讨论不定方程x~2+y~2=m,m≡3(4)在二次域中求代数整数解的问题,并且给出了方程有解的充要条件,显然,对任一有理整数m,m≡3(4),都有分解m=m_1m_2.m_1仅含4k+1形式的素因子,m_2仅含4k+3形式的素因子.为简略计,文中均指这种分解.二次域用Q[D~(1/2)]表示,这里D是无平方因子的有理整数.     

非连通图Wmk∪G的优美性

文章证明了对任意自然数n≥1,p≥1,k≥1,当m1=2p+3或2p+4时,图W(k)m1∪Kn,p为优美图,其中Wm1(k)为由k个轮Wmi(i=1,2,…,k)的中心顶点合并后构成的连通图;当m1≥3,n≥[m1/2]时,非连通图Wm1(k)∪St(n)为优美图;对任意自然数p≥1,图W2p+2+i(k)∪Gip为优美图,其中,Gpi表示p条边的i-优美图(i=1,2);对任意自然数n≥1,当m1=2n+5时,图Wm1(k)∪(C3∨■)为优美图。     

关于Diophantine方程x~3±1=Dy~2

利用数论中的同余,勒让德符号的性质及其它一些方法,研究丢番图方程x3±1=Dy2(D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k+1之形的素数整除的正整数,p=3(12r+7)(12r+8)+1,r是正整数)的解的情况。证明了当D1≡7(mod12)时,方程x3+1=Dy2无正整数解;当D1≡5,8(mod12)时,方程x3-1=Dy2无正整数解。     

4杆汉诺塔的最优移动次数

通常汉诺塔问题只带三根杆,当圆盘数为n时,最优移动次数为T3(n)=2n-1.对于带4杆的汉诺塔问题,最优移动次数满足关系T4(n)=2T4(m)+T3(n-m),其中m=arglmin{2T4(l)+T3(n-l)}依赖于n.对于正数整k,当k(k-1)/2+1≤n≤k(k+1)/2,n=k(k-1)/2+l时,T4(n)=(l+k-2)2k-1+1.特别,T4(sk)=2T4(sk-1)+T3(k),其中s0=0,sk=sk-1+k(k≥1).     

关于Lee猜想的一些结论

Lee提出了猜想:对任意正整数n>1及n次对称群S(n)中的任意置换f,路置换图P(Pn,f)都是优美的.讨论了当f=l-1Ⅱk=0(m+4k,m+4k+2)(m+4k+1,m+4k+3)(其中m和l为正整数,且m-1+41≤n)时,路置换图P(Pn,f)的优美性.     

Gracefulness of disconnected graphs W(k)m∪G

文章证明了对任意自然数n≥1,P≥1,K≥1,当m1=2p+3或2p+4时,图W(k)m1U Kn,p为优美图,其中W(k)m1为由k个轮Wmi(i=1,2,…,k)的中心顶点合并后构成的连通图;当m1≥3,n≥[m1/2]时,非连通图W(k)m1∪St(n)为优美图;对任意自然数P≥1,图W(k)2p2+i∪Gpi为优美图,其中,Gpi表示p条边的i-优美图(i=1,2);对任意自然数n≥1,当m1=2n+5时,图W(k)m1∪(C3VKn)为优美图.     

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

默森尼质数的判别法及其构造

得到默森尼 (Mersenne)数为质数的判别法和构造 ,当Mp=2 p- 1为合数时其因数的特征及其因数个数的估计。(1)Mp=2 p- 1为质数的充要条件是 Mp2kp + 1≡ 0　 (mod p)(2 )如果Mp=2 p- 1且Qi|Mp　i=1,2 ,……T那么 12     

Pt 电极上 CO2水解析氢反应的研究

利用循环伏安法,研究了CO2-H2O 体系在 Pt 电极上的析氢反应,与单纯析氢反应相比,还原峰电位发生负偏移,还原峰电位为-0.5,V.并通过计算,得出在 pH=4附近 CO2扩散系数D =3.02×10-10,m2/s,H+扩散系数CO 2 D =+H 4.93×10-9,m2/s,电极表面的反应层厚度D k cμ=/(0 b-及 H+的浓度分布函数) c c++ΗΗ[-=10 H+HCO exp{-x k c 0 b HCO-/D +H}].33为电流法测定 CO2气体浓度的方法提供了基础参考数据     

利用哈勃参量观测数据限制ACDM宇宙学模型：MCMC方法

利用最新的哈勃参量观测数据(OHD)对标准宇宙学模型在空间曲率k=0和k≠0两种情况下,分别使用MCMC(Markov Chain Monte Carlo)方法对其模型参量进行了限制.对于平坦宇宙而言,得到如下结果:Ωm=0.248 85+0.03 81-0.04 52(1σ)+0.07 30-0.09 21(2σ),H0=72.731 4+2.01 19-1.80 72(1σ)+3.845 7-3.723 6(2σ);对于非平坦ΛCDM模型,Ωk=-0.332 66+0.391 1-0.358 7(1σ)+0.764 7-0.667 9(2σ),Ωm=0.375 88+0.147 8-0.150 3(1σ)+0.278 5-0.296 8(2σ),H0=73.876 3+2.373 9-2.345 5(1σ)+4.683 3-4.716 1(2σ).该结果与绝大多数多元数据联合限制的结果相一致并强烈支持暗能量宇宙的存在.     

轮对完全图的拉姆齐数

记tm={C3,C4,…,Cm）．对于充分大的n,证明了r（Kt＋t2m＋1,Kn）≤（1＋o（1））c（logn）^k＋1/n^k＋1＋1/m,这里c=c（m）是一个常数.     

两类非连通图优美性的研究

给出了两类非连通图(K2〖TX-〗∨Cn)∪[DD(]3[]i=1[DD)]St(mi)和(K2〖TX-〗∨C2n+k)∪St(m)∪G(k)n-1(k=1,2), 并证明了如下结论:对自然数n, m, m1, m2, m3, 设s=〖JB(［〗〖SX(〗n〖〗2〖SX)〗〖JB)］〗, n≥9, m1≥s+2, 则图(K2〖TX-〗∨Cn)∪[DD(]3[]i=1[DD)]St(mi)是一个优美图; 对 k=1,2,设n, m≥3, G(k)n-1是一个具有n-1条边的k-优美图,则图(K2〖TX-〗∨C2n+k)∪St(m)∪G(k)n-1是一个优美图。 其中,K2是一个具有2个顶点的完全图,K2〖TX-〗是图K2的补图,K2〖TX-〗∨Cn是图K2和n圈Cn的联图, St(m)是一个具有m+1个顶点的星形树。     

关于Diophantine方程x^3±8=Dy^2

利用数论中同余的性质研究丢番图方程x3±8=Dy2（D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k＋1之形的素数整除的正整数,p是正奇素数）的解的情况,证明了当D1=3,7（mod8）,p=3（8k＋7）（8k＋8）＋1时,方程x3＋8=Dy2无正整数解;当D1=7（mod8）,p=3（8k＋5）（8k＋...     

关于图C_m∪P_(n-1)~+的优美性

图Ｃｍ ∪Ｐ＋ｎ－ １ 是圈Ｃｍ 与Ｐ＋ｎ－ １ 的不交并。本文证明了当①ｍ ＝ ４ｋ,ｎ ≥ｋ ＋ ２;②ｍ ＝ ４ｋ ＋ １,４ｋ － １ ≤ｎ ≤１０ｋ－ ７;③ｍ ＝ ４ｋ＋ ２,ｎ ≥４ｋ ＋ １;④ｍ ＝ ４ｋ ＋ ３,４ｋ＋ ２≤ｎ ≤１０ｋ－ ２ 时,图Ｃｍ ∪Ｐ＋ｎ－ １ 是优美的。     

图(∪si=1aiD3mi)∪（∪tj=1bjD3nj+1)的补图的色唯一性

本文证明了Dn是不可约图的充分条件。并讨论了图G=(∪si=1aiD3mi)∪(∪tj=1bjD3nj+1)的伴随唯一性。