Cyclic Quadrilaterals
A cyclic quadrilateral is a quadrilateral whose four vertices all lie on a single circle. Such a figure has a special angle property: opposite interior angles sum to . Equally beautiful is the converse: any quadrilateral whose opposite angles sum to is cyclic. This pair of theorems closes the chapter.
Definition
A cyclic quadrilateral is a quadrilateral whose four vertices lie on a common circle. The circle is the circumscribed circle (or simply, the circumcircle) of the quadrilateral.
Every triangle has a circumscribed circle (the perpendicular bisectors of two sides meet at the centre). But not every quadrilateral is cyclic , only those satisfying the opposite-angle condition.
The theorem and its converse
Theorem. In a cyclic quadrilateral, opposite angles sum to .
In symbols: in cyclic quadrilateral , and .
Converse. If the opposite angles of a quadrilateral sum to , then the quadrilateral is cyclic.
Proof of the theorem
Given. Cyclic quadrilateral inscribed in a circle with centre .
To prove. .
Proof. is an inscribed angle subtending arc (the arc not containing ). is an inscribed angle subtending arc (the arc not containing ).
By the angle-at-centre theorem,
The two arcs together make up the entire circle, so their central angles sum to . Therefore
Q.E.D.
The proof is one line of arithmetic once the central-angle theorem is in hand.
Proof of the converse
The converse is more subtle. Sketch: suppose . Draw the circle through (three non-collinear points determine a unique circle). Let be the point where line (or some chosen path) meets the circle. The angle at on the circle satisfies by Theorem 1. But also, so . This forces , i.e. is on the circle. Thus is cyclic.
Three useful applications
Application 1: Constructing a circumcircle. If a quadrilateral's opposite angles sum to , you can construct a single circle through all four vertices. Otherwise, no such circle exists.
Application 2: A rectangle is cyclic. All four angles are . Opposite angles sum to . So every rectangle is cyclic. The same holds for any square.
Application 3: An isosceles trapezium is cyclic. This is a slightly subtle fact: in an isosceles trapezium, the base angles are equal, and the angle conditions can be verified to give opposite angles summing to .
Worked examples
Example 1. In cyclic quadrilateral , . Find .
.
Example 2. In cyclic quadrilateral , and . Find and .
. . Verify: . ✓
Example 3. Is a parallelogram cyclic? When?
In a parallelogram, opposite angles are equal: . For the parallelogram to be cyclic, also, so , hence . The parallelogram has a right angle , making it a rectangle. So a parallelogram is cyclic iff it is a rectangle.
Example 4. In cyclic quadrilateral , . Find them.
. Let . Then . So and .
Example 5. A rectangle is cyclic. Identify the centre of its circumscribed circle.
The centre is the intersection of the diagonals , equidistant from all four vertices (each distance equals half the diagonal length).
Try it yourself
- State the cyclic-quadrilateral theorem and its converse.
- In cyclic quadrilateral , . Find .
- Prove that the sum of opposite angles of a cyclic quadrilateral is .
- In cyclic quadrilateral , is true by the theorem. Why?
- Is every rectangle cyclic? Why?
- Is every parallelogram cyclic? Why or why not?
- A quadrilateral has angles . Is it cyclic?
- A cyclic quadrilateral has angles in ratio . Find them.
- State the converse of the cyclic-quadrilateral theorem.
- The exterior angle of a cyclic quadrilateral at any vertex equals which other angle? (Hint: linear pair + opposite-angle property.)
Pitfalls / Insight
- Both pairs of opposite angles , the theorem is about each pair separately, both summing to .
- Cyclic = vertices on a common circle. Not every quadrilateral is cyclic.
- The converse needs care. Knowing one pair sums to is enough; if so, the other pair also sums to (since all four angles sum to ).
Insight. The cyclic-quadrilateral theorem unifies all the angle properties of inscribed figures. It is the natural endpoint of the chapter: a single condition that captures "the four points lie on a circle". Combined with the central-angle theorem, it lets you prove and recognise cyclic configurations effortlessly.