Problem 1: Let prime $p\equiv 1\pmod 3$.show that:there exist postive integers $a\le b<p$ such $$p^2|a^2+ab+b^2$$
I have only prove there $a,b$ such $$p|a^2+ab+b^2$$
Problem 1 from this:
Problem 2.3 (Noam Elkies). Prove that there are infinitely many triples $(a,b,p)$ of integers, with $p$ prime and $0<a\leq b<p$, for which $p^5$ divides $(a+b)^p-a^p-b^p$.
The key claim is that if $p\equiv1\pmod3$, then $$p(x^2+xy+y^2)^2\;\mathrm{divides}\;(x+y)^p-x^p-y^p$$ as polynomials in $x$ and $y$. $\color{red}{\underline{\color{black}{\text{Since it's known that}}}}$ one can select $a$ and $b$ such that $\color{red}{\underline{\color{black}{p^2\mid a^2+ab+b^2}}}$, the conclusion follows. (The theory of quadratic forms tells us we can do it with $p^2=a^2+ab+b^2$; Thue's lemma lets us do it by solving $x^2+x+1\equiv0\pmod{p^2}$.)
To prove this, it is the same to show that $$(x^2+x+1)^2\;\mathrm{divides}\;F(x)\overset{\mathrm{def}}=(x+1)^p-x^p-1.$$ since the binomial coefficients $\binom pk$ are clearly divisible by $p$. Let $\zeta$ be a third root of unity. Then $F(\zeta)=(1+\zeta)^p-\zeta^p-1=-\zeta^2-\zeta-1=0$. Moreover, $F'(x)=p(x+1)^{p-1}-px^{p-1}$, so $F'(\zeta)=p-p=0$. Hence $\zeta$ is a double root of $F$ as needed.
(Incidentally, $p=2017$ works!)
Alternate solution via Thue's Lemma
Proof. By Quadratic Reciprocity, $-3$ is a quadratic residue $\pmod p$, hence $$ u^2 \equiv -3 \pmod p $$ for some integer $u$. Setting $u\equiv 2c+1\pmod p$, this becomes $$ c^2+c+1 \equiv 0 \pmod p $$ So $c$ is a solution to $f(x):=x^2+x+1\equiv 0\pmod p$. Hensel's Lemma tells us that if $$ f'(c)\not\equiv 0 \pmod p $$ Then there exists a unique $d=c+kp$ such that $$ f(d) \equiv 0 \pmod{p^2} $$ Since $$ f'(c)^2 = (2c+1)^2 \equiv -3 \pmod p $$ If $f'(c)\equiv 0 \pmod p$ then $0\equiv -3\pmod p$ which implies $p=3$. This contradicts $p\equiv 1\pmod 3$, therefore $f'(c)\not\equiv 0 \pmod p$.
Hence there is some $d$ such that $$ d^2+d+1\equiv 0 \pmod{p^2} $$
$$\tag*{$\square$}$$
We now solve our main problem.
Proof. We have shown that there is some integer $d$ such that $$ d^2+d+1 \equiv 0\pmod{p^2} $$ Now by Thue's Lemma, since $\gcd(d,p^2)=1$, we can find $0<|a|,|b|<p$ such that $$ db \equiv a \pmod{p^2} $$ By rearranging the sign, we may assume that $b>0$ and $-p<a<p$. Now $a,b$ satisfies $$ a^2+ab+b^2 \equiv d^2b^2+db^2+b^2 \equiv b^2(d^2+d+1)\equiv 0 \pmod{p^2} $$ Therefore if $a> 0$ we have found our solution $0<a,b<p$. Otherwise, $a<0$ and we consider two cases ($-a\neq b$, otherwise $d\equiv -1\pmod{p^2}$ contradicts $d^2+d+1\equiv 0\pmod{p^2}$):
Case 1: $-a > b$
We use the equality $$ a^2+ab+b^2 = (-a-b)^2 + (-a-b)b + b^2 $$ and obtain a solution $(a',b') = (-a-b,b)$. Since $0<-a<p$ and $0<b<p$, we have $-a-b< p$. By assumption $0 <-a-b$, therefore $0 < a',b' < p$ and we are done.
Case 2: $-a < b$
We use another equality: $$ a^2 + ab + b^2 = (-a)^2 + (-a)(a+b) + (a+b)^2 $$ and set the new solution as $(a',b') = (-a,a+b)$. Clearly $0 < a'=-a < p$. Since $-p < a < 0$ and $0 < b < p$, we get $a+b < p $. Finally, by assumption we have $0 < a+b$, therefore $0 < a+b=b' < p$. Hence we have a solution $0<a',b' < p$.
$$\tag*{$\square$}$$
This completes the proof.
Proof. Since $0<a,b< p$, we have $$ a^2 + ab + b^2 < 3p^2 $$ Morever, since $a^2+ab+b^2\equiv 0 \pmod{p^2}$, we must have $a^2+ab+b^2 = p^2$ or $2p^2$. If $a^2+ab+b^2=2p^2$ then $$ a^2+ab+b^2 \equiv 0 \pmod 2 $$ There is no solution if $a$ or $b$ is odd, therefore both $a,b$ are even. But this means $$ a^2+ab+b^2\equiv 0 \pmod 4 $$ Since $a^2+ab+b^2$ is also divisible by odd $p^2$, it is divisible by $4p^2$. This contradicts that $a^2+ab+b^2 < 3p^2$, therefore we must have $$ a^2+ab+b^2 = p^2 $$
$$\tag*{$\square$}$$