# Cyclic Quadrilateral, Concurrent Circles and Collinear Points

## What is this about? A Mathematical Droodle

Created with GeoGebra

Explanation

The applet attempts to suggest the following problem:

In a cyclic quadrilateral ABCD side AB and CD (when extended) meet at point P; sides BC and AD, at Q. Prove that

1. The circumcircles C(ABQ), C(BCP), C(ADP), C(CDQ) are concurrent.
2. The point of concurrency, say K, is collinear with P and Q.

(The problem is not original, but I have misplaced my note on the source.)

The fact that the four circles concur is the subject of Miquel's Theorem. The circles are concurrent even if ABCD is not cyclic.

Since it is cyclic,

The angles at points A and C are supplementary:

∠BCD + ∠BCP = 180°, and

In circle C(BCP),

∠BCP + ∠BKP = 180°.

In circle C(ABQ),

∠BAQ + ∠BKQ = 180°.

Adding all the above identities (with written right-to-left) gives,

∠BKP + ∠BKQ = 180°,

which exactly means that point P, K, Q are collinear.

[an error occurred while processing this directive]