Quadratics which produce no primes

223 Views Asked by At

There are some famous polynomials which produce a series of consecutive prime numbers, including Euler's $n^2 + n + 41$, which produces primes for $0 \leq n \leq 39$.

What I've been thinking about recently are quadratic polynomials with integer coefficients which don't produce any primes at all for $n \geq 0$. There are trivial cases:

$$ n^2 + n $$

$$ an^2 + bn + c \quad,\quad \gcd(a, b, c) > 1 $$

There's at least one family of polynomials which is borderline trivial, but worth mentioning:

$$ n^2 + (2a - 1)n + a^2 \quad,\quad a\quad \text{even} $$

All values of polynomials of this form are even; the reader can easily check using parity rules. What I am very curious about is the case when $a$ is odd.

Does there exist an $a \in \mathbb{N}$ such that $$f_a(n) = n^2 + (2a - 1)n + a^2 \quad,\quad a\quad \text{odd}$$ produces no primes for $n \geq 0$?

It can be shown using parity rules that $f_a$ is odd for all $n$.

Any thoughts appreciated.

1

There are 1 best solutions below

2
On BEST ANSWER

Very little is known about questions of this form. Surprisingly little, really. The Bouniakowsky Conjecture would tell us that any irreducible polynomial (of degree $>1$) with integer coefficients takes infinitely many prime values UNLESS there is some prime $p$ which divides every one of the values of the polynomial at integers.

To stress: no affirmative examples of this are known. Worse, it is unknown whether such a polynomial must in fact take even a single prime value. There are examples where the first prime value occurs for unexpectedly high arguments.

We remark that your polynomials satisfy the conditions of the conjecture. They are irreducible over $\mathbb R$, so certainly irreducible over $\mathbb Z$. And there is no prime that divides all the values at integers. Indeed, we compute: $$f(0)=a^2\quad \& \quad f(-1)=a^2-2a+2$$

Any prime $p$ which divided both of those would have to divide $2$ (as it would have to divide $a$). But $a$ is assumed to be odd so this is impossible.