October 31st, 2008, 11:59 am
Here is one simple, but less tight lower bound:(a^2 + b^2 + c^2 )^2 - (1/M)(ab(a^2-b^2)...) = a^4 + b^4 + 2a^2b^2 - (1/M)ab^3 +(1/M)a^3b ... fill in similar terms containing b, c and c,aNote that:a^4 + b^4 + c^4 + 2a^2b^2 - Mab^3 +Ma^3b is of the form (a^2 + b^2 + k * a * b)^2, if we can find the right kso, we complete squares as follows: (a^2 /sqrt(2) - b^2/sqrt(2) +sqrt(3) * a*b)^2 = a^4/2 + b^4/2 +2a^2b^2 - sqrt(3*2)(ab^3 - a^3b) + symmetric termsThis is clearly greater than 0, therefore, for any M = 1/sqrt(6), the inequality works. For M > 1/sqrt(6), the inequality should certainly work.1/sqrt(6) works out to be .408, as opposed to 9/(16 (sqrt(2))) = 0.397 !