November 23rd, 2012, 10:00 pm
AVt, i thought it would be messy algebra for your question, but it was a pleasant surprise to find the following general conclusion:a^2+2*b*c=x, b^2+2*c*a=y, c^2+2*a*b=z have real solutions iff x, y, z are real and x+y+z>=0.to prove the "if" direction (the other direction is trivial), notice one can "diagonalize" ("linearize" might be more appropriate) by using the cube root of 1: omega=exp(2*i*pi/3), which satisfies 1+omega+omega^2=0, so one can easily get the equivalent equations:(a+b+c)^2=(x+y+z), (a+omega*b+omega^2*c)^2=(x+omega^2*y+omega*z), (a+omega^2*b+omega*c)=(x+omega*y+omega^2*z);now that they are reduced to a linear system, one can explicitly write down the solution, but the hint/spolier to finish the last step of the proof is to note omega and omega^2 are complex conjugates.(i was not able to find a general theorem, but suspect it should be related to representation theory of quadratic form)back to the original question, one simple gets a range: c^2+2*a*b >=-2013
Last edited by
wileysw on November 22nd, 2012, 11:00 pm, edited 1 time in total.