Solution:
The answer is no: such integers do not exist. In what follows, νp(n) will denote the exponent of p in the prime factorization of n.
Assume without loss of generality that a,b,c do not have some common divisor, and a2+b2+c2=3k(ab+bc+ca). Write
(3k+2)(a2+b2+c2)=3k⋅(a+b+c)2.
Since 3k+2≡2(mod3), there is a prime p≡2(mod3) with νp(3k+2) odd (in particular, p∣3k+2).
We first show that p=2. Let us assume on the contrary that ν2(3k+2) is odd (in particular, k is even). Remark that since a,b,c are not all even, ν2(a2+b2+c2)≤1. Furthermore,
ν2(a+b+c)=0⟺ν2(a2+b2+c2)=0.
Now we consider two cases.
- Assume ν2(k)≥2. Then ν2(3k+2)=1, ν2(a2+b2+c2)≤1. Therefore
ν2(k)+2ν2(a+b+c)≥2≥ν2(3k+2)+ν2(a2+b2+c2)
but equality cannot occur since the relations
ν2(a+b+c)=0andν2(a2+b2+c2)=1
cannot hold simultaneously.
- Assume ν2(k)=1. Then ν2(3k+2)>1 and is odd. Now
ν2(3k+2)+ν2(a2+b2+c2)=1+2ν2(a+b+c).
Thus ν2(a2+b2+c2) must be even, so it is zero; consequently ν2(a+b+c)=0 as well and we obtain 1<v2(3k+2)=1.
Now for the interesting part. Remark p∣a+b+c and p∣a2+b2+c2. Without loss of generality b≡0(modp), so that
a2+b2+(a+b)2≡0(modp)⟹a2+ab+b2≡0(modp)
Then if x=ab−1, we get that x2+x+1≡0(modp). But the left-hand side is the third cyclotomic polynomial, so either p=3 or 3∣p−1, but neither is the case.
Therefore, such a triple (a,b,c) does not exist.