Maths Olympiad Prep

Library / Ukrainian National Mathematical Olympiad, Third Round, Second Tour /6 of 14

Ukrainian National Mathematical Olympiad, Third Round, Second Tour

Geometry Difficulty 5.3 AIME, harder Prove it Ukraine

Let ABCABC be a right triangle with hypothenuse BCBC and altitude ADAD. Let's denote the midpoints of ADAD and ACAC by EE and FF correspondingly. Let point MM be the circumcenter of △BEF\triangle BEF. Prove that AC∣∣BMAC||BM.

Solution

As △ADB∼△CAB\triangle ADB \sim \triangle CAB, we get ADAB=CACB\frac{AD}{AB} = \frac{CA}{CB}. As AE=12ADAE = \frac{1}{2}AD, CF=12CACF = \frac{1}{2}CA, we get AFAB=CFCB\frac{AF}{AB} = \frac{CF}{CB}. From this similarity we get that (fig. 16):
∠BAE=∠BAD=∠BCA=∠BCF \angle BAE = \angle BAD = \angle BCA = \angle BCF
Then by angle and the ratio of the sides we get that △AEB∼△CFB⇒∠ABE=∠CBF\triangle AEB \sim \triangle CFB \Rightarrow \angle ABE = \angle CBF.
As EFEF is the midline of △CAD\triangle CAD, we also get EF∣∣BC⇒∠BFE=∠CBFEF||BC \Rightarrow \angle BFE = \angle CBF. Next, we get the following equalities of angles: ∠BFE=12∠BME=90∘−∠EBM⇒∠ABE=∠CBF=90∘−∠EBM\angle BFE = \frac{1}{2}\angle BME = 90^\circ - \angle EBM \Rightarrow \angle ABE = \angle CBF = 90^\circ - \angle EBM. Therefore ∠ABM=∠ABE+∠EBM=90∘,AC∣∣BM\angle ABM = \angle ABE + \angle EBM = 90^\circ, AC||BM.

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.