实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.     

实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.     

关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．     

关于简单实二次域的两个猜想

本文在假定广义Riemann猜想成立的条件下,证实了R.Mollin和H.Williams以及S.Louboutin分别在文献[2]、[3]中提出的两个有关简单实二次域的猜想.     

三项式xn-x-a的二次不可约因式

设n是正整数,f(x)=xn-x-a,其中a是非零整数. 证明了当n>5时,如果f(x)有首项系数为1的二次整系数不可约因式g(x),则必有n≡2(mod6),a=-1,g(x)=x2-x+1或者n=7,a=±280,g(x)=x2t(±)x+5.     

关于阶乘的Erds-Stewart猜想

摘要:设n是正整数;P_0=1,P_i(i=1,2,…)是第i个素数.本文证明了:方程 n!+1=P_k~aP_(k+1)~b,P_(k-1)0,b>0,仅有解(n,P_k,P_(k+1),a,b)=(1,1,2,1,0),(2,3,5,1,0),(3,5,7,0,1),(4,5,7,2,0),(5,7,11,0,2).上述结果证实了Erds和Stewart提出的一个猜想.     

关于(p_2/d_1)~(1/2)的简单连分数

设α是正实数,[α_0;α_1,α_2。…]是α的简单连分数;d 是非平方整数,d_1、d_2是适合 d_1d_2=d,1≤d_10,α_i=α_(n-1)(i=1…,α-1).     

关于Thue方程的解数

设ｍ是正整数，ｆ（Ｘ，Ｙ）＝ａ０Ｘｎ＋ａ１Ｘ（ｎ－１）Ｙ＋．．．＋ａｎＹｎ∈Ｚ［Ｘ，Ｙ］是Ｑ上不可约化的叫ｎ（ｎ≥３）次齐次多项式。本文证明了：当ｇｃｄ（ｍ，ａ０）＝１，ｎ≥４００且ｍ≥１０（３５）时，方程｜ｆ（ｘ，ｙ）｜＝ｍ，ｘ，ｙ∈ｚ，ｇｃｄ（ｘ，ｙ）＝１，至多有６ｎｖ（ｍ）组解（ｘ，ｙ），其中ｖ（ｍ）是同余式Ｆ（ｚ）＝ｆ（ｚ，１）≡０（ｍｏｄｍ）的解数。特别是当ｇｃｄ（ｍ，ＤＦ）＝１时，该方程至多有６ｎ（ω（ｍ）＋１）组解（ｘ，ｙ），其中ＤＦ是多项式Ｆ的判别式，ω（ｍ）是ｍ的不同素因数的个数．     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p+a+2)a+2/4(a+2)!,其中