A quadrilateral inscribed in a circle is one of the most elegant and useful concepts in Euclidean geometry. When the four vertices of a quadrilateral—labeled A, B, C, and D—all lie on the circumference of a single circle, the figure is formally known as a cyclic quadrilateral. This configuration creates a unique set of relationships between angles, arcs, and side lengths that do not exist in arbitrary quadrilaterals. Understanding these properties is essential for solving complex geometry problems, proving theorems, and appreciating the inherent symmetry of circular geometry.
Not the most exciting part, but easily the most useful.
The Defining Characteristic: Opposite Angles are Supplementary
The most fundamental theorem governing a cyclic quadrilateral states that the sum of the measures of opposite angles is always 180 degrees. In the context of quadrilateral ABCD, this means:
- ∠A + ∠C = 180°
- ∠B + ∠D = 180°
Why This Happens: The Inscribed Angle Theorem
The proof relies entirely on the Inscribed Angle Theorem, which dictates that an inscribed angle measures exactly half the measure of its intercepted arc Worth keeping that in mind..
- Angle A intercepts arc BCD (the major arc passing through B, C, and D).
- Angle C intercepts arc BAD (the major arc passing through B, A, and D).
- Together, arc BCD and arc BAD constitute the entire circle, totaling 360°.
- Since the angle is half the arc measure:
- ∠A = ½ (arc BCD)
- ∠C = ½ (arc BAD)
- Adding them: ∠A + ∠C = ½ (arc BCD + arc BAD) = ½ (360°) = 180°.
This property is bidirectional. If a quadrilateral has supplementary opposite angles, it must be cyclic—meaning a circle can be circumscribed around it. This "converse theorem" is a powerful tool for proving that four points are concyclic (lie on the same circle).
The Exterior Angle Theorem
A direct and highly practical corollary of the supplementary opposite angles rule involves exterior angles. If you extend one side of the cyclic quadrilateral, the exterior angle formed is equal to the interior angle at the opposite vertex It's one of those things that adds up..
For quadrilateral ABCD, if side AD is extended past D to point E, creating exterior angle ∠CDE: ∠CDE = ∠ABC
Proof:
- ∠CDE + ∠CDA = 180° (Linear pair).
- ∠ABC + ∠CDA = 180° (Opposite angles of cyclic quadrilateral).
- So, ∠CDE = ∠ABC.
This theorem simplifies angle chasing significantly, allowing mathematicians to "transfer" angle measures across the quadrilateral instantly.
Ptolemy’s Theorem: Relating Sides and Diagonals
While angle relationships are the most cited features, Ptolemy’s Theorem provides a profound relationship between the six lengths of a cyclic quadrilateral: the four sides and the two diagonals.
For cyclic quadrilateral ABCD with diagonals AC and BD: AC · BD = AB · CD + BC · AD
In words: The product of the diagonals equals the sum of the products of opposite sides.
Significance and Applications
- Pythagorean Theorem Connection: If the quadrilateral is a rectangle (a special cyclic quadrilateral), opposite sides are equal (AB = CD, BC = AD) and diagonals are equal (AC = BD). Substituting into Ptolemy’s theorem yields AC² = AB² + BC², which is the Pythagorean theorem.
- Trigonometric Identities: Ptolemy’s theorem is the geometric foundation for the sine and cosine addition formulas (sin(α+β), cos(α+β)).
- Construction Problems: It allows for the calculation of a missing diagonal or side length when the other five lengths are known, provided the quadrilateral is confirmed to be cyclic.
Area Formulas: Brahmagupta’s Formula
Calculating the area of a general quadrilateral is difficult without knowing angles or diagonal lengths. That said, for a cyclic quadrilateral, the area depends only on the side lengths The details matter here..
Let the side lengths be a, b, c, d (corresponding to AB, BC, CD, DA) and the semiperimeter be s = (a + b + c + d) / 2.
Brahmagupta’s Formula: Area = √[(s - a)(s - b)(s - c)(s - d)]
This formula is a direct generalization of Heron’s Formula for triangles. If you treat one side length as zero (degenerating the quadrilateral into a triangle), Brahmagupta’s formula reduces exactly to Heron’s formula Nothing fancy..
Maximum Area Property: For any given set of four side lengths, the cyclic quadrilateral encloses the maximum possible area. Any non-cyclic quadrilateral with the same side lengths will have a smaller area. This makes cyclic quadrilaterals the "optimal" shape for enclosing space with fixed edge lengths.
The Intersecting Chords Theorem (Power of a Point)
When the diagonals AC and BD intersect at point X inside the circle, the Intersecting Chords Theorem applies: AX · XC = BX · XD
The product of the segments of one diagonal equals the product of the segments of the other diagonal.
This is a specific case of the Power of a Point theorem. Now, it is incredibly useful for finding unknown segment lengths when diagonals intersect. Combined with Ptolemy’s theorem and the Law of Cosines, it allows for the complete solution of the quadrilateral (finding all angles, diagonals, and area) using only the four side lengths.
Angles Between Diagonals and Sides
There are beautiful symmetries regarding the angles formed by the diagonals and the sides. In cyclic quadrilateral ABCD:
- Angle between diagonal and side equals angle at opposite vertex subtended by the other diagonal.
- ∠BAC = ∠BDC (Both subtend arc BC)
- ∠ABD = ∠ACD (Both subtend arc AD)
- ∠DBC = ∠DAC (Both subtend arc DC)
- ∠BCA = ∠BDA (Both subtend arc AB)
This means the diagonal AC creates angles with sides AB and AD that are exactly equal to the angles created by diagonal BD at the opposite vertices D and B respectively. This creates similar triangles within the figure (e.Think about it: g. , ΔABX ~ ΔDCX and ΔBCX ~ ΔADX where X is the intersection of diagonals) The details matter here..
Special Cases of Cyclic Quadrilaterals
1. Rectangles and Squares
Every rectangle is a cyclic quadrilateral. The center of the circumscribed circle is the intersection of the diagonals, and the radius is half the diagonal length. The opposite angles are 90° + 90° = 180°, satisfying the condition perfectly.
2. Isosceles Trapezoids
An isosceles trapezoid (legs are equal, base angles are equal) is always cyclic. The symmetry ensures that the sum of opposite angles is 180°. Conversely, if a trapezoid is cyclic, it must be isosceles Not complicated — just consistent. Still holds up..
3. Right Kites
A kite with two opposite right angles is cyclic. The diameter of the circle is the line of symmetry connecting the vertices of the
