Maths Olympiad Prep

Library / /11 of 55

, 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=BCDandCQD=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 ABCDAB \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 ABCDAB \parallel CD, one has
AXB=180APB=180BCD=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 SPSX=SB2SP \cdot SX = SB^{2} and SQSY=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 SPSX=SB2SP \cdot SX = SB^{2} and SQ/SX=SC/SBSQ / SX = SC / SB imply SPSQ=SBSCSP \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 180180^{\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
ADDSSQQPPEEA=1andBCCSSQQPPFFB=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 ABCDAB \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.