Maths Olympiad Prep

Library / /14 of 27

Geometry Difficulty 5.7 AIME, harder Prove it India

Let ABCDEABCDE be a convex pentagon in which BCAEBC \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 2BDA=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 OO' (which is also the centre of Γ\Gamma'). Now OOOO' 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 DD'; it lies on Γ\Gamma and MM is the midpoint of DDDD'.

Consider the half-turn centred at MM taking DD to DD'. This also takes CC to EE as MM is the mid-point of CECE. Let BB' 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 BEB'E; and BCBEBC \parallel B'E. Thus AEBCBEAE \parallel BC \parallel B'E. It follows that AA, BB', 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 BB' lie on different sides of CECE. Thus EE lies between AA and BB'. Because of this, we have
AB=AE+EB=AE+BC(half-turn takes BC to BE)=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 CDBCD'B to EDBEDB'. Therefore CDB=EDB\angle CD'B = \angle EDB'. Thus we get
BDB=BDE+EDB=BDE+CDB=BDE+CDB=CDE=CBA=180BAB, \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 BCAEBC \parallel AE. This shows that BB, DD, BB', AA are concyclic. Since AB=ABAB = AB', they subtend equal angle at DD. Thus ADB=BDA\angle ADB' = \angle BDA'. Thus
2BDA=BDA+ADB=BDA+ADE+EDB. 2\angle BDA = \angle BDA + \angle ADB' = \angle BDA + \angle ADE + \angle EDB'.
But observe EDB=CDB=CDB\angle EDB' = \angle CD'B = \angle CDB. Using this we obtain
2BDA=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 and solution reproduced as published; topic and difficulty added by this site.