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 s 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.

Supplementary angles

A convex quadrilateral is cyclic if and only if its opposite angles are supplementary, that is
The direct theorem was Proposition 22 in Book 3 of Euclid's Elements. Equivalently, a convex quadrilateral is cyclic if and only if each exterior angle is equal to the opposite interior angle.

Angles between sides and diagonals

A convex quadrilateral 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. That is, for example,

Pascal Points

Another necessary and sufficient conditions for a convex quadrilateral to be cyclic are: let be the point of intersection of the diagonals, let be the intersection point of the extensions of the sides and, let be a circle whose diameter is the segment,, and let and be Pascal points on sides and formed by the circle.
is a cyclic quadrilateral if and only if points and are collinear with the center, of circle.
is a cyclic quadrilateral if and only if points and are the midpoints of sides and.

Intersection of diagonals

If two lines, one containing segment and the other containing segment, intersect at, then the four points,,, are concyclic if and only if
The intersection may be internal or external to the circle. In the former case, the cyclic quadrilateral is, and in the latter case, the cyclic quadrilateral is. When the intersection is internal, the equality states that the product of the segment lengths into which 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

expresses the product of the lengths of the two diagonals and of a cyclic quadrilateral as equal to the sum of the products of opposite sides:
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, let be the diagonal triangle of and let be the nine-point circle of.
is cyclic if and only if the point of intersection of the bimedians of belongs to the nine-point circle.

Tangent products

A convex quadrilateral is cyclic if and only if

Area

The area of a cyclic quadrilateral with sides,,, is given by Brahmagupta's formula
where, the semiperimeter, is. This is a corollary of Bretschneider's formula for the general quadrilateral, since opposite angles are supplementary in the cyclic case. If also, 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 sequence of side lengths. This is another corollary to Bretschneider's formula. It can also be proved using calculus.
Four unequal lengths, each less than the sum of the other three, are the sides of each of three non-congruent cyclic quadrilaterals, which by Brahmagupta's formula all have the same area. Specifically, for sides,,, and, side could be opposite any of side, side, or side.
The area of a cyclic quadrilateral with successive sides,,, and angle between sides and can be expressed as
or
where is either angle between the diagonals. Provided is not a right angle, the area can also be expressed as
Another formula is
where is the radius of the circumcircle. As a direct consequence,
where there is equality if and only if the quadrilateral is a square.

Diagonals

In a cyclic quadrilateral with successive vertices,,, and sides,,, and, the lengths of the diagonals and can be expressed in terms of the sides as
so showing Ptolemy's theorem
According to Ptolemy's second theorem,
using the same notations as above.
For the sum of the diagonals we have the inequality
Equality holds if and only if the diagonals have equal length, which can be proved using the AM-GM inequality.
Moreover,
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 and are the midpoints of the diagonals and, then
where and are the intersection points of the extensions of opposite sides.
If is a cyclic quadrilateral where meets at, then
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. Any two of these cyclic quadrilaterals have one diagonal length in common.

Angle formulas

For a cyclic quadrilateral with successive sides,,,, semiperimeter, and angle between sides and, the trigonometric functions of are given by
The angle between the diagonals satisfies
If the extensions of opposite sides and intersect at an angle, then
where is the semiperimeter.

Parameshvara's circumradius formula

A cyclic quadrilateral with successive sides,,, and semiperimeter has the circumradius given by
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 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. These line segments are called the maltitudes, 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.
If the diagonals of a cyclic quadrilateral intersect at, and the midpoints of the diagonals are and, then the anticenter of the quadrilateral is the orthocenter of triangle.

Other properties

A Brahmagupta quadrilateral is a cyclic quadrilateral with integer sides, integer diagonals, and integer area. All Brahmagupta quadrilaterals with sides,,,, diagonals,, area, and circumradius can be obtained by clearing denominators from the following expressions involving rational parameters,, and :

Orthodiagonal case

Circumradius and area

For a cyclic quadrilateral that is also orthodiagonal, suppose the intersection of the diagonals divides one diagonal into segments of lengths and and divides the other diagonal into segments of lengths and. Then
where is the diameter of the circumcircle. This holds because the diagonals are perpendicular chords of a circle. These equations imply that the circumradius can be expressed as
or, in terms of the sides of the quadrilateral, as
It also follows that
Thus, according to Euler's quadrilateral theorem, the circumradius can be expressed in terms of the diagonals and, and the distance between the midpoints of the diagonals as
A formula for the area 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

Other properties

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. One direction of this theorem was proved by I. A. Lexell in 1786. 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. Kiper et al. 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.