# Proving there are infinitely many primes of the form $a2^k+1.$

Fix $k \in \mathbb{Z}_+$. Prove that we can find infinitely many primes of the form $a2^k +1,$ where $a$ is a positive integer.

We can use the result that: If $p \ne 2$ is a prime, and if $p$ divides $s^{2^t}+1$, for $s > 1$ and $t \ge 1$, then $p \equiv 1 \pmod {2^{t+1}}$.

Ive trying to get something inductively:

For $k = 1$, there are infinitely many primes of the form $2a + 1$.

Suppose there are infinitely many primes of the form $a2^k + 1$, and then show that there are infinitely many primes of the form $a2^{k+1} + 1$.

If there are infinitely primes of the form $a2^k + 1$, where $a$ is even, then we have that, $a2^k + 1 = (2q)2^k + 1 = q2^{k+1} + 1$. Hence we are done.

Therefore, suppose there are only infinitely many primes of form $a2^k + 1$, where $a$ is odd. - but I can't get a contradiction out of this.

-

1
– joriki Aug 19 '12 at 2:43

## 1 Answer

Suppose a prime $p$ divides both $s^{2^t}+1$ and $s^{2^u}+1$, $t\gt u$. Then it divides their difference, $s^{2^t}-s^{2^u}=s^{2^u}(s^v-1)$, where $v=2^t-2^u=2^u(2^{t-u}-1)$. Now $p$ can't divide $s^{2^u}$, since it divides $s^{2^u}+1$, so it must divide $s^v-1$. But $s^{2^u}\equiv-1\pmod p$, and $2^{t-u}-1$ is odd, so $s^v\equiv-1\pmod p$, contradiction (unless $p=2$).

Thus, the numbers $s^{2^t}+1$, $t=k-1,k,k+1,\dots$, are pairwise coprime (aside from factors of 2), so they have distinct prime factors. But each of those prime factors $p$ satisfies $p\equiv1\pmod{2^{t+1}}$, hence, $p\equiv1\pmod{2^k}$, hence, $p=a2^k+1$ for some $a$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 40, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9537258148193359, "perplexity_flag": "head"}