Using properties and definition of the scalar product of vectors, you have ||a+b||^2 = ||a||^2 + 2*(a,b) + ||b||^2 ||a-b||^2 = ||a||^2 - 2*(a,b) + ||b||^2 Now add these two identities, and you will get the statement which has to be proved.