Maths Olympiad Prep

Library / IMO Shortlist /125 of 365

IMO Shortlist, 2006

Geometry Difficulty 8.3 Shortlist Prove it IMO

Let ABCDABCD be a trapezoid with parallel sides AB>CDAB > CD. Points KK and LL lie on the line segments ABAB and CDCD, respectively, so that AK/KB=DL/LCAK / KB = DL / LC. Suppose that there are points PP and QQ on the line segment KLKL satisfying
∠APB=∠BCDand∠CQD=∠ABC. \angle APB = \angle BCD \quad \text{and} \quad \angle CQD = \angle ABC.
Prove that the points PP, QQ, BB and CC are concyclic.

Solutions — 2

Solution 1

Because AB∥CDAB \parallel CD, the relation AK/KB=DL/LCAK / KB = DL / LC readily implies that the lines ADAD, BCBC and KLKL have a common point SS.
Figure 1
Consider the second intersection points XX and YY of the line SKSK with the circles (ABP)(ABP) and (CDQ)(CDQ), respectively. Since APBXAPBX is a cyclic quadrilateral and AB∥CDAB \parallel CD, one has
∠AXB=180∘−∠APB=180∘−∠BCD=∠ABC. \angle AXB = 180^{\circ} - \angle APB = 180^{\circ} - \angle BCD = \angle ABC.
This shows that BCBC is tangent to the circle (ABP)(ABP) at BB. Likewise, BCBC is tangent to the circle (CDQ)(CDQ) at CC. Therefore SP⋅SX=SB2SP \cdot SX = SB^{2} and SQ⋅SY=SC2SQ \cdot SY = SC^{2}.
Let hh be the homothety with centre SS and ratio SC/SBSC / SB. Since h(B)=Ch(B) = C, the above conclusion about tangency implies that hh takes circle (ABP)(ABP) to circle (CDQ)(CDQ). Also, hh takes ABAB to CDCD, and it easily follows that h(P)=Yh(P) = Y, h(X)=Qh(X) = Q, yielding SP/SY=SB/SC=SX/SQSP / SY = SB / SC = SX / SQ.
Equalities SP⋅SX=SB2SP \cdot SX = SB^{2} and SQ/SX=SC/SBSQ / SX = SC / SB imply SP⋅SQ=SB⋅SCSP \cdot SQ = SB \cdot SC, which is equivalent to PP, QQ, BB and CC being concyclic.

Solution 2

The case where P=QP = Q is trivial. Thus assume that PP and QQ are two distinct points. As in the first solution, notice that the lines ADAD, BCBC and KLKL concur at a point SS.
Figure 2
Let the lines APAP and DQDQ meet at EE, and let BPBP and CQCQ meet at FF. Then ∠EPF=∠BCD\angle EPF = \angle BCD and ∠FQE=∠ABC\angle FQE = \angle ABC by the condition of the problem. Since the angles BCDBCD and ABCABC add up to 180∘180^{\circ}, it follows that PEQFPEQF is a cyclic quadrilateral.
Applying Menelaus' theorem, first to triangle ASPASP and line DQDQ and then to triangle BSPBSP and line CQCQ, we have
ADDS⋅SQQP⋅PEEA=1andBCCS⋅SQQP⋅PFFB=1. \frac{AD}{DS} \cdot \frac{SQ}{QP} \cdot \frac{PE}{EA} = 1 \quad \text{and} \quad \frac{BC}{CS} \cdot \frac{SQ}{QP} \cdot \frac{PF}{FB} = 1.
The first factors in these equations are equal, as AB∥CDAB \parallel CD. Thus the last factors are also equal, which implies that EFEF is parallel to ABAB and CDCD. Using this and the cyclicity of PEQFPEQF, we obtain
∠BCD=∠BCF+∠FCD=∠BCQ+∠EFQ=∠BCQ+∠EPQ. \angle BCD = \angle BCF + \angle FCD = \angle BCQ + \angle EFQ = \angle BCQ + \angle EPQ.
On the other hand,
∠BCD=∠APB=∠EPF=∠EPQ+∠QPF, \angle BCD = \angle APB = \angle EPF = \angle EPQ + \angle QPF,
and consequently ∠BCQ=∠QPF\angle BCQ = \angle QPF. The latter angle either coincides with ∠QPB\angle QPB or is supplementary to ∠QPB\angle QPB, depending on whether QQ lies between KK and PP or not. In either case it follows that PP, QQ, BB and CC are concyclic.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.