# Cyclic quadrilateral Information

*https://en.wikipedia.org/wiki/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 *
concyclic*. The center of the circle and its radius are called the *circumcenter* and the *circumradius* respectively. Other names for these quadrilaterals are **concyclic quadrilateral** and **chordal quadrilateral**, the latter since the sides of the quadrilateral are
chords of the circumcircle. Usually the quadrilateral is assumed to be
convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.

The word cyclic is from the
Ancient Greek
κύκλος (*kuklos*), which means "circle" or "wheel".

All triangles have a circumcircle, but not all quadrilaterals do. An example of a quadrilateral that cannot be cyclic is a non-square rhombus. The section characterizations below states what necessary and sufficient conditions a quadrilateral must satisfy to have a circumcircle.

## Special cases

Any square, rectangle, isosceles trapezoid, or antiparallelogram is cyclic. A kite is cyclic if and only if it has two right angles. A bicentric quadrilateral is a cyclic quadrilateral that is also tangential and an ex-bicentric quadrilateral is a cyclic quadrilateral that is also ex-tangential. A harmonic quadrilateral is a cyclic quadrilateral in which the product of the lengths of opposite sides are equal.

## Characterizations

### Circumcenter

A convex quadrilateral is cyclic
if and only if the four
perpendicular bisectors to the sides are
concurrent. This common point is the
circumcenter.^{
[1]}

### Supplementary angles

A convex quadrilateral *ABCD* is cyclic if and only if its opposite angles are
supplementary, that is^{
[1]}^{
[2]}

The direct theorem was Proposition 22 in Book 3 of
Euclid's
*Elements*.^{
[3]} Equivalently, a convex quadrilateral is cyclic if and only if each
exterior angle is equal to the opposite
interior angle.

In 1836 Duncan Gregory generalized this result as follows: Given any convex cyclic 2*n*-gon, then the two sums of *alternate* interior angles are each equal to (*n*-1).^{
[4]}

Taking the stereographic projection (half-angle tangent) of each angle, this can be re-expressed,

Which implies that^{
[5]}

### Angles between sides and diagonals

A convex quadrilateral *ABCD* is cyclic if and only if an angle between a side and a
diagonal is equal to the angle between the opposite side and the other diagonal.^{
[6]} That is, for example,

### Pascal Points

Another necessary and sufficient conditions for a convex quadrilateral *ABCD* to be cyclic are: let *E* be the point of intersection of the diagonals, let *F* be the intersection point of the extensions of the sides *AD* and *BC*, let be a circle whose diameter is the segment, *EF*, and let *P* and *Q* be Pascal points on sides *AB* and *CD* formed by the circle .

(1) *ABCD* is a cyclic quadrilateral if and only if points *P* and *Q* are collinear with the center *O*, of circle .

(2) *ABCD* is a cyclic quadrilateral if and only if points *P* and *Q* are the midpoints of sides *AB* and *CD*.^{
[2]}

### Intersection of diagonals

If two lines, one containing segment *AC* and the other containing segment *BD*, intersect at *P*, then the four points *A*, *B*, *C*, *D* are concyclic if and only if^{
[7]}

The intersection *P* may be internal or external to the circle. In the former case, the cyclic quadrilateral is *ABCD*, and in the latter case, the cyclic quadrilateral is *ABDC*. When the intersection is internal, the equality states that the product of the segment lengths into which *P* divides one diagonal equals that of the other diagonal. This is known as the *
intersecting chords theorem* since the diagonals of the cyclic quadrilateral are chords of the circumcircle.

### Ptolemy's theorem

Ptolemy's theorem expresses the product of the lengths of the two diagonals *e* and *f* of a cyclic quadrilateral as equal to the sum of the products of opposite sides:^{
[8]}^{:p.25}^{
[2]}

- , where a, b, c, d are the side lengths in order.

The converse is also true. That is, if this equation is satisfied in a convex quadrilateral, then a cyclic quadrilateral is formed.

### Diagonal triangle

In a convex quadrilateral *ABCD*, let *EFG* be the diagonal triangle of *ABCD* and let be the nine-point circle of *EFG*.
*ABCD* is cyclic if and only if the point of intersection of the bimedians of *ABCD* belongs to the nine-point circle .^{
[9]}^{
[10]}^{
[2]}

## Area

The
area *K* of a cyclic quadrilateral with sides *a*, *b*, *c*, *d* is given by
Brahmagupta's formula^{
[8]}^{:p.24}

where *s*, the
semiperimeter, is *s* = 1/2(*a* + *b* + *c* + *d*). This is a
corollary of
Bretschneider's formula for the general quadrilateral, since opposite angles are supplementary in the cyclic case. If also *d* = 0, the cyclic quadrilateral becomes a triangle and the formula is reduced to
Heron's formula.

The cyclic quadrilateral has
maximal area among all quadrilaterals having the same side lengths (regardless of sequence). This is another corollary to Bretschneider's formula. It can also be proved using
calculus.^{
[11]}

Four unequal lengths, each less than the sum of the other three, are the sides of each of three non-congruent cyclic quadrilaterals,^{
[12]} which by Brahmagupta's formula all have the same area. Specifically, for sides *a*, *b*, *c*, and *d*, side *a* could be opposite any of side *b*, side *c*, or side *d*.

The area of a cyclic quadrilateral with successive sides *a*, *b*, *c*, *d* and angle *B* between sides *a* and *b* can be expressed as^{
[8]}^{:p.25}

or^{
[8]}^{:p.26}

where *θ* is either angle between the diagonals. Provided *A* is not a right angle, the area can also be expressed as^{
[8]}^{:p.26}

Another formula is^{
[13]}^{:p.83}

where *R* is the radius of the
circumcircle. As a direct consequence,^{
[14]}

where there is equality if and only if the quadrilateral is a square.

## Diagonals

In a cyclic quadrilateral with successive vertices *A*, *B*, *C*, *D* and sides *a* = *AB*, *b* = *BC*, *c* = *CD*, and *d* = *DA*, the lengths of the diagonals *p* = *AC* and *q* = *BD* can be expressed in terms of the sides as^{
[8]}^{:p.25,}^{
[15]}^{
[16]}^{:p. 84}

- and

so showing Ptolemy's theorem

According to *Ptolemy's second theorem*,^{
[8]}^{:p.25,}^{
[15]}

using the same notations as above.

For the sum of the diagonals we have the inequality^{
[17]}^{:p.123,#2975}

Equality holds if and only if the diagonals have equal length, which can be proved using the AM-GM inequality.

Moreover,^{
[17]}^{:p.64,#1639}

In any convex quadrilateral, the two diagonals together partition the quadrilateral into four triangles; in a cyclic quadrilateral, opposite pairs of these four triangles are similar to each other.

If *M* and *N* are the midpoints of the diagonals *AC* and *BD*, then^{
[18]}

where *E* and *F* are the intersection points of the extensions of opposite sides.

If *ABCD* is a cyclic quadrilateral where *AC* meets *BD* at *E*, then^{
[19]}

A set of sides that can form a cyclic quadrilateral can be arranged in any of three distinct sequences each of which can form a cyclic quadrilateral of the same area in the same circumcircle (the areas being the same according to Brahmagupta's area formula). Any two of these cyclic quadrilaterals have one diagonal length in common.^{
[16]}^{:p. 84}

## Angle formulas

For a cyclic quadrilateral with successive sides *a*, *b*, *c*, *d*,
semiperimeter *s*, and angle *A* between sides *a* and *d*, the
trigonometric functions of *A* are given by^{
[20]}

The angle *θ* between the diagonals satisfies^{
[8]}^{:p.26}

If the extensions of opposite sides *a* and *c* intersect at an angle *φ*, then

where *s* is the
semiperimeter.^{
[8]}^{:p.31}

## Parameshvara's circumradius formula

A cyclic quadrilateral with successive sides *a*, *b*, *c*, *d* and
semiperimeter *s* has the circumradius (the
radius of the
circumcircle) given by^{
[15]}^{
[21]}

This was derived by the Indian mathematician Vatasseri Parameshvara in the 15th century.

Using Brahmagupta's formula, Parameshvara's formula can be restated as

where *K* is the area of the cyclic quadrilateral.

## Anticenter and collinearities

Four line segments, each
perpendicular to one side of a cyclic quadrilateral and passing through the opposite side's
midpoint, are
concurrent.^{
[22]}^{:p.131;}^{
[23]} These line segments are called the *maltitudes*,^{
[24]} which is an abbreviation for midpoint altitude. Their common point is called the *anticenter*. It has the property of being the reflection of the
circumcenter in the
"vertex centroid". Thus in a cyclic quadrilateral, the circumcenter, the "vertex centroid", and the anticenter are
collinear.^{
[23]}

If the diagonals of a cyclic quadrilateral intersect at *P*, and the
midpoints of the diagonals are *M* and *N*, then the anticenter of the quadrilateral is the
orthocenter of
triangle *MNP*.

## Other properties

- In a cyclic quadrilateral
*ABCD*, the incenters*M*_{1},*M*_{2},*M*_{3},*M*_{4}(see the figure to the right) in triangles*DAB*,*ABC*,*BCD*, and*CDA*are the vertices of a rectangle. This is one of the theorems known as the Japanese theorem. The orthocenters of the same four triangles are the vertices of a quadrilateral congruent to*ABCD*, and the centroids in those four triangles are vertices of another cyclic quadrilateral.^{ [6]} - In a cyclic quadrilateral
*ABCD*with circumcenter*O*, let*P*be the point where the diagonals*AC*and*BD*intersect. Then angle*APB*is the arithmetic mean of the angles*AOB*and*COD*. This is a direct consequence of the inscribed angle theorem and the exterior angle theorem. - There are no cyclic quadrilaterals with rational area and with unequal rational sides in either
arithmetic or
geometric progression.
^{ [25]}

- If a cyclic quadrilateral has side lengths that form an arithmetic progression the quadrilateral is also ex-bicentric.
- If the opposite sides of a cyclic quadrilateral are extended to meet at
*E*and*F*, then the internal angle bisectors of the angles at*E*and*F*are perpendicular.^{ [12]}

## Brahmagupta quadrilaterals

A **Brahmagupta quadrilateral**^{
[26]} is a cyclic quadrilateral with integer sides, integer diagonals, and integer area. All Brahmagupta quadrilaterals with sides *a*, *b*, *c*, *d*, diagonals *e*, *f*, area *K*, and circumradius *R* can be obtained by
clearing denominators from the following expressions involving rational parameters *t*, *u*, and *v*:

## Orthodiagonal case

### Circumradius and area

For a cyclic quadrilateral that is also
orthodiagonal (has perpendicular diagonals), suppose the intersection of the diagonals divides one diagonal into segments of lengths *p*_{1} and *p*_{2} and divides the other diagonal into segments of lengths *q*_{1} and *q*_{2}. Then^{
[27]} (the first equality is Proposition 11 in
Archimedes' *
Book of Lemmas*)

where *D* is the
diameter of the
circumcircle. This holds because the diagonals are perpendicular
chords of a circle. These equations imply that the
circumradius *R* can be expressed as

or, in terms of the sides of the quadrilateral, as^{
[22]}

It also follows that^{
[22]}

Thus, according to
Euler's quadrilateral theorem, the circumradius can be expressed in terms of the diagonals *p* and *q*, and the distance *x* between the midpoints of the diagonals as

A formula for the
area *K* of a cyclic orthodiagonal quadrilateral in terms of the four sides is obtained directly when combining
Ptolemy's theorem and the formula for the
area of an orthodiagonal quadrilateral. The result is^{
[28]}^{:p.222}

### Other properties

- In a cyclic orthodiagonal quadrilateral, the
anticenter coincides with the point where the diagonals intersect.
^{ [22]} -
Brahmagupta's theorem states that for a cyclic quadrilateral that is also
orthodiagonal, the perpendicular from any side through the point of intersection of the diagonals bisects the opposite side.
^{ [22]} - If a cyclic quadrilateral is also orthodiagonal, the distance from the
circumcenter to any side equals half the length of the opposite side.
^{ [22]} - In a cyclic orthodiagonal quadrilateral, the distance between the midpoints of the diagonals equals the distance between the circumcenter and the point where the diagonals intersect.
^{ [22]}

## Cyclic spherical quadrilaterals

In
spherical geometry, a spherical quadrilateral formed from four intersecting greater circles is cyclic if and only if the summations of the opposite angles are equal, i.e., α + γ = β + δ for consecutive angles α, β, γ, δ of the quadrilateral.^{
[29]} One direction of this theorem was proved by I. A. Lexell in 1786. Lexell^{
[30]} showed that in a spherical quadrilateral inscribed in a small circle of a sphere the sums of opposite angles are equal, and that in the circumscribed quadrilateral the sums of opposite sides are equal. The first of these theorems is the spherical analogue of a plane theorem, and the second theorem is its dual, that is, the result of interchanging great circles and their poles.^{
[31]} Kiper et al.^{
[32]} proved a converse of the theorem: If the summations of the opposite sides are equal in a spherical quadrilateral, then there exists an inscribing circle for this quadrilateral.

## See also

## References

- ^
^{a}^{b}Usiskin, Zalman; Griffin, Jennifer; Witonsky, David; Willmore, Edwin (2008), "10. Cyclic quadrilaterals",*The Classification of Quadrilaterals: A Study of Definition*, Research in mathematics education, IAP, pp. 63–65, ISBN 978-1-59311-695-8 - ^
^{a}^{b}^{c}^{d}Fraivert, David; Sigler, Avi; Stupel, Moshe (2020), "Necessary and sufficient properties for a cyclic quadrilateral",*International Journal of Mathematical Education in Science and Technology*,**51**(6): 913–938, doi: 10.1080/0020739X.2019.1683772, S2CID 209930435 **^**Joyce, D. E. (June 1997), "Book 3, Proposition 22",*Euclid's Elements*, Clark University**^**Gregory, Duncan (1836), "Geometrical Theorem",*Cambridge Mathematical Journal*,**1**: 92.**^**Hajja, Mowaffaq (2008), "A condition for a circumscriptible quadrilateral to be cyclic" (PDF),*Forum Geometricorum*,**8**: 103–6- ^
^{a}^{b}Andreescu, Titu; Enescu, Bogdan (2004), "2.3 Cyclic quads",*Mathematical Olympiad Treasures*, Springer, pp. 44–46, 50, ISBN 978-0-8176-4305-8, MR 2025063 **^**Bradley, Christopher J. (2007),*The Algebra of Geometry: Cartesian, Areal and Projective Co-Ordinates*, Highperception, p. 179, ISBN 978-1906338008, OCLC 213434422- ^
^{a}^{b}^{c}^{d}^{e}^{f}^{g}^{h}^{i}Durell, C. V.; Robson, A. (2003) [1930],*Advanced Trigonometry*, Courier Dover, ISBN 978-0-486-43229-8 **^**Fraivert, David (July 2019). "New points that belong to the nine-point circle".*The Mathematical Gazette*.**103**(557): 222–232. doi: 10.1017/mag.2019.53.**^**Fraivert, David (2018). "New applications of method of complex numbers in the geometry of cyclic quadrilaterals" (PDF).*International Journal of Geometry*.**7**(1): 5–16.**^**Peter, Thomas (September 2003), "Maximizing the area of a quadrilateral",*The College Mathematics Journal*,**34**(4): 315–6, doi: 10.2307/3595770, JSTOR 3595770- ^
^{a}^{b}Coxeter, Harold Scott MacDonald; Greitzer, Samuel L. (1967), "3.2 Cyclic Quadrangles; Brahmagupta's formula",*Geometry Revisited*, Mathematical Association of America, pp. 57, 60, ISBN 978-0-88385-619-2 **^**Prasolov, Viktor,*Problems in plane and solid geometry: v.1 Plane Geometry*(PDF), archived from the original (PDF) on September 21, 2018, retrieved November 6, 2011**^**Alsina, Claudi; Nelsen, Roger (2009), "4.3 Cyclic, tangential, and bicentric quadrilaterals",*When Less is More: Visualizing Basic Inequalities*, Mathematical Association of America, p. 64, ISBN 978-0-88385-342-9- ^
^{a}^{b}^{c}Alsina, Claudi; Nelsen, Roger B. (2007), "On the diagonals of a cyclic quadrilateral" (PDF),*Forum Geometricorum*,**7**: 147–9 - ^
^{a}^{b}Johnson, Roger A.,*Advanced Euclidean Geometry*, Dover Publ., 2007 (orig. 1929). - ^
^{a}^{b}*Inequalities proposed in " Crux Mathematicorum"*, 2007, [1]. **^**"*ABCD*is a cyclic quadrilateral. Let*M*,*N*be midpoints of diagonals*AC*,*BD*respectively..."*Art of Problem Solving*. 2010.**^**A. Bogomolny, An Identity in (Cyclic) Quadrilaterals,*Interactive Mathematics Miscellany and Puzzles*, [2], Accessed 18 March 2014.**^**Siddons, A. W.; Hughes, R. T. (1929),*Trigonometry*, Cambridge University Press, p. 202, OCLC 429528983**^**Hoehn, Larry (March 2000), "Circumradius of a cyclic quadrilateral",*Mathematical Gazette*,**84**(499): 69–70, doi: 10.2307/3621477, JSTOR 3621477- ^
^{a}^{b}^{c}^{d}^{e}^{f}^{g}Altshiller-Court, Nathan (2007) [1952],*College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle*(2nd ed.), Courier Dover, pp. 131, 137–8, ISBN 978-0-486-45805-2, OCLC 78063045 - ^
^{a}^{b}Honsberger, Ross (1995), "4.2 Cyclic quadrilaterals",*Episodes in Nineteenth and Twentieth Century Euclidean Geometry*, New Mathematical Library,**37**, Cambridge University Press, pp. 35–39, ISBN 978-0-88385-639-0 **^**Weisstein, Eric W. "Maltitude".*MathWorld*.**^**Buchholz, R. H.; MacDougall, J. A. (1999), "Heron quadrilaterals with sides in arithmetic or geometric progression",*Bulletin of the Australian Mathematical Society*,**59**(2): 263–9, doi: 10.1017/S0004972700032883, MR 1680787**^**Sastry, K.R.S. (2002). "Brahmagupta quadrilaterals" (PDF).*Forum Geometricorum*.**2**: 167–173.**^**Posamentier, Alfred S.; Salkind, Charles T. (1970), "Solutions: 4-23 Prove that the sum of the squares of the measures of the segments made by two perpendicular chords is equal to the square of the measure of the diameter of the given circle.",*Challenging Problems in Geometry*(2nd ed.), Courier Dover, pp. 104–5, ISBN 978-0-486-69154-1**^**Josefsson, Martin (2016), "Properties of Pythagorean quadrilaterals",*The Mathematical Gazette*,**100**(July): 213–224, doi: 10.1017/mag.2016.57.**^**Wimmer, Lienhard (2011). "Cyclic polygons in non-Euclidean geometry".*Elemente der Mathematik*.**66**(2): 74–82. doi: 10.4171/EM/173.**^**Lexell, A. J. (1786). "De proprietatibus circulorum in superficie sphaerica descriptorum".*Acta Acad. Sci. Petropol*.**6**(1): 58–103.**^**Rosenfeld, B. A. (1988).*A History of Non-Euclidean Geometry - Springer*. Studies in the History of Mathematics and Physical Sciences.**12**. doi: 10.1007/978-1-4419-8680-1. ISBN 978-1-4612-6449-1.**^**Kiper, Gökhan; Söylemez, Eres (May 1, 2012). "Homothetic Jitterbug-like linkages".*Mechanism and Machine Theory*.**51**: 145–158. doi: 10.1016/j.mechmachtheory.2011.11.014.