(In reply to re: Solution (spoiler)
Very nice proof, but actually there is a much simpler solution.
Just rearrange the terms of the first equation, and express the same as the sum of squares of three linear expressions and, everything else will then fit in. (Note the D2 rating.)
Edited on August 1, 2012, 2:29 pm