[seqfan] Another duplicate: primes of the form x^2 + 4xy - 4y^2
Alonso Del Arte
alonso.delarte at gmail.com
Wed Jan 25 18:15:59 CET 2017
I am much more confident about this other duplicate, but I still want to
run it by other people before going ahead with it.
A141174, primes of the form x^2 + 4xy - 4y^2, is a duplicate of A007519,
primes of the form 8n + 1.
I've already done the easy step, proving that all primes of the form x^2 +
4xy - 4y^2 are congruent to 1 mod 8. Since x^2 + 4xy - 4y^2 = 2 or -2 is
impossible, x must be odd. And since x is odd, x^2 = 1 mod 8.
If y is even, then both 4xy and 4y^2 are multiples of 8. If y is odd, then
4xy = 4 mod 8, but so is 4y^2, cancelling out the effect and leaving x^2 =
1 mod 8.
There's still the issue of proving every prime of the form 8n + 1 has an
x^2 + 4xy - 4y^2 representation. With the previous duplicate, this was
proven with quadratic forms, if I recall correctly.
Alonso del Arte
Author at SmashWords.com
Musician at ReverbNation.com <http://www.reverbnation.com/alonsodelarte>
More information about the SeqFan