摘要

利用递归序列、同余、平方剩余、Pell方程的解的性质以及分类讨论等方法,证明了丢番图方程x3+1=2 247y2仅有平凡整数解■