趙晶晶

(滇西科技師范學院 后勤管理處，云南 臨滄 677000)

?

橢圓曲線y2=px(x2-2)的整數(shù)點

趙晶晶

(滇西科技師范學院 后勤管理處，云南 臨滄 677000)

摘要：設p是大于1的無平方因子的正奇數(shù).證明了如果p的素因素q都滿足q≡3(mod 8)，則橢圓曲線y2=px(x2-2)無正整數(shù)點；如果p的素因素p都滿足q≡5(mod 8)，則橢圓曲線y2=px(x2-2)至多有2組正整數(shù)點.

關鍵詞：橢圓曲線；正整數(shù)點；奇素數(shù)

橢圓曲線的整數(shù)點是數(shù)論和算術代數(shù)幾何學中基本而又重要的問題，關于橢圓曲線y2=ax(x2±b)的整數(shù)點問題，目前主要結論如下：

(Ⅰ)b=1時主要結論為：祝輝林、陳建華[1]證明了橢圓曲線y2=px(x2+1)和y2=px(x2-1)至多有1組正整數(shù)點； 樂茂華[2]證明了當p≡1(mod 8)，橢圓曲線y2=px(x2+1)僅當p=2時有正整數(shù)點(x,y)=(2,1)；當p≡1(mod 8)時至多有1組正整數(shù)點(x,y)；橢圓曲線y2=px(x2-1)僅當p=5和29時各有1組正整數(shù)點(x,y)=(9,60)和(x,y)=(9 801,25 220)； 管訓貴[3]證明了Fn(n≥2)為費馬素數(shù)時，橢圓曲線y2=px(x2+1)僅有1個正整數(shù)點(x,y)=((Fn-2-1)2,Fn(Fn-2-1))；楊海、付瑞琴[4]給出了橢圓曲線y2=px(x2+1)在p≡9(mod 16)時沒有正整數(shù)點；對于p≡1(mod 16)時的情況給出了該橢圓曲線有正整數(shù)點的兩個判別條件；竇志紅[5]給出了對于某些特殊素數(shù)p，橢圓曲線y2=2px(x2+1)的上界；趙院娥[6]給出了對于某些特殊素數(shù)p，橢圓曲線y2=2px(x2-1)的上界.

(Ⅱ)b=2時主要結論為: 陳歷敏[7]證明了當無平方因子的正奇數(shù)n是適合n≡5或7(mod 8)的奇素數(shù)時，方程y2=nx(x2+2)無非零整數(shù)解；廖思泉、樂茂華[8]證明了當p≠3為奇素數(shù)時，如果p≡5或7(mod 8)，則橢圓曲線y2=px(x2+2)沒有正整數(shù)點；如果p≡1(mod 8)，則y2=px(x2+2)至多有一組正整數(shù)點；如果p≡3(mod 8)，則y2=px(x2+2)至多有2組正整數(shù)點；李玲、張緒緒等[9]證明了如果n的素因素p都滿足p≡5或7(mod 8)，則方程y2=nx(x2+2)無非零整數(shù)解；杜曉英[10]給出了p≡1(mod 8)為奇素數(shù)時，橢圓曲線y2=px(x2+2)有正整數(shù)點的判別條件，并證明了p<100時該曲線沒有正整數(shù)點；張瑾[11]給出了p≡1(mod 8)為奇素數(shù)時，橢圓曲線y2=px(x2+2)有正整數(shù)點的若干判別條件.

(Ⅲ)b=4時主要結論為：崔軍保[12]證明了p≠5為奇素數(shù)時橢圓曲線y2=px(x2+4)至多有1組正整數(shù)點，p=5時恰有2組正整數(shù)點(1,5)，(4,21)；萬飛[13]給出了當n為奇素數(shù)時，橢圓曲線y2=nx(x2-4)至多有一組正整數(shù)點.

(Ⅳ)b=64時主要結論為：崔保軍[14]給出了當p為奇素數(shù)時，如果p≡1(mod 8)，則橢圓曲線y2=px(x2+64)至多有三對正整數(shù)點；如果p≡3(mod 8)，則y2=px(x2+64)無正整數(shù)點；如果p≡7(mod 8)，則y2=px(x2+64)至多有一對正整數(shù)點；如果p≡5(mod 8)，則y2=px(x2+64)僅當p=5時有兩對正整數(shù)點(x,y)=(4,40)，(16,160)和p=13時有一對正整數(shù)點(x,y)=(144,6 240).

本文研究橢圓曲線：

(1)

正整數(shù)解的存在問題.

引理1[15]a,b∈Z+，則方程ax4-by2=1至多有2組正整數(shù)解.

定理1如果無平方因子的正奇數(shù)p的素因素q都滿足q≡3(mod 8)，則橢圓曲線(1)無正整數(shù)點；如果q都滿足q≡5(mod 8)，則橢圓曲線(1)至多有2組正整數(shù)點.

證明設(x,y)是橢圓曲線(1)的正整數(shù)點，因為p是無平方因子的正奇數(shù)，故由橢圓曲線(1)知p|y，設y=pz，z∈Z，將其代入方程橢圓曲線(1)，得：

(2)

因為gcd(x,x2+2)=gcd(x,2)=1或2 ，故方程(2)可分解為以下2種情況：

情形ix=p1a2，x2-2=p2b2，z=ab，p=p1p2，gcd(a,b)=1；

情形iix=2p1a2，x2-2=2p2b2，z=2ab，p=p1p2，gcd(a,b)=1.

情形i將第一式代入第二式得：

(3)

p2>1時，則p2一定含有素因子q，則由題意得q≡3或5(mod 8).對式(3)兩邊同時取模q，得：

(4)

p2a4-b2=2

(5)

對式(5)兩邊同時取模8，得：

p2a4-b2=2(mod8)

(6)

由第一式和第二式知此時gcd(x,2)=1，故此時x為奇數(shù) ，故x2+2也是奇數(shù)，又p為正奇數(shù)，則由方程(2)知z為奇數(shù)，故a,b均為奇數(shù)，因此a2≡1(mod8)，b2≡1(mod8)，則a4≡1(mod8).又p2=1，p為正奇數(shù)，故p2≡1(mod8)，因此有：0≡1-1≡p2a4-b2≡2(mod8)，矛盾，因此此時情形(i)不成立.

綜上有情形(i)不成立，故情形(i)下橢圓曲線(1)無正整數(shù)點.

情形(ii)將第一式代入第二式得：

(7)

p2>1時，則p2一定含有素因子q，則由題意得q≡3或5(mod8).對式(7)兩邊同時取模q，得：

(8)

p2=1時，式(7)變成2p2a4-1=b2，即：

2p2a4-b2=1.

(9)

由引理1知，方程(8)至多有2組正整數(shù)解，故q≡5(mod 8)時方程(2)至多有2組正整數(shù)解，即橢圓曲線(1)至多有2個正整數(shù)點.

又因為p2=1，則p1=p，故p一定含有素因子q，則由題意得q≡3或5(mod 8).對式(9)兩邊同時取模q，得：

-b2=1(modq)

(10)

綜上有情形(ii)下q≡3(mod8)時橢圓曲線(1)無正整數(shù)點；q≡5(mod8)時橢圓曲線(1)至多有2組正整數(shù)點.

參考文獻:

[1]祝輝林，陳建華.兩個丟番圖方程y2=nx(x2±1)[J].數(shù)學學報，2007,50(5)：1071-1074.

[2]樂茂華.橢圓曲線y2=px(x2±1)的正整數(shù)點[J].湛江師范學院學報，2008,29(3)：1-2.

[3]管訓貴.關于橢圓曲線y2=px(x2+1)的一個注記[J].四川理工學院(自然科學版)，2010,23(4)：384-393.

[4]楊海，付瑞琴.一類橢圓曲線有正整數(shù)點的判別條件[J].純粹數(shù)學與應用數(shù)學，2013,29(4)：338-341.

[5]竇志紅.橢圓曲線y2=2px(x2+1)上正整數(shù)點的個數(shù)[J].純粹數(shù)學與應用數(shù)學，2011,27(2)：210-212,235.

[6]趙院娥.橢圓曲線y2=2px(x2-1)的正整數(shù)點的個數(shù)[J].西安石油大學學報，2012,27(2)：106-107,110.

[7]陳歷敏.Diophantine方程y2=px(x2+2)[J].數(shù)學學報，2010,53(1)：83-86.

[8]廖思泉，樂茂華.橢圓曲線y2=px(x2+2)的正整數(shù)點[J].數(shù)學雜志，2009,29(3)：387-390.

[9]李玲，張緒緒.橢圓曲線y2=nx(x2+2)的整數(shù)點[J].西安工程大學學報，2011,25(3)：407-409.

[10]杜曉英.橢圓曲線y2=px(x2+2)在p≡1(mod 8)時的正整數(shù)點[J].數(shù)學的實踐與認識，2014,44(15)：290-293.

[11]張瑾.橢圓曲線y2=px(x2+2)有正整數(shù)點的判別條件[J].數(shù)學的實踐與認識，2015,45(4)：232-235.

[12]崔軍保.橢圓曲線y2=px(x2+4)的正整數(shù)點[J].佳木斯大學學報(自然科學版)，2014,32(6)：962-963.

[13]萬飛.橢圓曲線y2=nx(x2-4)的整數(shù)點[J].湖北民族學院學報(自然科學版)，2015,33(3)：271-272.

[14]崔保軍.橢圓曲線y2=px(x2+64)的正整數(shù)點[J].甘肅高師學報，2015,20(2)：7-9.

[15]袁平之，張中鋒.丟番圖方程ax4-by2=1[J].數(shù)學學報，2010,53(3)：443-454.

責任編輯：時凌

The Integral Points on the Elliptic Curvey2=px(x2-2)

ZHAO Jingjing

(Department of Logistics Management,Dianxi Science and Technology Normal University,Lincang 677000,China)

Abstract：Let p be a positive prime such that p is square free.We proved that if every prime divisor q of p satis fies q≡3(mod 8),then the elliptic curve in title has no positive integer points; if every prime divisor q of p satisfies q≡5(mod 8),then the elliptic curve in title has at most two positive integer points.

Key words：elliptic curve;integer point;odd prime

收稿日期：2015-11-19.

作者簡介：趙晶晶(1986- )，女(彝族)，碩士生，主要從事數(shù)論及計算機應用技術的研究.

文章編號：1008-8423(2016)01-0040-02

DOI:10.13501/j.cnki.42-1569/n.2016.03.010

中圖分類號：O156.1

文獻標志碼：A