Cyclic quadrilateral

Examples of cyclic quadrilaterals.

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.

1 Special cases
2 Characterizations
3 Area
4 Diagonals
5 Angle formulas
6 Parameshvara's formula
7 Anticenter and collinearities
8 Other properties
9 Brahmagupta quadrilaterals
10 Properties of cyclic quadrilaterals that are also orthodiagonal
- 10.1 Circumradius and area
- 10.2 Other properties
11 See also
12 References
13 External links

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.

Characterizations

File:Sehnenviereck2.PNG

A cyclic quadrilateral ABCD

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]

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

\alpha + \gamma = \beta + \delta = \pi = 180^{\circ}.

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

Another necessary and sufficient condition for a convex quadrilateral $ABCD$ to be cyclic is that an angle between a side and a diagonal is equal to the angle between the opposite side and the other diagonal.^[3] That is, for example,

\angle ACB = \angle ADB.

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:^[4]^:p.25

\displaystyle ef = ac + bd.

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

If two lines, one containing segment $AC$ and the other containing segment $BD$ , intersect at $X$ , then the four points $A$ , $B$ , $C$ , $D$ are concyclic if and only if^[5]

\displaystyle AX\cdot XC = BX\cdot XD.

The intersection $X$ 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 $X$ 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.

Yet another characterization is that a convex quadrilateral $ABCD$ is cyclic if and only if^[6]

\tan{\frac{\alpha}{2}}\tan{\frac{\gamma}{2}}=\tan{\frac{\beta}{2}}\tan{\frac{\delta}{2}}=1.

Area

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

K=\sqrt{(s-a)(s-b)(s-c)(s-d)} \,

where $s$ , the semiperimeter, is $s = <templatestyles src="Sfrac/styles.css" />1/2(a + b + c + d)$ . It is a corollary to Bretschneider's formula since opposite angles are supplementary. 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 sequence of side lengths. This is another corollary to Bretschneider's formula. It can also be proved using calculus.^[7]

Four unequal lengths, each less than the sum of the other three, are the sides of each of three non-congruent cyclic quadrilaterals,^[8] 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^[4]^:p.25

K = \tfrac{1}{2}(ab+cd)\sin{B}

or^[4]^:p.26

K = \tfrac{1}{2}(ac+bd)\sin{\theta}

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

K = \tfrac{1}{4}(a^2-b^2-c^2+d^2)\tan{A}.

Another formula is^[9]^:p.83

\displaystyle K=2R^2\sin{A}\sin{B}\sin{\theta}

where $R$ is the radius of the circumcircle. As a direct consequence,^[10]

K\le 2R^2

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^[4]^:p.25,^[11]^[12]^{:p. 84}

p = \sqrt{\frac{(ac+bd)(ad+bc)}{ab+cd}}

and

q = \sqrt{\frac{(ac+bd)(ab+cd)}{ad+bc}}

so showing Ptolemy's theorem

pq = ac+bd.

According to Ptolemy's second theorem,^[4]^:p.25,^[11]

\frac {p}{q}= \frac{ad+bc}{ab+cd}

using the same notations as above.

For the sum of the diagonals we have the inequality^[13]

p+q\ge 2\sqrt{ac+bd}.

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

Moreover,^[14]^:p.64,#1639

(p+q)^2 \leq (a+c)^2+(b+d)^2.

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^[15]

\frac{MN}{EF}=\frac{1}{2}\left |\frac{AC}{BD}-\frac{BD}{AC}\right|

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^[16]

\frac{AE}{CE}=\frac{AB}{CB}\cdot\frac{AD}{CD}.

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.^[12]^{: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^[17]

\cos A = \frac{a^2 + d^2 - b^2 - c^2}{2(ad + bc)},

\sin A = \frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{(ad+bc)},

\tan \frac{A}{2} = \sqrt{\frac{(s-a)(s-d)}{(s-b)(s-c)}}.

The angle $θ$ between the diagonals satisfies^[4]^:p.26

\tan \frac{\theta}{2} = \sqrt{\frac{(s-b)(s-d)}{(s-a)(s-c)}}.

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

\cos{\frac{\varphi}{2}}=\sqrt{\frac{(s-b)(s-d)(b+d)^2}{(ab+cd)(ad+bc)}}

where $s$ is the semiperimeter.^[4]^:p.31

Parameshvara's formula

A cyclic quadrilateral with successive sides $a$ , $b$ , $c$ , $d$ and semiperimeter $s$ has the circumradius (the radius of the circumcircle) given by^[11]^[18]

R=\frac{1}{4} \sqrt{\frac{(ab+cd)(ac+bd)(ad+bc)}{(s-a)(s-b)(s-c)(s-d)}}.

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

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

4KR=\sqrt{(ab+cd)(ac+bd)(ad+bc)}

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.^[19]^:p.131;^[20] These line segments are called the maltitudes,^[21] 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.^[20]

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$ . The vertex centroid is the midpoint of the line segment joining the midpoints of the diagonals.^[20]

In a cyclic quadrilateral, the "area centroid" $G a$ , the "vertex centroid" $G v$ , and the intersection $P$ of the diagonals are collinear. The distances between these points satisfy^[22]

PG_a = \tfrac{4}{3}PG_v.

Other properties

File:Japanese theorem 2.svg

Japanese theorem

In a cyclic quadrilateral $ABCD$ , the incenters in triangles $ABC$ , $BCD$ , $CDA$ , and $DAB$ 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.^[3]
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.^[23]

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.^[8]

Brahmagupta quadrilaterals

A Brahmagupta quadrilateral^[24] 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$ :

a=[t(u+v)+(1-uv)][u+v-t(1-uv)]

b=(1+u^2)(v-t)(1+tv)

c=t(1+u^2)(1+v^2)

d=(1+v^2)(u-t)(1+tu)

e=u(1+t^2)(1+v^2)

f=v(1+t^2)(1+u^2)

K=uv[2t(1-uv)-(u+v)(1-t^2)][2(u+v)t+(1-uv)(1-t^2)]

4R=(1+u^2)(1+v^2)(1+t^2).

Properties of cyclic quadrilaterals that are also orthodiagonal

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^[25] (the first equality is Proposition 11 in Archimedes' Book of Lemmas)

D^2=p_1^2+p_2^2+q_1^2+q_2^2=a^2+c^2=b^2+d^2

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

R=\tfrac{1}{2}\sqrt{p_1^2+p_2^2+q_1^2+q_2^2}

or, in terms of the sides of the quadrilateral, as

R=\tfrac{1}{2}\sqrt{a^2+c^2}=\tfrac{1}{2}\sqrt{b^2+d^2}.

It also follows that

a^2+b^2+c^2+d^2=8R^2.

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

R=\sqrt{\frac{p^2+q^2+4x^2}{8}}.

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

K=\tfrac{1}{2}(ac+bd).

Other properties

In a cyclic orthodiagonal quadrilateral, the anticenter coincides with the point where the diagonals intersect.^[19]
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.^[19]
If a cyclic quadrilateral is also orthodiagonal, the distance from the circumcenter to any side equals half the length of the opposite side.^[19]
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.^[19]

References

↑ ^1.0 ^1.1 Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ ^3.0 ^3.1 Lua error in package.lua at line 80: module 'strict' not found.
↑ ^4.0 ^4.1 ^4.2 ^4.3 ^4.4 ^4.5 ^4.6 ^4.7 ^4.8 Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ ^8.0 ^8.1 Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ ^11.0 ^11.1 ^11.2 Lua error in package.lua at line 80: module 'strict' not found.
↑ ^12.0 ^12.1 Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ., 2007 (orig. 1929).
↑ Inequalities proposed in Crux Mathematicorum, 2007, Problem 2975, p. 123
↑ Inequalities proposed in "Crux Mathematicorum", [1].
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ A. Bogomolny, An Identity in (Cyclic) Quadrilaterals, Interactive Mathematics Miscellany and Puzzles, [2], Accessed 18 March 2014.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ ^19.0 ^19.1 ^19.2 ^19.3 ^19.4 Lua error in package.lua at line 80: module 'strict' not found.
↑ ^20.0 ^20.1 ^20.2 Lua error in package.lua at line 80: module 'strict' not found.
↑ Weisstein, Eric W., "Maltitude", MathWorld.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.
↑ Lua error in package.lua at line 80: module 'strict' not found.

External links

Derivation of Formula for the Area of Cyclic Quadrilateral
Incenters in Cyclic Quadrilateral at cut-the-knot
Four Concurrent Lines in a Cyclic Quadrilateral at cut-the-knot
Weisstein, Eric W., "Cyclic quadrilateral", MathWorld.
Euler centre and maltitudes of cyclic quadrilateral at Dynamic Geometry Sketches, interactive dynamic geometry sketch.

[Usiskin-1] 1.0 ^1.1 Lua error in package.lua at line 80: module 'strict' not found.

[2] Lua error in package.lua at line 80: module 'strict' not found.

[Andreescu-3] 3.0 ^3.1 Lua error in package.lua at line 80: module 'strict' not found.

[Durell-4] 4.0 ^4.1 ^4.2 ^4.3 ^4.4 ^4.5 ^4.6 ^4.7 ^4.8 Lua error in package.lua at line 80: module 'strict' not found.

[5] Lua error in package.lua at line 80: module 'strict' not found.

[6] Lua error in package.lua at line 80: module 'strict' not found.

[7] Lua error in package.lua at line 80: module 'strict' not found.

[Coxeter-8] 8.0 ^8.1 Lua error in package.lua at line 80: module 'strict' not found.

[9] Lua error in package.lua at line 80: module 'strict' not found.

[Alsina-10] Lua error in package.lua at line 80: module 'strict' not found.

[Alsina2-11] 11.0 ^11.1 ^11.2 Lua error in package.lua at line 80: module 'strict' not found.

[Johnson-12] 12.0 ^12.1 Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ., 2007 (orig. 1929).

[Crux-13] Inequalities proposed in Crux Mathematicorum, 2007, Problem 2975, p. 123

[Crux2-14] Inequalities proposed in "Crux Mathematicorum", [1].

[15] Lua error in package.lua at line 80: module 'strict' not found.

[16] A. Bogomolny, An Identity in (Cyclic) Quadrilaterals, Interactive Mathematics Miscellany and Puzzles, [2], Accessed 18 March 2014.

[17] Lua error in package.lua at line 80: module 'strict' not found.

[18] Lua error in package.lua at line 80: module 'strict' not found.

[Altshiller-Court-19] 19.0 ^19.1 ^19.2 ^19.3 ^19.4 Lua error in package.lua at line 80: module 'strict' not found.

[Honsberger-20] 20.0 ^20.1 ^20.2 Lua error in package.lua at line 80: module 'strict' not found.

[21] Weisstein, Eric W., "Maltitude", MathWorld.

[22] Lua error in package.lua at line 80: module 'strict' not found.

[Buchholz-23] Lua error in package.lua at line 80: module 'strict' not found.

[24] Lua error in package.lua at line 80: module 'strict' not found.

[25] Lua error in package.lua at line 80: module 'strict' not found.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

Cyclic quadrilateral

Contents

Special cases

Characterizations

Area

Diagonals

Angle formulas

Parameshvara's formula

Anticenter and collinearities

Other properties

Brahmagupta quadrilaterals

Properties of cyclic quadrilaterals that are also orthodiagonal

Circumradius and area

Other properties

See also

References

External links

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools