Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the set $S$ of all integers of the form $x^2+y^2+4xy$, where $x$ and $y$ are integers. How could one prove the set $S$ is closed under multiplication? I have tried the bashy brute force method, but to no avail. Perhaps someone could help?

share|cite|improve this question




EDIT: The 1st formula can be used to show that integers of the form $x^2+4xy+y^2$ are the same as integers of the form $r^2-3s^2$. The 3rd formula shows that the set of integers of the form $r^2-3s^2$ is closed under multiplication. The 2nd formula is just something I have to write down to get me to the 3rd formula.

share|cite|improve this answer
Simply awesome !! +1 – Iyengar Jan 30 '12 at 5:07
@Abhinash: Note that if $m$ and $n$ are integers, and $(x,y)$ is the solution of the system $7x+2y=m$, $4x+y=n$, then $x$ and $y$ are integers, since $7x+2y-2(4x+y)=-x$. – André Nicolas Jan 30 '12 at 6:02
Notice that your first formula is not the simplest one. And sorry for posting a similar answer without acknowledging the similarity beforehand. If at your request, I can delete it then. Thanks and regards. – awllower Mar 29 '13 at 18:50
@awllower, no need to delete. I'm annoyed only with myself, for not finding the simpler formula. Your comment is sufficient acknowledgement of similarity. – Gerry Myerson Apr 1 '13 at 12:04
Thanks for your generosity and appreciation. :D – awllower Apr 1 '13 at 12:10

Hint I:
Hint II:
Bramagupta's identity: $(p^2-3q^2)(r^2-3s^2)=(pr\pm 3qs)^2-3(ps\mp qr)^2$, for $p$, $q$ integers.
If this suffices not, tell me, or if there are mistakes. Thanks in advance.

share|cite|improve this answer
P.S. I used Conway's river method to derive the first hint. By that method, it is also easy to see that the transformation $(X,Y)\to (X+3Y,-Y)$ takes the form to a reduced form $X^2+2XY-2Y^2$. Moreover, we can even show that this is the only equivalent reduced form to the original one. Just for the information's sake... – awllower Mar 30 '13 at 19:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.