关于丢番图方程D1x^2＋2^mD2=y^n的解数

设Ｄ１、Ｄ２、ｍ、ｘ、ｙ是适合Ｄ１〉１，Ｄ２〉１，２├Ｄ１Ｄ２，ｇｃｄ（Ｄ１，Ｄ２）＝ｇｃｄ（ｘ，ｙ）＝１的正整数，ｎ是适合ｎ├ｈ的奇素数，其中ｈ是虚二次域Ｑ（√－２＾ｍＤ１Ｄ２）的类数。本文主要证明了：方程Ｄ１ｘ＾２＋２＾ｍＤ２＝ｙ＾ｎ至多有５．１０＾１６组例外解（Ｄ１，Ｄ２，ｘ，ｙ，ｍ，ｎ）而且这些解都满足了７≤ｎ〈８．５．１０＾６以及ｙ＾ｎ〈ｅｘｐ（ｅｘｐ（ｅｘｐ４６））。     

关于Thue方程的解数

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

关于广义Thue－Mahler方程的解数

设ａ，ｂ是非零整数，ｐ１，…，ｐｒ是不同的素数，Ｐ＝｛±｜ｍ１，…，ｍｒ是非负整数｝．设Ｋ是ｎ（ｎ≥３）次代数数域，α１，…，αｍ∈ｋ（１＜ｍ＜ｎ），△（α１，…，αｍ）是α１，…，αｍ的判别式，ｆ（ｘ１，…，ｘｍ）＝αＮｋ／Ｑ（α１ｘ１＋…＋αｍｘｍ）∈ｚ［ｘ１，…，ｘｍ］．本文证明了：当ｆ（ｘ１，…，ｘｍ）非退化且Ｐｉ△（α１，…，αｍ）（ｉ＝１，…，ｒ）时，方程ｆ（ｘ１，…，ｘｍ）＝ｂｙ，ｘ１，…，ｘｍ∈ｚ，ｇｃｄ（ｘ１，…，ｘｍ）＝１，ｙ∈Ｐ至多有（４Ｓｄ２）（Ｓｄ）组解（ｘ１，…，ｘｍ，ｙ），其中ｄ＝ｎ！，Ｓ＝ｒ＋ω是ｂ的不同素因数的个数，ｈＡ是Ｋ的类数．     

关于广义Thue－Mahler方程的解数

设ａ，ｂ是非零整数，ｐ１，…，ｐｒ是不同的素数，Ｐ＝｛±｜ｍ１，…，ｍｒ是非负整数｝．设Ｋ是ｎ（ｎ≥３）次代数数域，α１，…，αｍ∈ｋ（１＜ｍ＜ｎ），△（α１，…，αｍ）是α１，…，αｍ的判别式，ｆ（ｘ１，…，ｘｍ）＝αＮｋ／Ｑ（α１ｘ１＋…＋αｍｘｍ）∈ｚ［ｘ１，…，ｘｍ］．本文证明了：当ｆ（ｘ１，…，ｘｍ）非退化且Ｐｉ△（α１，…，αｍ）（ｉ＝１，…，ｒ）时，方程ｆ（ｘ１，…，ｘｍ）＝ｂｙ，ｘ１，…，ｘｍ∈ｚ，ｇｃｄ（ｘ１，…，ｘｍ）＝１，ｙ∈Ｐ至多有（４Ｓｄ２）（Ｓｄ）组解（ｘ１，…，ｘｍ，ｙ），其中ｄ＝ｎ！，Ｓ＝ｒ＋ω是ｂ的不同素因数的个数，ｈＡ是Ｋ的类数．     

On Euler’s Equationφ(x)=k

本文研究了Ｅｕｌｅｒ方程（ｘ）＝ｋ的解，我们用Ｓｅｌｂｅｒｇ筛法证明了下述定理：设ｍ，ｋ是任意的正整数，则使方程ｍｐｋ＝（ｙ）有解的不超过ｘ的素数ｐ的个数为Ｏ（ｘ／ｌｏｇ２ｘ）．     

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

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

求双曲线的渐近线的策略和公式

求双曲线的渐近线的策略和公式罗万才（湖南湘潭师范４１１２０４）双曲线ｍ２ｘｗ—ｎ２ｙ２＝ｋ（ｋ≠０）与其渐近线。ｍ２ｘ２—ｎ２ｙ２＝０的方程结构相近，仅是常数项不同（＊）．由此联想问题：（１）双曲线Ｌ：ｆ（ｘ，ｙ）＝Ａｘ２＋Ｂｘｙ＋Ｃｙ２＋ＤＸ＋Ｅｙ...     

Angles of Norm ed Linear Spaces and Characterizations of Inner Product Spaces

§１．　Ｄｅｆｉｎｉｔｉｏｎｓ，ＬｅｍｍａｓａｎｄＴｈｅｏｒｅｍＤｅｆｉｎｉｔｉｏｎ１［１］　Ｌｅｔ（Ｘ，ｙ·ｙ）ｂｅａｒｅａｌｎｏｒｍｅｄｌｉｎｅａｒｓｐａｃｅｏｆｄｅｍｅｎｓｉｏｎｇｒｅａｔｅｒｔｈａｎ１，ｗｅｄｅｆｉｎｅａｎｇｌｅｓＡｍ，ｎ（ｘ，ｙ）ｂｅｔｗｅｅｎｎｏｎｚｅｒｏｖｅｃｔｏｒｓｘａｎｄｙｉｎＸｂｙＡｍ，ｎ（ｘ，ｙ）＝ｃｏｓ－１ｎｙｘｙｘｙ＋ｙｙｙｙｙ２－ｍｙｘｙｘｙ－ｙｙｙｙｙ２＋２（ｍ－ｎ）２（ｍ＋ｎ），ｈｅｒｅｍａｎｄｎａｒｅｔｗｏｎｏｎ－ｎｅｇｅｎｔｉｖｅｉｎｔｅ－ｇｅ…     

关于f(x)=(a~x 1)~(1/x)的单调性及应用

罗增儒先生在《高中数学竞赛辅导》一书中给出了如下一道问题：问题　设ｘ、ｙ是不相等的正实数，ｍ、ｎ是正整数，且ｎ＞ｍ，令ａ＝ｍｘｍ＋ｙｍ，ｂ＝ｎｘｎ＋ｙｎ，则ａ与ｂ的大小关系是（　　）．　（Ａ）ａ＞ｂ　　　　（Ｂ）ａ＜ｂ　（Ｃ）ａ＝ｂ（Ｄ）不能确定笔者发现，问题中的条件“ｍ、ｎ是正整数”，可放宽为“ｍ、ｎ是不为零的实数”．本文通过建立函数ｆ（ｘ）＝（ａｘ＋１）１ｘ，用初等方法研究其单调性，从而较方便地解决这个“问题”．为此，我们先给出如下一个预备问题：１　预备问题及证明预备问题　对于函数ｇ（ｘ）＝…     

关于虚二次域类数的可除性

设α＞１，ｂ＞１，（α，ｂ）＝１，ｈ（－αｂ）表虚二次域的类数。如果有正整数ｘ，ｙ，ｎ，ｋ满足（１）αｘ￣２＋ｂｙ￣２＝４ｋ￣ｎ，ｂ且；或（２）αｘ￣２＋ｂｙ￣２＝ｋ￣ｎ，ｘ｜α，ｙ｜ｂ且αｂ≡２（ｍｏｄ４），则本文证明了关于ｈ（－αｂ）的可除性的两个定理（见定理１，２），其中符号ｘ｜α表示ｘ的每一个素因子整除α。     

關於k進表示法的一個問题

<正> §1.設k>1是一個固定的正整數,則每一個正整數x都可以唯一地表成 x=a_1k~n1+a_2k~n2+…+a_1k~nt,其中n_1>n_2>…>n_t≥0都是整數;a_1,…,a_t也都是正整數且≤k-1.我們令,並令.在k=2的情况,文[1]的作者們證明了     

关于指数丢番图方程a2x+(3a2-1)y=(4a2-1)z

设a＞3是一个整数,应用Bilu,Hanrot和Voutier关于本原素除子的深刻理论以及二次数域类数的一些结果,证明了指数丢番图方程a2x＋（3a2-1）y=（4a2-1）z仅有正整数解x=y=1.     

丢番图方程与实二次域类数的可除性

设ｄ无平方因子，ｈ（ｄ）是二次域的类数。本文证明了：在方程Ｕ￣２－ｄＶ￣２＝４，（Ｕ，Ｖ）＝１有整数解时，丢番图方程４ｘ￣（２ｎ）－ｄｙ￣２＝－１，ｎ＞２无｜ｙ｜＞１的整数解；如果正整数ａ，ｋ，ｎ满足，ｋ＞１，ｎ＞２且而是Ｐｅｌｌ方程ｘ￣２－ｄｙ￣２＝－１的基本解，则ｈ（ｄ）≡０（ｍｏｄｎ）。     

指数Diophantine方程(bn)~x+(2n)~y=((b+2)n)~z的例外解

设b是大于3的正奇数.运用初等方法讨论了方程(bn)^x+(2n)x+(2n)^y=((b+2)n)y=((b+2)n)^z适合(x,y,z)≠(1,1,1)的正整数解(x,y,z,n).证明了:i)对于任何给定的正整数N,存在无穷多个b可使该方程有满足min{x,y,z}≥N的正整数解(x,y,z,n);ii)对于任何给定的b,该方程仅有有限多组正整数解(x,y,z,n)满足y>z=x.     

广义Ramanujan-Nagell方程x~2+D~m=p~n

设D是大于1的正整数,p是不能整除D的素数.本文证明了:当D=3a~2+1,p=4a~2+1,其中a是正整数时,除了(D,p)=(4,5)这一情况以外,方程x~2+D~m=p~n仅有2组正整数解(x,m,n)=(a,1,1)和(8a~3+3a,1,3).根据上述结果得到了该方程解数的最佳上界.     

带弦圈的最小2宽直径

设k为正整数,G是简单k连通图.图G的k宽直径,dk(G),是指最小的整数ι使得对任意两不同顶点x,y∈V(G),都存在k条长至多为ι的内部不交的连接x和y的路.用C(n,t)表示在圈Gn上增加t条边所得的图.定义h(n,t):min{d2(C(n,t))}.本文给出了h(n,2)=[n/2].而且,给出了当t较大时h(n,t)的界.     

关于指数Diophantine方程$x^3-1=2py^2$

设p是奇素数,本文证明了:当p=48t~2 1,其中t是正整数时,方程x~3-1=2py~2无正整数解(x,y).     

关于本原商高数的Miyazaki猜想

设a,b,c是适合a=2~(2r)-n~2,b=2~(r+1)n,c=2~(2r)+n~2的正整数,其中r是正整数,n是奇素数.运用初等数论方法讨论了指数Diophantine方程c~x+b~y=a~z.证明了:当2~r=n+1时,方程仅有正整数解(x,y,z)=(1,1,2);否则,方程无解。上述结果部分地证实了有关本原商高数的Miyazaki猜想。     

Diophantine方程nx~2+2~m=y~n(英文)

设n是大于3的奇数.本文运用Y.Bilu,G.Hanrot和P.M.Voutier关于Lehmer数本原素因子存在性的新近结果,证明了方程nx~2+2~m=y~n没有适合gcd(x,y)=1且m为奇数的正整数解(x,y,m).     

The equation $$x^4+2^ny^4=z^4$$ x 4 + 2 n y 4 = z 4 in algebraic number fields

Acta Mathematica Hungarica - Let n be a positive integer. We show that if the equation $$(1) \qquad \qquad \qquad x^4+2^ny^4=z^4$$ has a solution (x,y,z) in a cubic number field K with $$xyz \neq...