三维有限射影几何空间上二阶曲面x1x2-x23-x24=O的元素数目

首先研究了有限域GF(pr)上不定方程x2+y2=0解的情况:(1)当p=2时,有P'-1组非零解;(2)当4|Pr-1时,有2(pr-1)组非零解;(3)当p为奇数且4Pr-1时,只有零解.在此基础上给出了三维有限射影空间S3,q(q=pr)上二阶曲面x1x2-x23-x24=0点的个数:(1)p=2时,二阶曲面由q2+2q+1个点组成;(2)当4|q-1时,二阶曲面由q2+2q+1个点组成;(3)当q为奇数且4q-1时,二阶曲面由q2+1个点组成.     

三维有限射影几何空间上二阶曲面x_1x_2-x_3~2-x_4~2=0的元素数目

首先研究了有限域GF(p~r)上不定方程x~2+y~2=0解的情况:(1)当p=2时,有p~r—1组非零解;(2)当4|p~r—1时,有2(p~r—1)组非零解;(3)当户为奇数且4p~r—1时,只有零解。在此基础上给出了三维有限射影空间S_(3,q)(q=p~r)上二阶曲面x_1x_2—x_3~2—x_4~2=0点的个数:(1)p=2时,二阶曲面由q~2+2q+1个点组成;(2)当4|q—1时,二阶曲面由q~2+2q+1个点组成;(3)当q为奇数且4q—1时,二阶曲面由q~2+1个点组成。     

三维有限射影几何空间上二阶曲面x1x2—x2／3—x4^2=0的元素数目

首先研究了有限域GF(p^r)上不定方程x^2 y^2=0解的情况：(1)当p=2时，有p^r-1组非零解；(2)当4｜p^r-1时，有1(p^r-1)组非零解；(3)当P为奇数且4p^r-1时，只有零解．在此基础上给出了三维有限射影空间S39q(q=p^r)上二阶曲面x1x2-x3^2—x4^2=0点的个数：(1)p=2时，二阶曲面由q^2 2q 1个点组成；(2)当4｜q-1时，二阶曲面由q^2 2q 1个点组成；(3)当q为奇数且4q-1时，二阶曲面由q^2 1个点组成．     

有向图的优美性证明

利用构造性方法证明了对于任意自然数n,n·→c4都是优美图,并讨论了n·→c4优美标号的若干性质.     

关于∑的上界的探讨

对∑cos nA/2的上界进行研究,给出3≤n≤6(n为自然数)时有关结果,并对n≥7编写计算机检验程序.     

延迟微分方程单支方法的收敛性

该文讨论了一类延迟量满足Lipschitz条件且Lipschitz常数不为1的非线性变延迟微分方程初值问题,得到了带线性插值的单支θ方法的收敛性结果.     

级数的求和公式

采用组合数学的方法,利用第二类Stirling数研究了与Riemann Zeta 函数有关的级数∑∞k=2f(k)ζ-(k)的求和问题,并得出了求和公式,这个公式表述简洁并有鲜明的规律性.     

微积分理论重要极限的再证明

微积分学中重要极限limx→0(sinx)/(x)的大多数传统证明方法用到尚未严格证明过的圆周长或圆面积公式.论文通过新的途径对此进行了再证明,与传统证明方法以及近来的某些其它方法都是不同的,避免了循环论证之嫌,对完善微积分经典理论是有益的.     

关于形式系统(强)完备性证明的注记

考察了形式系统(L)*完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于(L)*系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划.     

一些Julia集为的有理函数

文章给出了一些有理函数它们的Julia集为整个黎曼球面.     

关于不定方程组X+1=6py2,X2-X+1=3z2

设p为素数,文章利用同余及丢番图方程的一些结果证明了不定方程组x+1=6py2,x2-x+1=3z2无正整数解。     

关于指数丢番图方程x3+1=py2与x3+1=3py2

设p是6k+1型的奇素数,运用初等方法给出了当p=3n(n+1) +1(n∈N),且3｜(2n+1)时指数丢番图方程x3+1 =py2与x3+1 =3py2无正整数解的充分条件.     

椭圆曲线y2=x3+75x-158的整数点

本研究利用同余、Pell方程解的性质等初等方法讨论椭圆曲线y2=x3+75x-158的整数点问题,证明该曲线仅有整数点(x,y)=(2,0).     

关于Diophantine方程x3-23n=Dy2

设D是不能被6k 1之形素数整除的无平方因子正奇数时,论文证明了:如果D≡1,3(mod8)或D有适合p≡5(mod12)的素因数p,则方程2332Dyxn=-没有适合n>1的正整数解(x,y,n).     

椭圆曲线y2=x3-17x+114的正整数点

利用唯一分解定理、同余的性质、Legendre符号的性质、奇偶数的性质、Pell方程的解的性质等初等方法证明了椭圆曲线y~2=x~3-17x+114无正整数点.     

关于丢番图方程x~3±1=3Dy~2

设D是素数.主要研究丢番图方程x3±1=3Dy2正整数解的情况.利用初等数论的方法得到了丢番图方程x3±1=3D y2无正整数解的一个充分条件.     

关于不定方程x^3＋1=266y^2和x^3＋8=133y^2

利用同余式、递归数列的方法证明了不定方程x3+1=266y2仅有整数解(x,y)=(-1,0),x3+8=133y2仅有整数解(x,y)=(-2,0),(5,±1).     

关于Diophantine方程x~3+1=3pqy~2

关于Diophantine方程x~3+1=3pqy~2整数解的情况至今仍未解决。本文主要利用递归数列、同余式、平方剩余以及Pell方程解的性质证明:设素数p≡1(mod 24),素数q=12s~2+1,(s是正奇数),(p/q)=-1,Diophantine方程x~3+1=3pqy~2仅有整数解,即(x,y)=(-1,0)。关键词:Diophantine方程;同余式;平方剩余;Pell方程