A341264 Primes p such that (p^512 + 1)/2 is prime.

3631, 5113, 10651, 12391, 13999, 22093, 34687, 38713, 38959, 39199, 39679, 44879, 51229, 57389, 58757, 59651, 60331, 61543, 63389, 64483, 72931, 77023, 80369, 91639, 100787, 115679, 119551, 120713, 121727, 122299, 132109, 135599, 140221, 143387, 143873, 145753

Offset

1,1

Comments

Expressions of the form m^j + 1 can be factored (e.g., m^3 + 1 = (m + 1)*(m^2 - m + 1)) for any positive integer j except when j is a power of 2, so (p^j + 1)/2 for prime p cannot be prime unless j is a power of 2. A005383, A048161, A176116, A340480, A341210, A341224, A341229, A341230, A341234, and this sequence list primes of the form (p^j + 1)/2 for j=2^0=1, j=2^1=2, ..., j=2^9=512, respectively.

Links

Table of n, a(n) for n=1..36.

Example

(3^512 + 1)/2 = 9661674916...6218270721 (a 244-digit number) = 134382593 * 22320686081 * 12079910333441 * 100512627347897906177 * 2652879528...2021744641 (a 193-digit composite number), so 3 is not a term.
(3631^512 + 1)/2 = 2706508826...0763924481 (an 1823-digit number) is prime, so 3631 is a term. Since 3631 is the smallest prime p such that (p^512 + 1)/2 is prime, it is a(1) and is also A341211(9).

Crossrefs

Primes p such that (p^(2^k) + 1)/2 is prime: A005383 (k=0), A048161 (k=1), A176116 (k=2), A340480 (k=3), A341210 (k=4), A341224 (k=5), A341229 (k=6), A341230 (k=7), A341234 (k=8), (this sequence) (k=9).

Cf. A341211 (Smallest prime p such that (p^(2^n) + 1)/2 is prime).

Sequence in context: A223414 A046835 A143930 * A287219 A232120 A232418

Adjacent sequences: A341261 A341262 A341263 * A341265 A341266 A341267

Keyword

nonn

Author

Jon E. Schoenfield, Feb 07 2021

Status

approved