$p$ is an odd prime number where $p=3k+1\Longleftrightarrow\exists a,b\in\Bbb Z^+$ such that $p=a^2+ab+b^2$

Question

Let $p$ be odd prime number,show that:

$$p=3k+1\Longleftrightarrow \exists a,b\in\Bbb Z^+ \textrm{ such that } p=a^2+ab+b^2$$

I guess this is true because I find

when: $p=7,k=2$,and $$7=2^2+2\cdot 1+1^2$$

(2) when $p=13,k=4$,and $$13=1^2+1\cdot 3+3^2$$ and so on.

How do I prove this ?

If you know e.g. a proof that $p=a^2+b^2$ iff $p=4k+1$ you can try to do smth analogous. If not — perhaps you should try to use some number theory text book (e.g. Ireland–Rosen). — Grigory M, May 05 '14 at 14:53
Related: Fermat's Christmas theorem on sums of two squares... — Grigory M, May 05 '14 at 15:04
this is a minor nitpick, but $3 = 1 + 1 + 1$ and $3$ is an (odd) prime number but $3$ is not of the form $3k+1$ — mercio, May 05 '14 at 15:09

score 0 · Answer 1 · edited Apr 13 '17 at 12:20

0

HINT:

For odd prime $p$,

$$a^2+ab+b^2=p\implies(2a+b)^2\equiv-3b^2\mod p$$ $$\iff\left(\frac{2a+b}b\right)^2=-3\mod p$$

Check when $-3$ is a Quadratic Residue $\pmod p$

Now, use this

Alternatively, $$\left(\frac{-3}p\right)=\left(\frac{-1}p\right)\cdot\left(\frac3p\right)$$

Using Quadratic Reciprocity Theorem $$\left(\frac3p\right)\left(\frac p3\right)=(-1)^{\frac{(p-1)(3-1)}4}=(-1)^{\frac{p-1}2}$$

$$a\equiv\pm1\pmod 3\implies a^2\equiv1\pmod3$$

Can you take it home from here?

edited Apr 13 '17 at 12:20

Community

answered May 05 '14 at 14:36

lab bhattacharjee

2

the first equivalence is clearly not true. – mercio May 05 '14 at 14:41
See also : http://math.stackexchange.com/questions/84951/elementary-proof-of-when-2-is-a-quadratic-residue-modulo-an-odd-prime or http://math.stackexchange.com/questions/398376/show-that-7-is-a-quadratic-residue-for-any-prime-p-of-the-form-28k-1-and-28k – lab bhattacharjee May 05 '14 at 14:41
1

@mercio, $$p=a^2+ab+b^2\implies 4p=4a^2+4ab+4b^2=(2a+b)^2+3b^2\implies (2a+b)^2\equiv-3b^2\pmod p$$ – lab bhattacharjee May 05 '14 at 14:43
2

The direction '$-3$ is a residue => $p$ is representable' is quite non-trivial and requires either factorization in Eisenstein integers or some clever descent argument. – Grigory M May 05 '14 at 14:52
2

...so as an answer this is substantially incomplete, and as a hint — almost misleading. – Grigory M May 05 '14 at 14:58
Hello,and then? can you post your full solution? Thank you,But +1 – math110 May 05 '14 at 15:02
@chinamath, Please find the edited version – lab bhattacharjee May 05 '14 at 15:14

1 Answers1