Proth number

From HandWiki
Revision as of 07:33, 9 May 2022 by imported>QCDvac (url)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In number theory, a Proth number is a number of the form

[math]\displaystyle{ N=k \cdot 2^n+1 }[/math]

where [math]\displaystyle{ k }[/math] is an odd positive integer and [math]\displaystyle{ n }[/math] is a positive integer such that [math]\displaystyle{ 2^n \gt k }[/math]. They are named after the mathematician François Proth. The first few Proth numbers are

3, 5, 9, 13, 17, 25, 33, 41, 49, 57, 65, 81, 97, 113, 129, 145, 161, 177, 193, 209, 225, 241 (sequence A080075 in the OEIS).

The Cullen numbers (numbers of the form n·2n + 1) and Fermat numbers (numbers of the form 22n + 1) are special cases of Proth numbers. Without the condition that [math]\displaystyle{ 2^n \gt k }[/math], all odd integers greater than 1 would be Proth numbers.[1]

Proth primes

Question, Web Fundamentals.svg Unsolved problem in mathematics:
Are there infinitely many Proth primes?
(more unsolved problems in mathematics)

A Proth prime is a Proth number which is prime. The first few Proth primes are

3, 5, 13, 17, 41, 97, 113, 193, 241, 257, 353, 449, 577, 641, 673, 769, 929, 1153, 1217, 1409, 1601, 2113, 2689, 2753, 3137, 3329, 3457, 4481, 4993, 6529, 7297, 7681, 7937, 9473, 9601, 9857 (OEISA080076).

The primality of a Proth number can be tested with Proth's theorem, which states[2] that a Proth number [math]\displaystyle{ p }[/math] is prime if and only if there exists an integer [math]\displaystyle{ a }[/math] for which

[math]\displaystyle{ a^{\frac{p-1}{2}}\equiv -1 \pmod{p} . }[/math]

The largest known Proth prime (As of 2016) is [math]\displaystyle{ 10223 \cdot 2^{31172165} + 1 }[/math], and is 9,383,761 digits long.[3] It was found by Szabolcs Peter in the PrimeGrid distributed computing project which announced it on 6 November 2016.[4] It is also the largest known non-Mersenne prime.[5]

See also

References

External links

Grime, Dr. James. "78557 and Proth Primes" (video). Brady Haran. https://www.youtube.com/watch?v=fcVjitaM3LY. Retrieved 13 November 2017.