Balanced prime

The first few balanced primes are

5, 53, 157, 173, 211, 257, 263, 373, 563, 593, 607, 653, 733, 947, 977, 1103, 1123, 1187, 1223, 1367, 1511, 1747, 1753, 1907, 2287, 2417, 2677, 2903 (sequence A006562 in the OEIS).

With the exception of ${\displaystyle 5={\frac {3+7}{2}}}$, no element of a twin prime pair is a balanced prime. This follows from the fact that there are no twin prime triplets of the form ${\displaystyle (p-2,p,p+2)}$ other than ${\displaystyle (3,5,7)}$. This intermediate statement itself follows from the fact that a twin prime triplet gives all possible different remainders on division by 3, and therefore one element must be divisible by 3. For ${\displaystyle p>5}$, this contradicts the fact that no prime other than 3 is divisible by 3. Furthermore, a twin prime cannot be balanced except by being part of a twin prime triple because there is no possible closer prime than a twin prime for ${\displaystyle p>3}$ (for ${\displaystyle p=3}$, ${\displaystyle p-1=2}$ is prime), so ${\displaystyle (p-2,p,p+n)}$ and ${\displaystyle (p-n,p,p+2)}$ are not balanced for ${\displaystyle n>2}$ and not a twin prime triple for ${\displaystyle n=2}$ and ${\displaystyle p>5}$. Therefore, ${\displaystyle 5}$ is the only balanced prime that is also an element of a twin prime pair.

In general, there are no balanced primes ${\displaystyle p_{n}>5}$ for a given balanced prime gap ${\displaystyle g=p_{n}-p_{n-1}=p_{n+1}-p_{n}}$ of the form ${\displaystyle g\in \{2,4\}{\pmod {6}}}$. This follows from a similar line of reasoning to that above: given ${\displaystyle g}$ of the form ${\displaystyle g\in \{2,4\}{\pmod {6}}}$, the triple ${\displaystyle (p-g,p,p+g)}$ contains all remainders on division by 3 and therefore any such balanced triple for which ${\displaystyle p-g>3}$ is not all primes. But if ${\displaystyle p-g=3}$, then the next-greatest prime is ${\displaystyle 5}$, so the only balanced prime triple containing ${\displaystyle 3}$ given the requirement of consecutiveness is ${\displaystyle (3,5,7)}$. As such, no other balanced primes exist with ${\displaystyle g\in \{2,4\}{\pmod {6}}}$, and therefore (apart from ${\displaystyle 2}$ for ${\displaystyle p=5}$) the only balanced prime gaps ${\displaystyle g}$ are those of the form ${\displaystyle g\equiv 0{\pmod {6}}}$ or ${\displaystyle g=6k}$ for ${\displaystyle k\in \mathbb {Z} ^{+}}$.

It is conjectured that there are infinitely many balanced primes.

Three consecutive primes in arithmetic progression is sometimes called a CPAP-3. A balanced prime is by definition the second prime in a CPAP-3. As of 2023^[update] the largest known CPAP-3 has 15004 decimal digits and was found by Serge Batalov. It is:^[1]

${\displaystyle p_{n}=2494779036241\times 2^{49800}+7,\quad p_{n-1}=p_{n}-6,\quad p_{n+1}=p_{n}+6.}$

(The value of ${\displaystyle n}$, i.e. its position in the sequence of all primes, may never be known in full. Though, given that ${\displaystyle n=\pi (p_{n})\approx {\frac {p_{n}}{log(p_{n})}}}$, where ${\displaystyle \pi (p)}$ is the prime counting function, we would expect ${\displaystyle n}$ to be in the region of ${\displaystyle 1.42\times 10^{14999}}$)

The balanced primes may be generalized to the balanced primes of order n. A balanced prime of order n is a prime number that is equal to the arithmetic mean of the nearest n primes above and below. Algebraically, the ${\displaystyle k}$th prime number ${\displaystyle p_{k}}$ is a balanced prime of order ${\displaystyle n}$ if

${\displaystyle p_{k}={\sum _{i=1}^{n}({p_{k-i}+p_{k+i})} \over 2n}.}$

Thus, an ordinary balanced prime is a balanced prime of order 1. The sequences of balanced primes of orders 2, 3, and 4 are A082077, A082078, and A082079 in the OEIS respectively.

• Strong prime, a prime that is greater than the arithmetic mean of its two neighboring primes
• Interprime, a composite number balanced between two prime neighbours