Euler's quadrilateral theorem

{{short description|Relation between the sides of a convex quadrilateral and its diagonals}}

Euler's quadrilateral theorem or Euler's law on quadrilaterals, named after Leonhard Euler (1707–1783), describes a relation between the sides of a convex quadrilateral and its diagonals. It is a generalisation of the parallelogram law which in turn can be seen as generalisation of the Pythagorean theorem. Because of the latter the restatement of the Pythagorean theorem in terms of quadrilaterals is occasionally called the Euler–Pythagoras theorem.

Theorem and special cases

For a convex quadrilateral with sides $a, b, c, d$ , diagonals $e$ and $f$ , and $g$ being the line segment connecting the midpoints of the two diagonals, the following equations holds:

: $a^2+b^2+c^2+d^2=e^2+f^2+4g^2$

If the quadrilateral is a parallelogram, then the midpoints of the diagonals coincide so that the connecting line segment $g$ has length 0. In addition the parallel sides are of equal length, hence Euler's theorem reduces to

: $2a^2+2b^2=e^2+f^2$

which is the parallelogram law.

If the quadrilateral is rectangle, then equation simplifies further since now the two diagonals are of equal length as well:

: $2a^2+2b^2=2e^2$

Dividing by 2 yields the Euler–Pythagoras theorem:

: $a^2+b^2=e^2$

In other words, in the case of a rectangle the relation of the quadrilateral's sides and its diagonals is described by the Pythagorean theorem.Lokenath Debnath: The Legacy of Leonhard Euler: A Tricentennial Tribute. World Scientific, 2010, {{ISBN|9781848165267}}, pp. [https://books.google.com/books?id=dDfICgAAQBAJ&pg=PA105 105–107]

Alternative formulation and extensions

File:Euler theorem quadrilateral.svg

Euler originally derived the theorem above as corollary from slightly different theorem that requires the introduction of an additional point, but provides more structural insight.

For a given convex quadrilateral $ABCD$ Euler introduced an additional point $E$ such that $ABED$ forms a parallelogram and then the following equality holds:

: $|AB|^2+|BC|^2+|CD|^2+|AD|^2=|AC|^2+|BD|^2+|CE|^2$

The distance $|CE|$ between the additional point $E$ and the point $C$ of the quadrilateral not being part of the parallelogram can be thought of measuring how much the quadrilateral deviates from a parallelogram and $|CE|^2$ is correction term that needs to be added to the original equation of the parallelogram law.Deanna Haunsperger, Stephen Kennedy: The Edge of the Universe: Celebrating Ten Years of Math Horizons. MAA, 2006, {{ISBN|9780883855553}}, pp. [https://books.google.com/books?id=I9oVP8TlyqIC&pg=PA137 137–139]

$M$ being the midpoint of $AC$ yields $\tfrac$

=2. Since

N

is the midpoint of

BD

it is also the midpoint of

AE

, as

AE

and

BD

are both diagonals of the parallelogram

ABED

. This yields

\tfrac

=2 and hence

\tfrac

=\tfrac

. Therefore, it follows from the intercept theorem (and its converse) that

CE

and

NM

are parallel and

|CE|^2=(2|NM|)^2=4|NM|^2

, which yields Euler's theorem.

Euler's theorem can be extended to a larger set of quadrilaterals, that includes crossed and nonplaner ones. It holds for so called generalized quadrilaterals, which simply consist of four arbitrary points in $\mathbb{R}^n$ connected by edges so that they form a cycle graph.Geoffrey A. Kandall: Euler's Theorem for Generalized Quadrilaterals. The College Mathematics Journal, Vol. 33, No. 5 (Nov., 2002), pp. 403–404 ([https://www.jstor.org/stable/1559015 JSTOR])

Notes

References

Deanna Haunsperger, Stephen Kennedy: The Edge of the Universe: Celebrating Ten Years of Math Horizons. MAA, 2006, {{ISBN|9780883855553}}, pp. [https://books.google.com/books?id=I9oVP8TlyqIC&pg=PA137 137–139]
Lokenath Debnath: The Legacy of Leonhard Euler: A Tricentennial Tribute. World Scientific, 2010, {{ISBN|9781848165267}}, pp. [https://books.google.com/books?id=dDfICgAAQBAJ&pg=PA105 105–107]
C. Edward Sandifer: How Euler Did It. MAA, 2007, {{ISBN|9780883855638}}, pp. [https://books.google.com/books?id=sohHs7ExOsYC&pg=PA33 33–36]
Geoffrey A. Kandall: Euler's Theorem for Generalized Quadrilaterals. The College Mathematics Journal, Vol. 33, No. 5 (Nov., 2002), pp. 403–404 ([https://www.jstor.org/stable/1559015 JSTOR])
Dietmar Herrmann: Die antike Mathematik: Eine Geschichte der griechischen Mathematik, ihrer Probleme und Lösungen. Springer, 2013, {{ISBN|9783642376122}}, p. [https://books.google.com/books?id=CDgiBAAAQBAJ&pg=PA418 418]

External links

{{MathWorld|title=Quadrilateral|urlname=Quadrilateral}}

Category:Euclidean geometry

Category:Theorems about quadrilaterals