Misplaced Pages

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. We use these notations for the sides: AB, BC, CD, DA. But since in Euclidean geometry a parallelogram necessarily has opposite sides equal, that is, AB = CD and BC = DA, the law can be stated as $${\displaystyle 2AB^{2}+2BC^{2}=AC^{2}+BD^{2}\,}$$

If the parallelogram is a rectangle, the two diagonals are of equal lengths AC = BD, so $${\displaystyle 2AB^{2}+2BC^{2}=2AC^{2}}$$ and the statement reduces to the Pythagorean theorem. For the general quadrilateral (with four sides not necessarily equal) Euler's quadrilateral theorem states $${\displaystyle AB^{2}+BC^{2}+CD^{2}+DA^{2}=AC^{2}+BD^{2}+4x^{2},}$$ where ${\displaystyle x}$ is the length of the line segment joining the midpoints of the diagonals. It can be seen from the diagram that ${\displaystyle x=0}$ for a parallelogram, and so the general formula simplifies to the parallelogram law.

Proof

In the parallelogram on the right, let AD = BC = a, AB = DC = b, ${\displaystyle \angle BAD=\alpha .}$ By using the law of cosines in triangle ${\displaystyle \triangle BAD,}$ we get: $${\displaystyle a^{2}+b^{2}-2ab\cos(\alpha )=BD^{2}.}$$

In a parallelogram, adjacent angles are supplementary, therefore ${\displaystyle \angle ADC=180^{\circ }-\alpha .}$ Using the law of cosines in triangle ${\displaystyle \triangle ADC,}$ produces: $${\displaystyle a^{2}+b^{2}-2ab\cos(180^{\circ }-\alpha )=AC^{2}.}$$

By applying the trigonometric identity ${\displaystyle \cos(180^{\circ }-x)=-\cos x}$ to the former result proves: $${\displaystyle a^{2}+b^{2}+2ab\cos(\alpha )=AC^{2}.}$$

Now the sum of squares ${\displaystyle BD^{2}+AC^{2}}$ can be expressed as: $${\displaystyle BD^{2}+AC^{2}=a^{2}+b^{2}-2ab\cos(\alpha )+a^{2}+b^{2}+2ab\cos(\alpha ).}$$

Simplifying this expression, it becomes: $${\displaystyle BD^{2}+AC^{2}=2a^{2}+2b^{2}.}$$

The parallelogram law in inner product spaces

In a normed space, the statement of the parallelogram law is an equation relating norms: $${\displaystyle 2\|x\|^{2}+2\|y\|^{2}=\|x+y\|^{2}+\|x-y\|^{2}\quad {\text{ for all }}x,y.}$$

The parallelogram law is equivalent to the seemingly weaker statement: $${\displaystyle 2\|x\|^{2}+2\|y\|^{2}\leq \|x+y\|^{2}+\|x-y\|^{2}\quad {\text{ for all }}x,y}$$ because the reverse inequality can be obtained from it by substituting ${\textstyle {\frac {1}{2}}\left(x+y\right)}$ for ${\displaystyle x,}$ and ${\textstyle {\frac {1}{2}}\left(x-y\right)}$ for ${\displaystyle y,}$ and then simplifying. With the same proof, the parallelogram law is also equivalent to: $${\displaystyle \|x+y\|^{2}+\|x-y\|^{2}\leq 2\|x\|^{2}+2\|y\|^{2}\quad {\text{ for all }}x,y.}$$

In an inner product space, the norm is determined using the inner product: $${\displaystyle \|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: $${\displaystyle \|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 ,}$$ $${\displaystyle \|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 .}$$

Adding these two expressions: $${\displaystyle \|x+y\|^{2}+\|x-y\|^{2}=2\langle x,x\rangle +2\langle y,y\rangle =2\|x\|^{2}+2\|y\|^{2},}$$ as required.

If ${\displaystyle x}$ is orthogonal to ${\displaystyle y,}$ meaning ${\displaystyle \langle x,\ y\rangle =0,}$ and the above equation for the norm of a sum becomes: $${\displaystyle \|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 for a vector ${\displaystyle x=(x_{1},x_{2},\ldots ,x_{n})}$ in the real coordinate space ${\displaystyle \mathbb {R} ^{n}}$ is the ${\displaystyle p}$-norm: $${\displaystyle \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dotsb +|x_{n}|^{p}\right)^{1/p}.}$$

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 ${\displaystyle p}$-norm if and only if ${\displaystyle p=2,}$ the so-called Euclidean norm or standard norm.

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: $${\displaystyle \langle x,y\rangle ={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}},}$$ or equivalently by $${\displaystyle {\frac {\|x+y\|^{2}-\|x\|^{2}-\|y\|^{2}}{2}}\qquad {\text{ or }}\qquad {\frac {\|x\|^{2}+\|y\|^{2}-\|x-y\|^{2}}{2}}.}$$

In the complex case it is given by: $${\displaystyle \langle x,y\rangle ={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}}+i{\frac {\|ix-y\|^{2}-\|ix+y\|^{2}}{4}}.}$$

For example, using the ${\displaystyle p}$-norm with ${\displaystyle p=2}$ and real vectors ${\displaystyle x}$ and ${\displaystyle y,}$ the evaluation of the inner product proceeds as follows: $${\displaystyle {\begin{aligned}\langle x,y\rangle &={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}}\\&={\tfrac {1}{4}}\left(\sum _{i}|x_{i}+y_{i}|^{2}-\sum _{i}|x_{i}-y_{i}|^{2}\right)\\&={\tfrac {1}{4}}\left(4\sum _{i}x_{i}y_{i}\right)\\&=x\cdot y,\\\end{aligned}}}$$ which is the standard dot product of two vectors.

Another necessary and sufficient condition for there to exist an inner product that induces the given norm ${\displaystyle \|\cdot \|}$ is for the norm to satisfy Ptolemy's inequality: $${\displaystyle \|x-y\|\,\|z\|~+~\|y-z\|\,\|x\|~\geq ~\|x-z\|\,\|y\|\qquad {\text{ for all vectors }}x,y,z.}$$

See also

• Commutative property – Property of some mathematical operations
• François Daviet – Royal Sardinian Army officer and mathematician (1734–1798)
• Inner product space – Generalization of the dot product; used to define Hilbert spaces
• Minkowski distance – Mathematical metric in normed vector space
• Normed vector space – Vector space on which a distance is defined
• Polarization identity – Formula relating the norm and the inner product in a inner product space
• Ptolemy's inequality – inequality relating the six distances between four points on a planePages displaying wikidata descriptions as a fallback

References

1. Cantrell, Cyrus D. (2000). Modern mathematical methods for physicists and engineers. Cambridge University Press. p. 535. ISBN 0-521-59827-3. if p ≠ 2, there is no inner product such that ${\textstyle {\sqrt {\langle x,\ x\rangle }}=\|x\|_{p}}$ because the p-norm violates the parallelogram law.
2. Saxe, Karen (2002). Beginning functional analysis. Springer. p. 10. ISBN 0-387-95224-1.
3. Apostol, Tom M. (1967). "Ptolemy's Inequality and the Chordal Metric". Mathematics Magazine. 40 (5): 233–235. doi:10.2307/2688275. JSTOR 2688275.

External links

• Weisstein, Eric W. "Parallelogram Law". MathWorld.
• The Parallelogram Law Proven Simply at Dreamshire blog
• The Parallelogram Law: A Proof Without Words at cut-the-knot

v t e Ancient Greek mathematics
Mathematicians (timeline)	Anaxagoras Anthemius Archytas Aristaeus the Elder Aristarchus Aristotle Apollonius Archimedes Autolycus Bion Bryson Callippus Carpus Chrysippus Cleomedes Conon Ctesibius Democritus Dicaearchus Diocles Diophantus Dinostratus Dionysodorus Domninus Eratosthenes Eudemus Euclid Eudoxus Eutocius Geminus Heliodorus Heron Hipparchus Hippasus Hippias Hippocrates Hypatia Hypsicles Isidore of Miletus Leon Marinus Menaechmus Menelaus Metrodorus Nicomachus Nicomedes Nicoteles Oenopides Pappus Perseus Philolaus Philon Philonides Plato Porphyry Posidonius Proclus Ptolemy Pythagoras Serenus Simplicius Sosigenes Sporus Thales Theaetetus Theano Theodorus Theodosius Theon of Alexandria Theon of Smyrna Thymaridas Xenocrates Zeno of Elea Zeno of Sidon Zenodorus
Treatises	Almagest Archimedes Palimpsest Arithmetica Conics (Apollonius) Catoptrics Data (Euclid) Elements (Euclid) Measurement of a Circle On Conoids and Spheroids On the Sizes and Distances (Aristarchus) On Sizes and Distances (Hipparchus) On the Moving Sphere (Autolycus) Optics (Euclid) On Spirals On the Sphere and Cylinder Ostomachion Planisphaerium Spherics (Theodosius) Spherics (Menelaus) The Quadrature of the Parabola The Sand Reckoner
Problems	Constructible numbers Angle trisection Doubling the cube Squaring the circle Problem of Apollonius
Concepts and definitions	Angle Central Inscribed Axiomatic system Axiom Chord Circles of Apollonius Apollonian circles Apollonian gasket Circumscribed circle Commensurability Diophantine equation Doctrine of proportionality Euclidean geometry Golden ratio Greek numerals Incircle and excircles of a triangle Method of exhaustion Parallel postulate Platonic solid Lune of Hippocrates Quadratrix of Hippias Regular polygon Straightedge and compass construction Triangle center
Results	In Elements Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Greek geometric algebra Hinge theorem Inscribed angle theorem Intercept theorem Intersecting chords theorem Intersecting secants theorem Law of cosines Pons asinorum Pythagorean theorem Tangent-secant theorem Thales's theorem Theorem of the gnomon Apollonius Apollonius's theorem Other Aristarchus's inequality Crossbar theorem Heron's formula Irrational numbers Law of sines Menelaus's theorem Pappus's area theorem Problem II.8 of Arithmetica Ptolemy's inequality Ptolemy's table of chords Ptolemy's theorem Spiral of Theodorus
Centers	Cyrene Mouseion of Alexandria Platonic Academy
Related	Ancient Greek astronomy Attic numerals Greek numerals Latin translations of the 12th century Non-Euclidean geometry Philosophy of mathematics Neusis construction History of A History of Greek Mathematics by Thomas Heath algebra timeline arithmetic timeline calculus timeline geometry timeline logic timeline mathematics timeline numbers prehistoric counting numeral systems list Other cultures Arabian/Islamic Babylonian Chinese Egyptian Incan Indian Japanese
Ancient Greece portal • Mathematics portal

• Euclidean geometry
• Theorems about quadrilaterals