作者利用两个对数的线性型上界估计以及Bilu，Hanrot和Voutier关于本原素因子的深刻结论，得到了Lebesgue-Nagell方程x^2＋a^2=y^p的解的......

利用2个已知的结论,证明了方程x^2+2^2k=y^m满足m>2的全部正整数解为(x,y,k,m)=(2^k,2^s,k,m),(11×2^3α,5×2^2α,3α+1......