
Ingeometry, acyclic quadrilateral orinscribed quadrilateral is aquadrilateral (four-sidedpolygon) whosevertices all lie on a singlecircle, making the sideschords of the circle. This circle is called thecircumcircle orcircumscribed circle, and the vertices are said to beconcyclic. The center of the circle and its radius are called thecircumcenter and thecircumradius respectively. Usually the quadrilateral is assumed to beconvex, but there are alsocrossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.
The word cyclic is from theAncient Greekκύκλος (kuklos), which means "circle" or "wheel".
Alltriangles have acircumcircle, but not all quadrilaterals do. An example of a quadrilateral that cannot be cyclic is a non-squarerhombus. The sectioncharacterizations below states whatnecessary and sufficient conditions a quadrilateral must satisfy to have a circumcircle.
Anysquare,rectangle,isosceles trapezoid, orantiparallelogram is cyclic. Akite is cyclicif and only if it has two right angles – aright kite. Abicentric quadrilateral is a cyclic quadrilateral that is alsotangential and anex-bicentric quadrilateral is a cyclic quadrilateral that is alsoex-tangential. Aharmonic quadrilateral is a cyclic quadrilateral in which the product of the lengths of opposite sides are equal.

A convex quadrilateral is cyclicif and only if the fourperpendicular bisectors to the sides areconcurrent. This common point is thecircumcenter.[1]

A convex quadrilateralABCD is cyclic if and only if its opposite angles aresupplementary, that is[1][2]
The direct theorem was Proposition 22 in Book 3 ofEuclid'sElements.[3] Equivalently, a convex quadrilateral is cyclic if and only if eachexterior angle is equal to the oppositeinterior angle.
In 1836Duncan Gregory generalized this result as follows: Given any convex cyclic2n-gon, then the two sums ofalternate interior angles are each equal to.[4] This result can be further generalized as follows: lfA1A2...A2n(n > 1) is any cyclic2n-gon in which vertexAi →Ai+k (vertexAi is joined toAi+k), then the two sums of alternate interior angles are each equal tomπ (wherem =n −k andk = 1, 2, 3, ... is the total turning).[5]
Taking the stereographic projection (half-angle tangent) of each angle, this can be re-expressed,
Which implies that[6]
A convex quadrilateralABCD is cyclic if and only if an angle between a side and adiagonal is equal to the angle between the opposite side and the other diagonal.[7] That is, for example,

Other necessary and sufficient conditions for a convex quadrilateralABCD to be cyclic are: letE be the point of intersection of the diagonals, letF be the intersection point of the extensions of the sidesAD andBC, let be a circle whose diameter is the segment,EF, and letP andQ bePascal points on sidesAB andCD formed by the circle.
(1)ABCD is a cyclic quadrilateral if and only if pointsP andQ are collinear with the centerO, of circle.
(2)ABCD is a cyclic quadrilateral if and only if pointsP andQ are the midpoints of sidesAB andCD.[2]
If two lines, one containing segmentAC and the other containing segmentBD, intersect atE, then the four pointsA,B,C,D are concyclic if and only if[8]The intersectionE may be internal or external to the circle. In the former case, the cyclic quadrilateral isABCD, and in the latter case, the cyclic quadrilateral isABDC. When the intersection is internal, the equality states that the product of the segment lengths into whichE divides one diagonal equals that of the other diagonal. This is known as theintersecting chords theorem since the diagonals of the cyclic quadrilateral are chords of the circumcircle.
Ptolemy's theorem expresses the product of the lengths of the two diagonalse andf of a cyclic quadrilateral as equal to the sum of the products of opposite sides:[9]: p.25 [2]
wherea,b,c,d are the side lengths in order. Theconverse is also true. That is, if this equation is satisfied in a convex quadrilateral, then a cyclic quadrilateral is formed.

In a convex quadrilateralABCD, letEFG be the diagonal triangle ofABCD and let be the nine-point circle ofEFG.ABCD is cyclic if and only if the point of intersection of the bimedians ofABCD belongs to the nine-point circle.[10][11][2]
TheareaK of a cyclic quadrilateral with sidesa,b,c,d is given byBrahmagupta's formula[9]: p.24
wheres, thesemiperimeter, iss =1/2(a +b +c +d). This is acorollary ofBretschneider's formula for the general quadrilateral, since opposite angles are supplementary in the cyclic case. If alsod = 0, the cyclic quadrilateral becomes a triangle and the formula is reduced toHeron's formula.
The cyclic quadrilateral hasmaximal 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 usingcalculus.[12]
Four unequal lengths, each less than the sum of the other three, are the sides of each of three non-congruent cyclic quadrilaterals,[13] which by Brahmagupta's formula all have the same area. Specifically, for sidesa,b,c, andd, sidea could be opposite any of sideb, sidec, or sided.
The area of a cyclic quadrilateral with successive sidesa,b,c,d, angleA between sidesa andd, and angleB between sidesa andb can be expressed as[9]: p.25
or
or[9]: p.26
whereθ is either angle between the diagonals. ProvidedA is not a right angle, the area can also be expressed as[9]: p.26
Another formula is[14]: p.83
whereR is the radius of thecircumcircle. As a direct consequence,[15]
where there is equality if and only if the quadrilateral is a square.
In a cyclic quadrilateral with successive verticesA,B,C,D and sidesa =AB,b =BC,c =CD, andd =DA, the lengths of the diagonalsp =AC andq =BD can be expressed in terms of the sides as[9]: p.25, [16][17]: p. 84
and
so showingPtolemy's theorem
According toPtolemy's second theorem,[9]: p.25, [16]
using the same notations as above.
For the sum of the diagonals we have the inequality[18]: p.123, #2975
Equality holdsif and only if the diagonals have equal length, which can be proved using theAM-GM inequality.
Moreover,[18]: 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 aresimilar to each other.
IfABCD is a cyclic quadrilateral whereAC meetsBD atE, 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.[17]: p. 84
For a cyclic quadrilateral with successive sidesa,b,c,d,semiperimeters, and angleA between sidesa andd, thetrigonometric functions ofA are given by[20]
The angleθ between the diagonals that is opposite sidesa andc satisfies[9]: p.26
If the extensions of opposite sidesa andc intersect at an angleφ, then
wheres is thesemiperimeter.[9]: p.31
A generalization ofMollweide's formula to cyclic quadrilaterals is given by the following two identities. Let denote the angle between sides and, the angle between and, and the angle between and. If is the point of intersection of the diagonals, denote, then:[21]
Moreover, a generalization of thelaw of tangents for cyclic quadrilaterals is:[22]
A cyclic quadrilateral with successive sidesa,b,c,d andsemiperimeters has the circumradius (theradius of thecircumcircle) given by[16][23]
This was derived by the Indian mathematician VatasseriParameshvara in the 15th century. (Note that the radius is invariant under the interchange of any side lengths.)
UsingBrahmagupta's formula, Parameshvara's formula can be restated as
whereK is the area of the cyclic quadrilateral.
Four line segments, eachperpendicular to one side of a cyclic quadrilateral and passing through the opposite side'smidpoint, areconcurrent.[24]: p.131, [25] These line segments are called themaltitudes,[26] which is an abbreviation for midpoint altitude. Their common point is called theanticenter. It has the property of being the reflection of thecircumcenter in the"vertex centroid". Thus in a cyclic quadrilateral, the circumcenter, the "vertex centroid", and the anticenter arecollinear.[25]
If the diagonals of a cyclic quadrilateral intersect atP, and themidpoints of the diagonals areM andN, then the anticenter of the quadrilateral is theorthocenter oftriangleMNP.
The anticenter of a cyclic quadrilateral is thePoncelet point of its vertices.

ABrahmagupta quadrilateral[28] is a cyclic quadrilateral with integer sides, integer diagonals, and integer area. It is aprimitive Brahmagupta quadrilateral if no smallergeometrically similar quadrilateral has all these values as integers. Quadrilaterals whose side lengths, diagonals, and areas are allrational numbers are calledrational Brahmagupta quadrilaterals in this article. Every primitive Brahmagupta quadrilateral is a rational Brahmagupta quadrilateral. Conversely, every rational Brahmagupta quadrilateral is geometrically similar to exactly one primitive Brahmagupta quadrilateral.
All primitive Brahmagupta quadrilaterals can be obtained from the following expressions involving rational parameterst,u, andv. The computed side lengthsa,b,c,d, diagonalse,f, areaK, and circumradiusR will be rational numbers. These can be scaled to produce a unique primitive Brahmagupta quadrilateral; note thatK is an area and will be scaled by the square of the value that multiplies the other quantities. The Brahmagupta quadrilateral will be non-self-intersecting and non-degenerate ifmin(u,v) >t > 0.
SeeConcyclic points § Integer area and side lengths for a different parameterization of all non-degenerate primitive Brahmagupta quadrilaterals, which depends upon rational numbers,0 <c1 <c2 <c3.
For a cyclic quadrilateral that is alsoorthodiagonal (has perpendicular diagonals), suppose the intersection of the diagonals divides one diagonal into segments of lengthsp1 andp2 and divides the other diagonal into segments of lengthsq1 andq2. Then[29] (the first equality is Proposition 11 inArchimedes'Book of Lemmas)
whereD is thediameter of thecircumcircle. This holds because the diagonals are perpendicularchords of a circle. These equations imply that thecircumradiusR can be expressed as
or, in terms of the sides of the quadrilateral, as[24]
It also follows that[24]
Thus, according toEuler's quadrilateral theorem, the circumradius can be expressed in terms of the diagonalsp andq, and the distancex between the midpoints of the diagonals as
A formula for theareaK of a cyclic orthodiagonal quadrilateral in terms of the four sides is obtained directly when combiningPtolemy's theorem and the formula for thearea of an orthodiagonal quadrilateral. The result is[30]: p.222
Inspherical 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.[31] One direction of this theorem was proved byAnders Johan Lexell in 1782.[32] Lexell 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.[33] Kiper et al.[34] 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.