The sum of a square and twice a square Consider the set $\{3,6,9,11,12,17,18,19,22\ldots\}$ (OEIS A154777) of positive integers that are expressible in the form $a^2 + 2b^2$.   Is there a theorem about the form of such numbers analogous to the one about integers representable in the form $a^2 + b^2$? Is there a way to relate this problem to that one?
Some numbers, such as $27, 33, 51, 54,\ldots$ are expressible in the form $a^2 + 2 b^2$ in more than one way.  Is the set of such numbers infinite? (OEIS search for this sequence finds nothing.)  It appears that all such numbers are divisible by 3; is there a proof of this?  What else is known about this? 
(Mercio observes in a comment that $121 = 11^2 + 2\cdot0^2 = 7^2 + 2\cdot6^2$ is not divisible by 3; another example is $209 =3^2 + 2\cdot 10^2 = 9^2 + 2\cdot 8^2$.)
 A: According to OEIS,

$n$ belongs to this sequence iff every prime $ p \equiv 5,7 \pmod 8$ dividing $n$ occurs to an even power. 

So the answer to my question "Is there a theorem analogous to the one about $a^2+b^2$?" is "Yes".
A: $$ (a^2 + 2 b^2)(c^2 + 2 d^2) = (ac+2bd)^2 + 2 (ad-bc)^2 = (ac-2bd)^2 + 2 (ad+bc)^2  $$
so you get multiple representations as soon as you have the product of two distinct represented odd primes, that is $\equiv 1,3 \pmod 8.$ You kind of lose if 2 is involved because of the evident $0,$ also you get the analogue of Pythagorean triples for the square of any odd represented prime, as in mercio's comment. 
The presence of such a simple formula for multiplication is just that this is the principal form (binary quadratic forms) of this discriminant. The fact that it is  simple to describe the represented primes is the fact that this is class number one. That is, there is only one genus, the principal one, and there is only one (equivalence class of) forms in that genus. It is still not too bad when you have one form per genus but more than one genus, as in $x^2 + 6 y^2$ and $2 x^2 + 3 y^2.$ But then the description of all numbers that are represented by the principal form includes an extra odd/even check about the sum of certain prime exponents.
