[seqfan] Another duplicate: primes of the form x^2 + 4xy - 4y^2

[Alonso Del Arte]

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.

Al

-- 
Alonso del Arte
Author at SmashWords.com
<https://www.smashwords.com/profile/view/AlonsoDelarte>
Musician at ReverbNation.com <http://www.reverbnation.com/alonsodelarte>