Cherchez le quadrilatère cyclique II: What Is This About?
A Mathematical Droodle

Explanation

Copyright © 1996-2010 Alexander Bogomolny

The applet provides an illustration to a generalization of the following problem from an outstanding collection by T. Andreescu and R. Gelca:

Consider a semicircle of center O and diameter AB. A line intersects AB at M and the semicircle at C and D in such a way that BM < AM and CM < DM. The circumcircles of triangles AOD and BOC intersect a second time at K. Show that KM and KO are perpendicular.

(This is one of the problems from the 1996 Balkan Mathematical Olympiad.)

The generalization is twofold:

• First, AB need not be a diameter of the given circle. Suffice it for the quadrilateral ABCD to be cyclic.

• Second, the inequalities BM < AM and CM < DM can be done away with, although the proof then may have to be split into several cases.

The outline of the proof is as follows:

• First we show that quadrilaterals ABLK and CDKL are cyclic. By this means we introduce two circles meeting at K and L and thus having KL as their radical axis. Adjoining the given circle gives a set of three circles with AB, CD, and KL pairwise radical axes implying M is a radical center of the three circles. Thus L lies on KM.

• Due to the first step, we need now prove that KO is perpendicular to KL (instead of KM.)

First step: ABLK and CDKL are cyclic quadrilaterals. Indeed,

where (and also later on) the arcs are those of the given circle. This says that quadrilateral ABLK is cyclic. Using the cyclicity of ABLK we proceed to establish the cyclicity of CDKL:

Wherefrom we obtain the identity

so that quadrilateral CDKL is also cyclic. Thus L does lie on KM.

Second step: To prove the orthogonality of KM and KO note that

implying that orthogonality of KL and KO is equivalent to

But quadrilateral ADKO is cyclic: ∠AKO = ∠ADO. Now from (1):

as required. KO KL.

References

1. T. Andreescu, R. Gelca, Mathematical Olympiad Challenges, Birkhäuser, 2004, 5^th printing, 1.3.12 (p. 13)

Radical Axis and Radical Center

• A Property of the Line IO: A Proof From The Book
• Cherchez le quadrilatère cyclique II
• Circles On Cevians
• Circles And Parallels
• Circles through the Orthocenter
• Coaxal Circles Theorem
• Isosceles on the Sides of a Triangle
• Properties of the Circle of Similitude
• Six Concyclic Points
• Radical Axis and Center, an Application
• Radical axis of two circles
• Radical Axis of Circles Inscribed in a Circular Segment
• Radical Center
• Radical center of three circles
• Steiner's porism
• Stereographic Projection and Inversion
• Stereographic Projection and Radical Axes
• Tangent as a Radical Axis
• Two Circles on a Side of a Triangle
• Pinning Butterfly on Radical Axes

Copyright © 1996-2010 Alexander Bogomolny