关于广义Ramanujan-Nagell方程x~2+(2k-1)~m=k~n的可解性

设k是大于1的奇数,应用初等数论方法证明了:如果2k-1有适合d≡±3(mod 8)的约数d或者ν2(k-1)是奇数,其中ν2(k-1)表示2在k-1的标准分解式中的次数,那么方程x~2+(2k-1)~m=k~n的正整数解(x,m,n)都满足2|n.由此可知:当k30时,该方程仅有正整数解(x,m,n)=(k-1,1,2).