OFFSET
1,1
COMMENTS
Primes of the form m^2 + 2*k^2 are norms of prime elements of Z[i*sqrt(2)]. Prime couples of the form (m^2 + 2*k^2, m^2 + 2*(k+1)^2) correspond to primes in Z[i*sqrt(2)] differing from i*sqrt(2).
A prime cannot be simultaneously the lesser of one such couple and the greater of another.
FORMULA
If (m^2 + 2*k^2, m^2 + 2*(k+1)^2) is a prime couple, then m is congruent to 3 modulo 6 and k is congruent to 1 modulo 3.
EXAMPLE
The first 3 prime couples of the form (m^2 + 2*k^2, m^2 + 2*(k+1)^2) are (11,17) = (3^2 + 2*1^2, 3^2 + 2*2^2), (41,59) = (3^2 + 2*4^2, 3^2 + 2*5^2) and (83,89) = (9^2 + 2*1^2, 9^2 + 2*2^2).
CROSSREFS
KEYWORD
nonn
AUTHOR
Ludovic Schwob, Jan 28 2023
STATUS
approved