| Wikipedia: Formula for primes |
In mathematics, a formula for primes is a formula generating the prime numbers, exactly and without exception. No easily-computable such formula is known. A great deal is known about what, more precisely, such a "formula" can and cannot be.
Contents |
Prime formulas and polynomial functions
There is no general equation for finding prime numbers. It is known that no non-constant polynomial function P(n) exists that evaluates to a prime number for all integers n. The proof is simple: Suppose such a polynomial existed. Then P(1) would evaluate to a prime p, so
. But for any k,
also, so P(1 + kp) cannot also be prime (as it would be divisible by p) unless it were p itself, but the only way P(1 + kp) = P(1) for all k is if the polynomial function is constant.
Using more algebraic number theory, one can show an even stronger result: no non-constant polynomial function P(n) exists that evaluates to a prime number for almost all integers n.
Euler first noticed (in 1772) that the quadratic polynomial
- P(n) = n2 + n + 41
is prime for all non-negative integers less than 40. The primes for n = 0, 1, 2, 3... are 41, 43, 47, 53, 61, 71... The differences between the terms are 2, 4, 6, 8, 10... For n = 40, it produces a square number, 1681, which is equal to 41×41, the smallest composite number for this formula. In fact if 41 divides n it divides P(n) too. The phenomenon is related to the Ulam spiral, which is also implicitly quadratic, and the class number; this polynomial is related to the Heegner number
, and there are analogous polynomials for p = 2,3,5,11, and 17, corresponding to other Heegner numbers.
It is known, based on Dirichlet's theorem on arithmetic progressions, that linear polynomial functions L(n) = an + b produce infinitely many primes as long as a and b are relatively prime (though no such function will assume prime values for all values of n). Moreover, the Green-Tao theorem says that for any k there exists a pair of a and b with the property that L(n) = an + b is prime for any n from 0 to k−1. However, the best known result of such type is for k = 25:
- 6171054912832631 + 81737658082080n is prime for all n from 0 to 24 (Andersen 2008).
It is not known whether there exists a univariate polynomial of degree at least 2 that assumes an infinite number of values that are prime.
Formula based on a system of Diophantine equations
A system of 14 Diophantine equations in 26 variables can be used to obtain a Diophantine representation of the set of all primes. Jones et al. (1976) proved that a given number k + 2 is prime if and only if the following system of 14 Diophantine equations has a solution in the natural numbers:
- α0 = wz + h + j − q = 0
- α1 = (gk + 2g + k + 1)(h + j) + h − z = 0
- α2 = 16(k + 1)3(k + 2)(n + 1)2 + 1 − f2 = 0
- α3 = 2n + p + q + z − e = 0
- α4 = e3(e + 2)(a + 1)2 + 1 − o2 = 0
- α5 = (a2 − 1)y2 + 1 − x2 = 0
- α6 = 16r2y4(a2 − 1) + 1 − u2 = 0
- α7 = n + l + v − y = 0
- α8 = (a2 − 1)l2 + 1 − m2 = 0
- α9 = ai + k + 1 − l − i = 0
- α10 = ((a + u2(u2 − a))2 − 1)(n + 4dy)2 + 1 − (x + cu)2 = 0
- α11 = p + l(a − n − 1) + b(2an + 2a − n2 − 2n − 2) − m = 0
- α12 = q + y(a − p − 1) + s(2ap + 2a − p2 − 2p − 2) − x = 0
- α13 = z + pl(a − p) + t(2ap − p2 − 1) − pm = 0
The 14 equations α0, …, α13 can be used to produce a prime-generating polynomial inequality in 26 variables:
ie:
- (k + 2)(1 −
- [wz + h + j − q]2 −
- [(gk + 2g + k + 1)(h + j) + h − z]2 −
- [16(k + 1)3(k + 2)(n + 1)2 + 1 − f2]2 −
- [2n + p + q + z − e]2 −
- [e3(e + 2)(a + 1)2 + 1 − o2]2 −
- [(a2 − 1)y2 + 1 − x2]2 −
- [16r2y4(a2 − 1) + 1 − u2]2 −
- [n + l + v − y]2 −
- [(a2 − 1)l2 + 1 − m2]2 −
- [ai + k + 1 − l − i]2 −
- [((a + u2(u2 − a))2 − 1)(n + 4dy)2 + 1 − (x + cu)2]2 −
- [p + l(a − n − 1) + b(2an + 2a − n2 − 2n − 2) − m]2 −
- [q + y(a − p − 1) + s(2ap + 2a − p2 − 2p − 2) − x]2 −
- [z + pl(a − p) + t(2ap − p2 − 1) − pm]2)
- > 0
is a polynomial inequality in 26 variables, and the set of prime numbers is identical to the set of positive values taken on by this polynomial inequality as the variables a, b, …, z range over the nonnegative integers.
A general theorem of Matiyasevich says that if a set is defined by a system of Diophantine equations, it can also be defined by a system of Diophantine equations in only 9 variables. Hence, there is a prime-generating polynomial as above with only 10 variables. However, its degree is large (in the order of 1045). On the other hand, there also exists such a set of equations of degree only 4, but in 58 variables (Jones 1982).
Formulas using the floor function
Using the floor function
(defined to be the largest integer less than or equal to the real number x), one can construct several formulas that take only prime numbers as values for all positive integers n.
Mills's formula
The first such formula known was established in 1947 by W. H. Mills, who proved that there exists a real number A such that
is a prime number for all positive integers n. If the Riemann hypothesis is true, then the smallest such A has a value of around 1.3063... and is known as Mills' constant. This formula has no practical value, because very little is known about the constant (not even whether it is rational), and there is no known way of calculating the constant without finding primes in the first place.
Converting Sieve of Eratosthenes to prime number formulas
There is another, quite different formula by Sebastián Martín-Ruiz (Rivera n.d.):
To understand the behavior of this function note the following equalities:
Converting primality tests to prime number formulas
Any primality test can be used as the basis for a prime number formula. In effect, a test for the primality of n is a computation of the function IsPrime(n), defined by:
If the primality test is given by a condition on some formula involving n, then that formula gives a formula for IsPrime(n). For example, Wilson's theorem says that n is prime if and only if it divides (n − 1)! + 1. To express this by an explicit formula, one may introduce two intermediate functions:
Then Wilson's theorem says that
This can be further specified by an explicit formula for IsInteger(x). Some options are:


: formula by C. P. Willans (Bowyer n.d.)
Then, for example, taking the first option gives a formula for IsPrime(n) using Wilson's theorem:
Once IsPrime(n) can be computed, the prime counting function π(n) can as well, since by definition
π(n) can then compute a function testing whether a given integer n is the mth prime:
The function IsZero(x) can likewise be expressed by a formula:
where for example when x is an integer n (such as is the case in IsNthPrime(n,m)),
Finally, the IsNthPrime(n,m) function can be used to produce a formula for the nth prime:
The upper bound 2n comes from Bertrand's postulate, which implies that there is a sequence of primes
where pi + 1 < 2pi. Thus, pn < 2n.
Substituting the formulas above and applying Wilson's theorem gives a formula for pn involving the arithmetic operations and the floor function. Other such formulas are:
in which the following equality is important:
and
by Sebastián Martín-Ruiz.
Recurrence relation
Another prime generator is defined by the recurrence relation
where gcd(x, y) denotes the greatest common divisor of x and y. The sequence of differences an + 1 − an starts with 1, 1, 1, 5, 3, 1, 1, 1, 1, 11, 3, 1, 1 (sequence A132199 in OEIS). Rowlands (2008) proved that this sequence contains only ones and prime numbers.
Recursive formula
This is a primitive recursive formula by Liu Fengsui. Let


be the arbitrary finite sets of natural numbers, we define

Let
be the set subtraction. Let
, let
be the projective function. Then we have a formula

By the induction, it is easy to prove that Ti is the reduced residue system
, the reduced residue system is closed under the multiplication of residue classes, so that the least number except 1 in the reduced residue system Ti is the prime pi.
One plugs i nto this formula, this formula will produce the i-th prime without testing. This primitive recursive function actually exhibits infinitely many primes, it provides a constructive proof of Eucilid's result. Now the primes appear in a highly regular pattern, the occurrence of individual primes among the natural numbers follows well-defined laws also.
See also
References
- Andersen, Jens Kruse (2008), Primes in Arithmetic Progression Records, http://users.cybercity.dk/~dsl522332/math/aprecords.htm, retrieved on 2009-01-27.
- Bowyer, Adrian (n.d.), Formulae for Primes, http://people.bath.ac.uk/ensab/Primes/, retrieved on 2008-07-09.
- Jones, James P.; Sato, Daihachiro; Wada, Hideo; Wiens, Douglas (1976), "Diophantine representation of the set of prime numbers", American Mathematical Monthly 83: 449–464, doi:.
- Jones, James P. (1982), "Universal diophantine equation", Journal of Symbolic Logic 47: 549–571.
- Rivera, Carlos (n.d.), Problem 38. Sebastián Martín Ruiz- Prime formulas, http://www.primepuzzles.net/problems/prob_038.htm, retrieved on 2008-07-09.
- Rowland, Eric S. (2008), "A Natural Prime-Generating Recurrence", Journal of Integer Sequences 11: 08.2.8, ISSN 1530-7638, http://www.cs.uwaterloo.ca/journals/JIS/VOL11/Rowland/rowland21.html.
External links
- Eric W. Weisstein, Prime Formulas at MathWorld.
- Eric W. Weisstein, Prime-Generating Polynomial at MathWorld.
- Eric W. Weisstein, Mill's Constant at MathWorld.
- A Venugopalan. Formula for primes, twinprimes, number of primes and number of twinprimes. Proceedings of the Indian Academy of Sciences – Mathematical Sciences, Vol. 92, No 1, September 1983, pp. 49-52. Page 49, 50, 51, 52, errata.
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)





















