A341322 Primes p such that (p*r) == q (mod p+r) where q and r are the next primes after p.

2, 5, 7, 19

Offset

1,1

Comments

No other terms < 10^9.

If x = (p+r)/2 and d = (r-p)/2, p*r = x^2 - d^2 == -d^2 (mod x), while x-d < q < x+d. We can't have q = x-d^2, so it must be that q >= 2 x - d^2, and thus d^2 >= 2x-q > x-d. Cramér's conjecture implies d^2 = o(x), so that implies the sequence is finite.

Links

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

Wikipedia, Cramér's conjecture

Example

For n=1: a(1) = p = 2, q = 3, r = 5, (2*5) mod (2+5) = 10 mod 7 = 3.
For n=2: a(2) = p = 5, q = 7, r = 11, (5*11) mod (5+11) = 55 mod 16 = 7.
For n=3: a(3) = p = 7, q = 11, r = 13, (7*13) mod (7+13) = 91 mod 20 = 11.
For n=4: a(4) = p = 19, q = 23, r = 29, (19*29) mod (19+29) = 551 mod 48 = 23.

Maple

N:= 10^6: # for terms <= N
p:= 1: q:= 2: r:= 3: R:= NULL:
while p < N do
  p:= q; q:= r; r:= nextprime(r);
if p*r mod (p+r) = q then R:=R, p fi;
od:
R;

Crossrefs

Sequence in context: A099357 A306918 A027038 * A173929 A173299 A097052

Adjacent sequences: A341319 A341320 A341321 * A341323 A341324 A341325

Keyword

nonn,fini,bref

Author

J. M. Bergot and Robert Israel, Feb 08 2021

Status

approved