We may homogenise in two steps the inequality we wish to show. First, we use (a+b+c)2=9 to replace the RHS and obtain the equivalent inequality
a2+b2+c2+6abc≤(a+b+c)2=a2+b2+c2+2(ab+bc+ca)+3abc.
This is equivalent to 3abc≤ab+bc+ca. We now multiply by 3=a+b+c to obtain the equivalent inequality
9abc≤(a+b+c)(ab+bc+ca)=a2b+ab2+b2c+bc2+c2a+a2c+3abc,
i.e.,
6abc≤a2b+ab2+b2c+bc2+c2a+a2c, or
6≤ba+ab+cb+bc+ac+ca,
which immediately follows from the AM-GM inequality.