趙 晶 晶
(滇西科技師范學(xué)院后勤管理處,云南 臨滄 677000)
?
橢圓曲線(xiàn)y2=nx(x2-8)的整數(shù)點(diǎn)
趙 晶 晶
(滇西科技師范學(xué)院后勤管理處,云南 臨滄 677000)
目的橢圓曲線(xiàn)是代數(shù)幾何的基本研究對(duì)象,是研究丟番圖方程的一個(gè)強(qiáng)有力的工具。橢圓曲線(xiàn)y2=nx(x2-8)的整數(shù)點(diǎn)問(wèn)題目前仍未解決。方法利用Legendre符號(hào)值的性質(zhì)、同余等方法。結(jié)果設(shè)n是大于1的無(wú)平方因子的正奇數(shù),證明了:如果n的所有素因數(shù)pi(i∈Z+)都滿(mǎn)足pi≡±3(mod8),則當(dāng)n=3時(shí),有橢圓曲線(xiàn)y2=nx(x2-8)的整數(shù)點(diǎn)(x,y)=(±3,3),(0,0);當(dāng)n≠3時(shí),僅有整數(shù)點(diǎn)(x,y)=(0,0)。結(jié)論此結(jié)果推進(jìn)了該類(lèi)橢圓曲線(xiàn)的研究。
橢圓曲線(xiàn);整數(shù)點(diǎn);Legendre符號(hào);奇素?cái)?shù)
橢圓曲線(xiàn)的整數(shù)點(diǎn)是數(shù)論和代數(shù)幾何學(xué)中基本而又重要的問(wèn)題,關(guān)于橢圓曲線(xiàn)y2=ax(x2+b),a,b∈Z+的整數(shù)點(diǎn)問(wèn)題,文獻(xiàn)[1-12]已有很多結(jié)果。關(guān)于橢圓曲線(xiàn)
(1)
的整數(shù)點(diǎn)問(wèn)題,目前主要結(jié)論為:祝輝林、陳建華[1]在2007年證明了a為素?cái)?shù)、b=1時(shí)橢圓曲線(xiàn)(1)至多有1組正整數(shù)點(diǎn);樂(lè)茂華[2]在2008年證明了a為素?cái)?shù),b=1時(shí)橢圓曲線(xiàn)(1)僅當(dāng)p=5和29時(shí)各有1組正整數(shù)點(diǎn)(x,y)=(9,60)和(x,y)=(9801,25220);趙院娥[3]在2012年給出了對(duì)于某些特殊素?cái)?shù)a,橢圓曲線(xiàn)(1)的上界;萬(wàn)飛[13]在2015年給出了a為素?cái)?shù)、b=4時(shí)橢圓曲線(xiàn)(1)至多有1個(gè)正整數(shù)點(diǎn)。
利用初等方法對(duì)橢圓曲線(xiàn)y2=nx(x2-8)的整數(shù)點(diǎn)的情況進(jìn)行研究。
引理1[14]a,b∈Z+,則方程ax4-by2=1至多有2組正整數(shù)解。
定理若無(wú)平方因子的正奇數(shù)n的所有素因數(shù)pi(i∈Z+)都滿(mǎn)足pi≡±3(mod8),則當(dāng)n=3時(shí),
(2)
橢圓曲線(xiàn)有整數(shù)點(diǎn)(x,y)=(±3,3),(0,0);當(dāng)n≠3時(shí),僅有整數(shù)點(diǎn)(x,y)=(0,0)。
證明顯然(x,y)=(0,0)是橢圓曲線(xiàn)(2)的整數(shù)點(diǎn),設(shè)(x,y),x,y∈Z+是橢圓曲線(xiàn)(2)的正整數(shù)點(diǎn),因?yàn)閚是無(wú)平方因子的正奇數(shù),故由(2)式知n|y,設(shè)y=pz,z∈Z+,代入(2)式,
得
pz2=x(x2-8)
(3)
因?yàn)間cd(x,x2-8)=gcd(x,8)=1或2或4或8,故(3)式可分解為以下4種情況:
①情形Ⅰx=n1a2,x2-8=n2b2,z=ab,
②情形Ⅱx=2n1a2,x2-8=2n2b2,z=2ab
③情形Ⅲx=4n1a2,x2-8=4n2b2,z=4ab
④情形Ⅳx=8n1a2,x2-8=8n2b2,z=8ab
其中n=n1n2,gcd(a,b)=1,a,b∈Z+。
1)情形Ⅰ將x=n1a2代入x2-8=n2b2,
得
(4)
(1)當(dāng)n2>1時(shí),n2中至少含有一個(gè)素因子p,由題意得p≡±3(mod8)。對(duì)(4)式兩邊同時(shí)取模p,
得
(5)
(2)當(dāng)n2=1時(shí),n1=n,此時(shí)(4)式成為n2a4-8=b2,則有(na2+b)9na2-b)=8,解得na2=3,b=1,則有n=3,a=1,因此x=na2=3,此時(shí)方程(2)有解(x,z,p)=(3,1,3),則當(dāng)p=3時(shí)橢圓曲線(xiàn)(2)有整數(shù)點(diǎn)(x,y)=(3,±3)。
2)情形Ⅱ?qū)=2n1a2代入x2-8=2n2b2,
得
(6)
(1)n2>1時(shí),n2中至少含有一個(gè)素因子p,由題意得p≡±3(mod8)。對(duì)(6)式兩邊同時(shí)取模p,
得
(7)
(2)當(dāng)n2=1時(shí),n1=n,(6)式成為
2n2a4-4=b2
(8)
由(8)式知b為偶數(shù),所以b2≡0,4(mod8)。又gcd(a,b)=1,所以a為奇數(shù),則a4≡1(mod8),因此2a4≡2(mod8)。又n為奇數(shù),所以n2≡1(mod8),因此,2n2a4≡2(mod8),故(8)式為6≡2n2a4-4=b2≡0,4(mod8),顯然不成立,因此當(dāng)n2=1時(shí)情形Ⅱ不成立。
即
(9)
(1)n2>1時(shí),n中至少含有一個(gè)素因子p,由題意得p≡±3(mod8)。對(duì)(9)式兩邊同時(shí)取模p,
得
(10)
(2)當(dāng)n2=1時(shí),n1=n,此時(shí)(9)式成為
4a4-2=nb2
(11)
由(11)式知b為偶數(shù),所以b2≡0,4(mod8)。又n為奇數(shù),故nb2≡0,4(mod8)。又gcd(a,b)=1,所以a為奇數(shù),則a4≡1(mod8),因此4a4≡4(mod8)。故(11)式為2≡4a4-2=nb2≡0,4(mod8),顯然不成立,因此當(dāng)n2=1時(shí)情形Ⅲ不成立。
4)情形Ⅳ將x=8n1a2代入x2-8=8n2b2,得64n12a4-8=8n2b2,
即
8n12a4-1=n2b2
(12)
(1)當(dāng)n2>1時(shí),n中至少含有一個(gè)素因子p,則由題意得p≡±3(mod8)。對(duì)(9)式兩邊同時(shí)取模p,
得
8n12a4≡1(modp)
(13)
(2)當(dāng)n2=1時(shí),n1=n,此時(shí)(12)式成為8n2a4-1=b4,
即
8n2a4-1=b2
(14)
(14)式兩邊取模8
得
-1≡b2(mod8)
(15)
由(14)式得b為奇數(shù),所以b2≡1(mod8),因此(15)式為-1≡1(mod8),顯然不成立,因此當(dāng)n2=1時(shí)情形Ⅳ不成立。
綜上有如下結(jié)論:
如果無(wú)平方因子的正奇數(shù)n的所有素因數(shù)pi(i∈Z+)都滿(mǎn)足pi≡±3(mod8),則當(dāng)n=3時(shí),橢圓曲線(xiàn)y2=nx(x2-8)有整數(shù)點(diǎn)(x,y)=(±3,3),(0,0);當(dāng)n≠3時(shí),僅有整數(shù)點(diǎn)(x,y)=(0,0)。
[1]祝輝林,陳建華.兩個(gè)丟番圖方程y2=nx(x2±1)[J].數(shù)學(xué)學(xué)報(bào),2007,50(05):1071-1074.
[2]樂(lè)茂華.橢圓曲線(xiàn)y2=px(x2±1)的正整數(shù)點(diǎn)[J].湛江師范學(xué)院學(xué)報(bào),2008,29(03):1-2.
[3]趙院娥.橢圓曲線(xiàn)y2=2px(x2-1)的正整數(shù)點(diǎn)的個(gè)數(shù)[J].西安石油大學(xué)學(xué)報(bào),2012,27(02):106-107+110.
[4]管訓(xùn)貴.關(guān)于橢圓曲線(xiàn)y2=px(x2+1)的一個(gè)注記[J].四川理工學(xué)院:自然科學(xué)版,2010,23(04):384+393.
[5]楊海,付瑞琴.一類(lèi)橢圓曲線(xiàn)有正整數(shù)點(diǎn)的判別條件[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2013,29(04):338-341.
[6]竇志紅.橢圓曲線(xiàn)y2=2px(x2+1)上正整數(shù)點(diǎn)的個(gè)數(shù)[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2011,27(02):210-212+235.
[7]廖思泉,樂(lè)茂華.橢圓曲線(xiàn)y2=px(x2+2)的正整數(shù)點(diǎn)[J].數(shù)學(xué)雜志,2009,29(03):387-390.
[8]陳歷敏.Diophantine方程y2=px(x2+2)[J].數(shù)學(xué)學(xué)報(bào),2010,53(01):83-86.
[9]李玲,張緒緒.橢圓曲線(xiàn)y2=nx(x2+2)的整數(shù)點(diǎn)[J].西安工程大學(xué)學(xué)報(bào),2011,25(03):407-409.
[10]杜曉英.橢圓曲線(xiàn)y2=px(x2+2)在p≡1(mod8)時(shí)的正整數(shù)點(diǎn)[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2014,44(15):290-294.
[11]張瑾.橢圓曲線(xiàn)y2=px(x2+2)有正整數(shù)點(diǎn)的判別條件[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2015,45(04):232-235.
[12]崔保軍.橢圓曲線(xiàn)y2=px(x2+64)的正整數(shù)點(diǎn)[J].甘肅高師學(xué)報(bào),2014,32(06):962-963.
[13]萬(wàn)飛.橢圓曲線(xiàn)y2=nx(x2-4)的整數(shù)點(diǎn)[J].湖北民族學(xué)院學(xué)報(bào):自然科學(xué)版,2015,33(03):271-272.
[14]袁平之,張中鋒.丟番圖方程ax4-by2=1[J].數(shù)學(xué)學(xué)報(bào),2010,53(03):443-454.
[責(zé)任編輯:關(guān)金玉英文編輯:劉彥哲]
Integral Points on Elliptic Curve y2=nx(x2-8)
ZHAO Jing-jing
(Department of Logistics Management,Dianxi Science and Technology Normal University,Lincang,Yunnan 677000,China)
ObjectiveElliptic curve is a basic investigated object of algebraic geometry and it is a very powerful tool to study Diophantine equation.The integral points on elliptic curves y2=nx(x2-8) are also unresolved.MethodsThe nature of Legendre symbol and congruence were used.ResultsLetnbe a positive prime such thatnis square free.It was proved that if every prime divisor pi(i∈Z+)ofnsatisfies pi≡±3(mod8),then the elliptic curve in title has integer points(±3,3),(0,0)whenn=3;the elliptic curve in title has only integer point(0,0) whenn≠3.ConclusionThese results promote the studies on elliptic curve of this kind.
elliptic curve;integeral point;Legendre symbol;odd prime
云南省教育廳科學(xué)研究項(xiàng)目(2014Y462)
趙晶晶(1985-),女,彝族,云南鳳慶人,在讀碩士研究生。研究方向:數(shù)論及計(jì)算機(jī)應(yīng)用技術(shù)。
O 156.1
A
10.3969/j.issn.1673-1492.2016.09.001
河北北方學(xué)院學(xué)報(bào)(自然科學(xué)版)2016年9期