1

We know that Fermat's numbers are $F_n= 2^{2^n} +1$. My question is: does there exist certain forms of $n$ for which $F_n$ is always composite?

2 Answers2

2

We don't know. According to prothsearch, $F_{3329780}$ is the largest Fermat number that is known to be composite.

wythagoras
  • 25,026
0

Let $f(1)=1$, and let $f(n+1)=2^{2^{f(n)}}$ for every positive integer $n$.

Let $\Phi$ denote the statement:
if a system $S \subseteq \{x_i \cdot x_j=x_k: i,j,k \in \{1,...,17\}\} \cup \{2^{2^{x_i}}=x_k: i,k \in \{1,...,17\}\} $ has only finitely many solutions in non-negative integers $x_1,...,x_{17}$, then each such solution $(x_1,...,x_{17})$ satisfies $x_1,...,x_{17} \leq f(17)$.

Theorem. If the statement $\Phi$ is true, and if $2^{2^n}+1$ is composite for some integer $n \geq f(15)$, then $2^{2^n}+1$ is composite for infinitely many non-negative integers $n$.

Reference:

A. Tyszka, link
A conjecture which implies that there exists a computable upper bound for the heights of solutions of a Diophantine equation with a finite number of solutions,

https://arxiv.org/abs/1109.3826