parallelogram law

Theorem 1

In an inner product space (http://planetmath.org/InnerProductSpace), let $x$ and $y$ be vectors. Then

$${\parallel x+y\parallel }^2+{\parallel x-y\parallel }^2=2{\parallel x\parallel }^2+2{\parallel y\parallel }^2.$$