A parallelogram. The sides are shown in blue and the diagonals in red.
In mathematics, the simplest form of the parallelogram law (also called the parallelogram identity) belongs to elementary geometry. It states that the sum of the squares of the lengths of the four sides of a parallelogram equals the sum of the squares of the lengths of the two diagonals. Using the notation in the diagram on the right, the sides are (AB), (BC), (CD), (DA). But since in Euclidean geometry a parallelogram necessarily has opposite sides equal, or (AB) = (CD) and (BC) = (DA), the law can be stated as,
 2(AB)^2+2(BC)^2=(AC)^2+(BD)^2\,
In case the parallelogram is a rectangle, the two diagonals are of equal lengths (AC) = (BD) so,
 2(AB)^2+2(BC)^2=2(AC)^2\,
and the statement reduces to the Pythagorean theorem. For the general quadrilateral with four sides not necessarily equal,
 (AB)^2+(BC)^2+(CD)^2+(DA)^2=(AC)^2+(BD)^2+4x^2.\,
where x is the length of the line joining the midpoints of the diagonals. It can be seen from the diagram that, for a parallelogram, then x = 0 and the general formula reduces to the parallelogram law.
The parallelogram law in inner product spaces
Vectors involved in the parallelogram law. In a normed space, the statement of the parallelogram law is an equation relating norms:
 2\x\^2+2\y\^2=\x+y\^2+\xy\^2. \,
In an inner product space, the norm is determined using the inner product:
 \x\^2=\langle x, x\rangle.\,
As a consequence of this definition, in an inner product space the parallelogram law is an algebraic identity, readily established using the properties of the inner product:
 \x+y\^2=\langle x+y, x+y\rangle= \langle x, x\rangle + \langle x, y\rangle +\langle y, x\rangle +\langle y, y\rangle, \,
 \xy\^2 =\langle xy, xy\rangle= \langle x, x\rangle  \langle x, y\rangle \langle y, x\rangle +\langle y, y\rangle. \,
Adding these two expressions:
 \x+y\^2+\xy\^2 = 2\langle x, x\rangle + 2\langle y, y\rangle = 2\x\^2+2\y\^2, \,
as required.
If x is orthogonal to y, then \langle x ,\ y\rangle = 0 and the above equation for the norm of a sum becomes:
 \x+y\^2= \langle x, x\rangle + \langle x, y\rangle +\langle y, x\rangle +\langle y, y\rangle =\x\^2+\y\^2,
which is Pythagoras' theorem.
Normed vector spaces satisfying the parallelogram law
Most real and complex normed vector spaces do not have inner products, but all normed vector spaces have norms (by definition). For example, a commonly used norm is the pnorm:
 \x\_p = \left( \sum_{i=1}^n x_i^p \right) ^{1/p},
where the x_i are the components of vector x.
Given a norm, one can evaluate both sides of the parallelogram law above. A remarkable fact is that if the parallelogram law holds, then the norm must arise in the usual way from some inner product. In particular, it holds for the pnorm if and only if p = 2, the socalled Euclidean norm or standard norm.^{[1]}^{[2]}
For any norm satisfying the parallelogram law (which necessarily is an inner product norm), the inner product generating the norm is unique as a consequence of the polarization identity. In the real case, the polarization identity is given by:
 \langle x, y\rangle={\x+y\^2\xy\^2\over 4},\,
or, equivalently, by:
 {\x+y\^2\x\^2\y\^2\over 2}\text{ or }{\x\^2+\y\^2\xy\^2\over 2}.\,
In the complex case it is given by:
 \langle x, y\rangle={\x+y\^2\xy\^2\over 4}+i{\ixy\^2\ix+y\^2\over 4}.
For example, using the pnorm with p = 2 and real vectors x , \ y \,, the evaluation of the inner product proceeds as follows:
 \begin{align} \langle x, y\rangle&={\x+y\^2\xy\^2\over 4}\\ &=\frac{1}{4} \left[ \sum x_i +y_i^2 \sumx_iy_i^2 \right]\\ &=\frac{1}{4} \left[ 4 \sum x_i y_i \right]\\ &=(x\cdot y), \end{align}
which is the standard dot product of two vectors.
Notes and inline references
 ↑
 ↑
See also
External links
ca:Llei del paral lelogram de:Parallelogrammgleichung el: es:Ley del paralelogramo fr:R gle du parall logramme it:Legge del parallelogramma he: hu:Paralelogrammaazonoss g nl:Parallellogramwet km: pl:Regu a r wnoleg oboku pt:Regra do paralelogramo sv:Parallellogramlagen uk: zh:
