令 a=b+1a=b+1a=b+1。当 b−1>1b-1>1b−1>1 时,b−1b-1b−1 的任一素因数 ppp 都满足 p<=b−1<sqrt(n)p<=b-1<sqrt(n)p<=b−1<sqrt(n),因而整除 b(b+1)b(b+1)b(b+1)。它不可能整除 bbb,所以必须整除 b+1b+1b+1,进而整除 222;故 b−1b-1b−1 的素因数只能是 222。若 b>=3b>=3b>=3,则 bbb 为奇数且 b+2<=sqrt(2b2+2b+1)=sqrt(n)b+2<=sqrt(2b^2+2b+1)=sqrt(n)b+2<=sqrt(2b2+2b+1)=sqrt(n)。b+2b+2b+2 的素因数应整除 b(b+1)b(b+1)b(b+1),但 gcd(b+2,b)=gcd(b+2,b+1)=1gcd(b+2,b)=gcd(b+2,b+1)=1gcd(b+2,b)=gcd(b+2,b+1)=1,不可能。因此 b<=2b<=2b<=2。