Cyclic Quadrilaterals
Acyclic quadrilateralis aquadrilateralthat can be inscribed in a circle, meaning that there exists a circle that passes through all four vertices of the quadrilateral.
Cyclic quadrilaterals are useful in various types ofgeometryproblems, particularly those in whichangle chasingis required. It is not unusual, for instance, to intentionally add points (and lines) to diagrams in order to exploit the properties of cyclic quadrilaterals.
Properties of Angles
The angles of cyclic quadrilaterals satisfy several important relations, as they are allinscribed anglesof thecircumcircle. More specifically, by the inscribed angle theorem,
\[\begin{array}{lllll} &\angle ADB = \frac{\overset{\frown}{ACB}}{2}, &\angle DBC = \frac{\overset{\frown}{CAD}}{2}, &\angle BCA = \frac{\overset{\frown}{ADB}}{2}, &\angle CAD = \frac{\overset{\frown}{DBC}}{2},\\\\ & &\angle ABC = \frac{\overset{\frown}{AC}}{2}, &\angle ABD = \frac{\overset{\frown}{AD}}{2},&&\\ & &\angle DCA = \frac{\overset{\frown}{DA}}{2}, &\angle DCB = \frac{\overset{\frown}{DB}}{2},&&\\ & &\angle BAD = \frac{\overset{\frown}{BD}}{2}, &\angle BAC = \frac{\overset{\frown}{BC}}{2},&&\\ & &\angle CDB = \frac{\overset{\frown}{CB}}{2}, &\angle CDA = \frac{\overset{\frown}{CA}}{2},&& \end{array}\]
which leads to the following two results:
Opposite Angles
The opposite angles of a cyclic quadrilateral add to \(180^{\circ}\), or \(\pi\) radians.
Diagonal Angles
In a cyclic quadrilateral \(ACBD\), we have
\[\angle ABC = \angle ADC\]
and similar relations \((\)e.g. \(\angle BCD = \angle BAD).\)
These can both be directly verified from the above angle equalities.
Also recall that \(\overset{\frown}{AB} = \angle AOB\), where \(O\) is the center of the circle, by the inscribed angle theorem. This can also lead to useful information, if the center of the circumcircle is relevant.
Properties of Lengths
The sides and diagonals of a cyclic quadrilateral are closely related:
In cyclic quadrilateral \(ACBD\),
\[AB \cdot CD = AC \cdot BD + BC \cdot AD.\]
In other words, the product of the lengths of the diagonals is equal to the sum of the products of opposite sides.
In fact, it is true ofany四边形,
\[AB \cdot CD \leq AC \cdot BD + BC \cdot AD,\]
meaning that the cyclic quadrilateral is the equality case of this inequality.
In fact, more can be said about the diagonals: if \(a,b,c,d\) are the lengths of the sides of the quadrilateral (in clockwise order),
\[\begin{align} p&=\sqrt{\frac {(ab+cd)(ac+bd)}{ad+bc}}\\ q&=\sqrt{\frac {(ac+bd)(ad+bc)}{ab+cd}}, \end{align}\]
which also demonstrates Ptolemy's theorem.
The cyclic quadrilateral is the equality case of another inequality: given four side lengths, the cyclic quadrilateral maximizes the resulting area.
Let a cyclic quadrilateral have side lengths \(a,b,c,d\), and let \(s=\frac{a+b+c+d}{2}\) be called thesemiperimeter. Then the area of the quadrilateral is equal to
\[\sqrt{(s-a)(s-b)(s-c)(s-d)}.\]
It is worth noting that in thedegeneratecase where one side length is zero, the above formula reduces toHeron's formulafor triangles. Both of these are special cases ofBretschneider's formula.
The area is then given by a special case ofBretschneider's formula.
Problems
Here are few well-known problems which use the basic properties of cyclic quadrilaterals. They are mainly of Olympiad flavor and are solvable by elementary methods.
Problem 1.Let \(E\) and \(F\) be two points on side \(BC\) and \(CD\) of square \(ABCD\), such that \(\angle EAF=\ang{45}\). Let \(M\) and \(N\) be the intersection of diagonal \(BD\) with \(AE\) and \(AF,\) respectively. Let \(P\) be the intersection of \(MF\) and \(NE\). Prove that \(AP\) is perpendicular to \(EF\).
Problem 2.\(\triangle ABC\) is inscribed in the circle centered at \(O\) such that the angles \(\angle B\) and \(\angle C\) are acute. If \(H\) is its orthocenter, then prove that \(\angle BAH= \angle CAO\).
Problem 3.Let \(D, E,\) and \(F\) be the feet of the altitudes of \(\triangle ABC.\) Prove that the altitudes of \(\triangle ABC\) are the angle bisectors of \(\triangle DEF.\)