Maths Olympiad Prep

Library / China Hong Kong Mathematical Olympiad /25 of 89

China Hong Kong Mathematical Olympiad

Geometry Difficulty 5.4 AIME, harder Prove it Hong Kong

Suppose ABCDABCD is a cyclic quadrilateral. Extend DADA and DCDC to PP and QQ respectively such that AP=BCAP = BC and CQ=ABCQ = AB. Let MM be the midpoint of PQPQ. Show that MA⊥MCMA \perp MC.

Solution

Let B′B' be the point such that AB′BCAB'BC is an isosceles trapezoid. Thus, B′B' lies on the circle passing through AA, BB, CC, DD. Also, we have AP=CB=AB′AP = CB = AB' and CQ=AB=CB′CQ = AB = CB'. Let EE and FF be the midpoints of B′PB'P and B′QB'Q respectively. Then AE⊥B′PAE \perp B'P and CF⊥B′QCF \perp B'Q.

Figure 1

First of all, as ∠PAB′+∠QCB′=(180∘−∠B′AD)+(180∘−∠B′CD)=180∘\angle PAB' + \angle QCB' = (180^\circ - \angle B'AD) + (180^\circ - \angle B'CD) = 180^\circ, we know that ∠EAB′+∠FCB′=90∘\angle EAB' + \angle FCB' = 90^\circ. This implies the right-angled triangles AEB′AEB' and B′FCB'FC are similar. Hence, AEAB′=B′FB′C\frac{AE}{AB'} = \frac{B'F}{B'C}.

By the midpoint theorem, B′EMFB'EMF is a parallelogram. Therefore, we have
AEEM=AEB′F=AB′B′C. \frac{AE}{EM} = \frac{AE}{B'F} = \frac{AB'}{B'C}.
Together with
∠AEM=90∘+∠B′EM=270∘−∠EB′F=270∘−(360∘−∠AB′C−∠AB′E−∠CB′F)=∠AB′C, \begin{aligned} \angle AEM &= 90^\circ + \angle B'EM = 270^\circ - \angle EB'F \\ &= 270^\circ - (360^\circ - \angle AB'C - \angle AB'E - \angle CB'F) = \angle AB'C, \end{aligned}
we find that △AEM∼△AB′C\triangle AEM \sim \triangle AB'C. This yields △AEB′∼△AMC\triangle AEB' \sim \triangle AMC by spiral similarity. Therefore, ∠AMC=∠AEB′=90∘\angle AMC = \angle AEB' = 90^\circ.

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.