When using the definition and properties of the inner product, we get the parallelogram law:
Adding these two expressions:
as required. But the above does not simplify to Pythagoras' theorem if and are orthogonal.
How can we get Pythagoras from the parallelogram law?