椭圆曲线整数点的递推序列及二次剩余法求解

摘要

研究了某种特殊类型的递推序列的同余性质.利用这些性质及二次剩余等初等数论方法与技巧,证明了Zagier提出的椭圆曲线y2=x3-30x+133的所有整数点是(x,y)=(-7,0),(-3,±14),(2,±9),(6,±13),(5 143 326,±11 664 498 677).