Pierpont prime number
A Pierpont prime is a prime of the form . With the help of the Pierpont prime numbers, it is possible to specify which regular polygons can be constructed with compasses and rulers as well as an aid for angle trisection . They are named after the American mathematician James Pierpont .
definition
A prime number is called a Pierpont prime number if it has the form
is, where are natural numbers. The Pierpont prime numbers are thus those prime numbers for which 3-smooth is.
Examples
The first Pierpont prime numbers are:
- 2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 163, 193, 257, 433, 487, 577, 769, 1153, 1297, 1459, 2593, 2917, 3457, 3889, ... (Follow A005109 in OEIS )
The currently largest known Pierpont prime is
with 3,259,959 decimal places. Its primality was proven by Sai Yik Tang in 2014.
properties
Special cases
- There are no Pierpont prime numbers for and , because an even number is greater than two and thus a composite .
- For and must be a power of two and a Pierpont prime is therefore a Fermat prime number .
- For and a Piermont prime has the form .
distribution
The number of Pierpont primes is less than is
The number of Pierpont primes is less than is
Andrew Gleason hypothesized that there are an infinite number of Pierpont prime numbers. They are not particularly rare and have few restrictions on algebraic factoring. For example, there are no conditions, as with Mersenne prime numbers , that the exponent must be prime. Presumably there is
Pierpont prime numbers smaller than , in contrast to Mersenne prime numbers in the same range.
Factors of Fermat Numbers
As part of the ongoing worldwide search for Fermat number factors, some Pierpont prime numbers have already been found as factors. The following table gives values for , and such that:
- .
The left hand side is a Pierpont prime if it is a power of three; the right side is a Fermat number.
year | Explorer | |||
---|---|---|---|---|
38 | 3 | 41 | 1903 | Cullen , Cunningham & Western |
63 | 9 | 67 | 1956 | Robinson |
207 | 3 | 209 | 1956 | Robinson |
452 | 27 | 455 | 1956 | Robinson |
9428 | 9 | 9431 | 1983 | basement, cellar |
12185 | 81 | 12189 | 1993 | Dubner |
28281 | 81 | 28285 | 1996 | Taura |
157167 | 3 | 157169 | 1995 | Young |
213319 | 3 | 213321 | 1996 | Young |
303088 | 3 | 303093 | 1998 | Young |
382447 | 3 | 382449 | 1999 | Cosgrave & Gallot |
461076 | 9 | 461081 | 2003 | Nohara, Jobling, Woltman & Gallot |
495728 | 243 | 495732 | 2007 | Keizer, Jobling, Penné & others |
672005 | 27 | 672007 | 2005 | Cooper , Jobling, Woltman & Gallot |
2145351 | 3 | 2145353 | 2003 | Cosgrave, Jobling, Woltman & Gallot |
2478782 | 3 | 2478785 | 2003 | Cosgrave, Jobling, Woltman & Gallot |
2543548 | 9 | 2543551 | 2011 | Brown, Reynolds, Penné & Fougeron |
Applications
A regular polygon with sides can be constructed with a pair of compasses and a ruler and a tool to divide the angles into three precisely if of the shape
, wherein with various Pierpont primes greater than three. The polygons that can be constructed , i.e. the polygons that can only be constructed with compasses and ruler, are special cases in which and are different Fermat prime numbers. The smallest prime that is not a Pierpont prime is . Therefore, the elagon is the smallest regular polygon that cannot be constructed with a compass, ruler and angled thirds. All other regular corners with can be constructed with a compass, ruler and (if necessary) a tool to divide the angle into three parts.
In the mathematics of paper folding , the Huzita axioms define six of the seven possible folds. These folds are also sufficient to form any regular polygon with sides if of the above shape.
generalization
A Pierpont prime of the 2nd kind is a prime of the form . The first numbers of this kind are:
- 2, 3, 5, 7, 11, 17, 23, 31, 47, 53, 71, 107, 127, 191, 383, 431, 647, 863, 971, 1151, 2591, 4373, 6143, 6911, 8191, 8747, ... (Follow A005105 in OEIS )
A generalized Pierpont prime is a prime of the form with k different, ever larger ordered prime numbers .
A generalized Pierpont prime number of the 2nd kind is a prime number of the form with k different, ever increasing ordered prime numbers .
In both cases it must be. All others are odd prime numbers.
This previous statement results from the following consideration: If p 1 were not 2, the product of odd prime powers would again be odd. If you then add or subtract 1, the resulting number would definitely be even and therefore not prime.
Here are a few generalized Pierpont primes:
{p 1 , p 2 , p 3 ,…, p k } | +1 | OEIS episode | -1 | OEIS sequence |
---|---|---|---|---|
{2} | 2, 3, 5, 17, 257, 65537 | (Follow A092506 in OEIS ) | 3, 7, 31, 127, 8191, 131071, ... | (Follow A000668 in OEIS ) |
{2, 3} | 2, 3, 5, 7, 13, 17, 19, 37, 73, 97, ... | (Follow A005109 in OEIS ) | 2, 3, 5, 7, 11, 17, 23, 31, 47, 53, ... | (Follow A005105 in OEIS ) |
{2, 5} | 2, 3, 5, 11, 17, 41, 101, ... | (Follow A077497 in OEIS ) | 3, 7, 19, 31, 79, 127, 199, ... | (Follow A077313 in OEIS ) |
{2, 3, 5} | 2, 3, 5, 7, 11, 13, 17, 19, 31, 37, 41, ... | (Follow A002200 in OEIS ) | ||
{2, 7} | 2, 3, 5, 17, 29, 113, 197, ... | (Follow A077498 in OEIS ) | 3, 7, 13, 31, 97, 127, 223, ... | (Follow A077314 in OEIS ) |
{2, 3, 5, 7} | 2, 3, 5, 7, 11, 13, 17, 19, 29, 31, 37, ... | (Follow A174144 in OEIS ) | ||
{2, 11} | 2, 3, 5, 17, 23, 89, 257, 353, ... | (Follow A077499 in OEIS ) | 3, 7, 31, 43, 127, 241, 967, ... | (Follow A077315 in OEIS ) |
{2, 13} | 2, 3, 5, 17, 53, 257, 677, ... | (Follow A173236 in OEIS ) | 3, 7, 31, 103, 127, 337, ... | (Follow A173062 in OEIS ) |
Web links
- Eric W. Weisstein : Pierpont Prime . In: MathWorld (English).
- Chris Caldwell: Pierpont prime. In: The Prime Pages. Retrieved May 16, 2013 .
Individual evidence
- ↑ Chris Caldwell: The largest known primes. In: The Prime Pages. August 16, 2016. Retrieved August 17, 2016 .
- ↑ Chris Caldwell: 3 210829346 + 1. In: The Prime Pages. January 17, 2014, accessed August 17, 2016 .
- ^ A b Andrew Gleason : Angle Trisection, the Heptagon, and the Triskaidecagon . In: The American Mathematical Monthly . tape 95 , no. 3 , 1988, pp. 185-194 ( math.nthu.edu.tw [PDF]). math.nthu.edu.tw ( Memento of the original from February 2, 2016 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
- ^ Wilfrid Keller: Prime factors of Fermat numbers and complete factoring status. (No longer available online.) April 30, 2015, archived from the original on February 10, 2016 ; accessed on August 17, 2016 . Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
- ↑ Follow A048135 in OEIS