Cyclic Quadrilateral, Concurrent Circles and Collinear Points

What is this about?
A Mathematical Droodle

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

(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.

Cyclic Quadrilateral, Concurrent Circles and Collinear Points, proof

Since it is cyclic,

∠BCD + ∠BAD = 180°.

The angles at points A and C are supplementary:

∠BCD + ∠BCP = 180°, and
∠BAD + ∠BAQ = 180°.

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.

72531900