关于丢番图方程x^3+1=129 y^2

摘要

本文应用递归数列、同余式证明了丢番图方程x3+1=129 y2仅有三个整数解:(x,y)=(1,0),(80,±63).