Maths Olympiad Prep

Library / /34 of 63

Geometry Difficulty 5.7 AIME, harder Prove it India

Let ABCDEABCDE be a convex pentagon in which BC∥AEBC \parallel AE, AB=BC+AEAB = BC + AE and ∠ABC=∠CDE\angle ABC = \angle CDE. Let MM be the mid-point of CECE and let OO be the circumcentre of triangle BCDBCD. Suppose ∠DMO=90∘\angle DMO = 90^\circ. Prove that 2∠BDA=∠CDE2\angle BDA = \angle CDE.

Solution

Let the circum-circle of BCDBCD be Γ\Gamma and let the circle with diameter ODOD be Γ′\Gamma'. Let the mid-point of ODOD be O′O' (which is also the centre of Γ′\Gamma'). Now OO′OO' passes through DD and hence Γ′\Gamma' and Γ\Gamma are tangent to each other at DD. Hence there is a homothety with centre DD taking Γ′\Gamma' to Γ\Gamma, with ratio 22. Since ∠OMD=90∘\angle OMD = 90^\circ, the point MM is on Γ′\Gamma'. Let the image of MM under the homothety be D′D'; it lies on Γ\Gamma and MM is the midpoint of DD′DD'.

Consider the half-turn centred at MM taking DD to D′D'. This also takes CC to EE as MM is the mid-point of CECE. Let B′B' be the image of BB under this transformation. Since the half turn takes a line to another line parallel to it, the image of BCBC is B′EB'E; and BC∥B′EBC \parallel B'E. Thus AE∥BC∥B′EAE \parallel BC \parallel B'E. It follows that AA, B′B', EE are collinear. Observe that AA, BB lie on the same side of CECE. Since we have performed a rigid transformation preserving CC, EE, the images of AA, BB must also lie on the same side of CECE. This implies that AA and B′B' lie on different sides of CECE. Thus EE lies between AA and B′B'. Because of this, we have
AB′=AE+EB′=AE+BC(half-turn takes BC to B′E)=AB. \begin{aligned} AB' = AE + EB' &= AE + BC \quad (\text{half-turn takes } BC \text{ to } B'E) \\ &= AB. \end{aligned}
We also observe that the half-turn takes triangle CD′BCD'B to EDB′EDB'. Therefore ∠CD′B=∠EDB′\angle CD'B = \angle EDB'. Thus we get
∠BDB′=∠BDE+∠EDB′=∠BDE+∠CD′B=∠BDE+∠CDB=∠CDE=∠CBA=180∘−∠BAB′, \begin{aligned} \angle BDB' = \angle BDE + \angle EDB' &= \angle BDE + \angle CD'B = \angle BDE + \angle CDB \\ &= \angle CDE = \angle CBA = 180^\circ - \angle BAB', \end{aligned}
since BC∥AEBC \parallel AE. This shows that BB, DD, B′B', AA are concyclic. Since AB=AB′AB = AB', they subtend equal angle at DD. Thus ∠ADB′=∠BDA′\angle ADB' = \angle BDA'. Thus
2∠BDA=∠BDA+∠ADB′=∠BDA+∠ADE+∠EDB′. 2\angle BDA = \angle BDA + \angle ADB' = \angle BDA + \angle ADE + \angle EDB'.
But observe ∠EDB′=∠CD′B=∠CDB\angle EDB' = \angle CD'B = \angle CDB. Using this we obtain
2∠BDA=∠BDA+∠ADE+∠CDB=∠CDE. 2\angle BDA = \angle BDA + \angle ADE + \angle CDB = \angle CDE.
This completes the proof.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.