检验过的
经核准的
提出
编辑
非n,更多,坚硬的
选择[范围[10^6]!PrimeQ[#^2+1]&&Plus@@Last/@FactorInteger[#^2+1]==2&&PrimeNu[#^2+1]==2&&IntegerQ[Log[2],FactorInteger[#^2+1][[2]][1]]-FactorInteger[#^2+1][[1]][[1]]]]&
注意,如果n^2+1=p*q,那么p+q不能是2的幂。矛盾证明. : 有两种情况:p是奇数素数,p=2。情形1:假设p和q是奇数素数,q=2^m-p。然后p(2^m-p)=n^2+1对于一些偶数n。重新排列项,我们得到p*2^m-1=p^2+n^2。看这个模为4的方程,我们得到了-1=1,这是一个矛盾。情况2:设p=2。然后我们得到2^(m+1)-n^2=5,它在整数中没有解。