Skip to main content
3 of 9
improved formatting
Pedja
  • 2.7k
  • 15
  • 26

Primality Criterion for Specific Class of Generalized Fermat Numbers

Claim

Let $P_m(x)=2^{-m}\cdot((x-\sqrt{x^2-4})^m+(x+\sqrt{x^2-4})^m)$ ,

where $x$ and $m$ are nonnegative integers .

Let $F_n(b)= b^{2^n}+1 $ where $b$ is an even integer , $ 3\nmid b , 5\nmid b $ and $n\ge2$

Let $S_i=P_b(S_{i-1})$ with $S_0=P_{b/2}(P_{b/2}(8))$ , then $F_n(b)$ is prime iff $S_{2^n-2} \equiv 0 \pmod{F_n(b)}$ .

Question

Are there similar criteria for generalized Fermat numbers in the literature ?

Pedja
  • 2.7k
  • 15
  • 26