Miquel's Point Theorem

A proof that the circumcircles of the three sub-triangles formed by points on the sides of a triangle share a common point — the Miquel point.

Keywords: Miquel point, circumcircles, cyclic quadrilateral, concurrent circles

Prerequisites: cyclic-quadrilateral-proof · Difficulty: advanced

Let , , be points on sides , , of triangle . Then the circumcircles of triangles , , and all pass through a single common point , the Miquel point.

Strategy: define as the second intersection of the circumcircles of and . Inscribed-angle chasing at gives and ; the angles around then force , so also lies on the circumcircle of .

Step 1: Points on the Sides

Start with triangle . Place points on , on , and on .

Step 2: Two Circumcircles Meet at

Draw the circumcircle of and the circumcircle of .

These two circles both pass through . They must intersect at a second point as well — call it .

Step 3: Three Circumcircles Share

Miquel's Theorem. Let , , be points on sides , , of . The circumcircles of , , and all pass through a single common point , called the Miquel point.

Proof strategy. is defined as the second intersection of the first two circumcircles. Angle chasing at on each of those circles gives and . The three angles around sum to , so , placing on the circumcircle of .

Step 4: Lies on the Third Circumcircle

Angle chasing means deriving an angle relation by walking through the figure and applying the inscribed-angle theorem at each step. Here we use it at vertex twice.

On the circumcircle of , and lie on opposite arcs of chord , so , giving .

Similarly on the circumcircle of , .

The three angles at sum to , so .

With , this gives . Since and lie on opposite sides of , the four points , , , are concyclic.

Step 5: Miquel's Point

All three circumcircles share the common point — the Miquel point of the configuration.

This result holds for any choice of points , , on the sides of the triangle.

The three circumcircles of triangles , , and all pass through the Miquel point .

This elegant result generalizes: for any triangle and any points on its sides, these three circles always share exactly one common point. ∎