关于广义Ramanujan-Nagell方程(Ⅰ)

有整数解X,Y,Z,而且方程(2)的最小解(指在方程(2)的所有适合X>0,Y>0的整数解中使Z为最小的那组解,其存在性及唯一性见引理3)X_1,Y_1,Z_1适合Y_1=1。定理2 当D<0且时,若X_1,1,Z_1是方程(2)的最小解,2~r‖X_1,则方程(1)除了X_1,Z_1以外有其它整数解的充分必要条件是: