In
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, Bretschneider's formula is the following expression for the
area
Area is the quantity that expresses the extent of a region on the plane or on a curved surface. The area of a plane region or ''plane area'' refers to the area of a shape
A shape or figure is a graphics, graphical representation of an obje ...
of a general
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
:
:
::
Here, , , , are the sides of the quadrilateral, is the
semiperimeter
In geometry, the semiperimeter of a polygon is half its perimeter. Although it has such a simple derivation from the perimeter, the semiperimeter appears frequently enough in formulas for triangles and other figures that it is given a separate name ...
, and and are any two opposite angles, since
as long as
Bretschneider's formula works on both convex and concave quadrilaterals (but not crossed ones), whether it is
cyclic
Cycle, cycles, or cyclic may refer to:
Anthropology and social sciences
* Cyclic history, a theory of history
* Cyclical theory, a theory of American political history associated with Arthur Schlesinger, Sr.
* Social cycle, various cycles in s ...
or not.
The German mathematician
Carl Anton Bretschneider
Carl Anton Bretschneider (27 May 1808 – 6 November 1878) was a mathematician from Gotha, Germany. Bretschneider worked in geometry, number theory, and history of geometry. He also worked on logarithmic integrals and mathematical tables. He was ...
discovered the formula in 1842. The formula was also derived in the same year by the German mathematician
Karl Georg Christian von Staudt
Karl Georg Christian von Staudt (24 January 1798 – 1 June 1867) was a German mathematician who used synthetic geometry to provide a foundation for arithmetic.
Life and influence
Karl was born in the Free Imperial City of Rothenburg, which is n ...
.
Proof
Denote the area of the quadrilateral by . Then we have
:
Therefore
:
:
The
law of cosines
In trigonometry, the law of cosines (also known as the cosine formula, cosine rule, or al-Kashi's theorem) relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states ...
implies that
:
because both sides equal the square of the length of the diagonal . This can be rewritten as
:
Adding this to the above formula for yields
:
Note that:
(a trigonometric identity true for all
)
Following the same steps as in
Brahmagupta's formula
In Euclidean geometry, Brahmagupta's formula is used to find the area of any cyclic quadrilateral (one that can be inscribed in a circle) given the lengths of the sides; its generalized version (Bretschneider's formula) can be used with non-cyclic ...
, this can be written as
:
Introducing the semiperimeter
:
the above becomes
:
:
and Bretschneider's formula follows after taking the square root of both sides:
:
Emmanuel García has used the generalized half angle formulas to give an alternative proof.
Related formulae
Bretschneider's formula generalizes
Brahmagupta's formula
In Euclidean geometry, Brahmagupta's formula is used to find the area of any cyclic quadrilateral (one that can be inscribed in a circle) given the lengths of the sides; its generalized version (Bretschneider's formula) can be used with non-cyclic ...
for the area of a
cyclic quadrilateral
In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the ''circumcircle'' or ''circumscribed circle'', and the vertices are said to be ''c ...
, which in turn generalizes
Heron's formula
In geometry, Heron's formula (or Hero's formula) gives the area of a triangle in terms of the three side lengths , , . If s = \tfrac12(a + b + c) is the semiperimeter of the triangle, the area is,
:A = \sqrt.
It is named after first-century ...
for the area of a
triangle
A triangle is a polygon with three Edge (geometry), edges and three Vertex (geometry), vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC.
In Euclidean geometry, an ...
.
The trigonometric adjustment in Bretschneider's formula for non-cyclicality of the quadrilateral can be rewritten non-trigonometrically in terms of the sides and the diagonals and to give
:
Notes
References & further reading
*
* C. A. Bretschneider. ''Untersuchung der trigonometrischen Relationen des geradlinigen Viereckes.'' Archiv der Mathematik und Physik, Band 2, 1842, S. 225-261
online copy, German
* F. Strehlke: ''Zwei neue Sätze vom ebenen und sphärischen Viereck und Umkehrung des Ptolemaischen Lehrsatzes''. Archiv der Mathematik und Physik, Band 2, 1842, S. 323-326
online copy, German
External links
* {{MathWorld, urlname=BretschneidersFormula, title=Bretschneider's formula
Bretschneider's formulaat proofwiki.org
Theorems about quadrilaterals
Area
Articles containing proofs