Let D,E and F be the common points of with the sides BC,CA and AB, respectively, and let AE=AF=x, BF=BD=y and CD=CE=z.
Since △AA1A2∼△ABC, then ABAA1=ACAA2=PABCPAA1A2=x+y+zx and hence AA1=x+y+zx(x+y) and AA2=x+y+zx(x+z). Analogously, BB1=x+y+zy(y+z), BB2=x+y+zy(y+x), CC1=x+y+zz(z+x) and CC2=x+y+zz(z+y).
Then the given inequality is equivalent to
9∑x2(x+y)(x+z)≥(x+y+z)2∑(x+y)2,
i.e.
9∑x4+2(∑x2)(∑xy)≥2(∑x2)2+4(∑xy)2,
The last inequality follows by the well-known inequalities
3(x4+y4+z4)≥(x2+y2+z2)2 and x2+y2+z2≥xy+yz+zx.