Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /224 of 275

Romanian Mathematical Olympiad

Geometry Difficulty 6.5 National Olympiad Prove it Romania

Let ABCABC be a right isosceles triangle with right angle at AA, OO the midpoint of the hypotenuse BCBC, EE the midpoint of the segment COCO, MM the midpoint of ACAC, and DD the midpoint of AMAM. Let FF be the intersection of lines ODOD and AEAE.

a) Prove that MF⊥ODMF \perp OD.

Figure 1

b) Prove that FC=OCFC = OC.

Solution

First solution for a). Since ME⊥OCME \perp OC, it suffices to show that the quadrilateral MEOFMEOF is cyclic.

(1) Since ME∥AOME \parallel AO, we have ∠MEF=∠OAE\angle MEF = \angle OAE, therefore it remains to prove that ∠MOD=∠OAE\angle MOD = \angle OAE. This follows from similarity: △MOD∼△OAE\triangle MOD \sim \triangle OAE, because ∠DMO=∠EOA=90∘\angle DMO = \angle EOA = 90^\circ and DMMO=EOOA=12\frac{DM}{MO} = \frac{EO}{OA} = \frac{1}{2}.

(2)

Second solution for a). By Menelaus' theorem in △CDO\triangle CDO, with the transversal AFEAFE, we get: DFFO=ADAC=14\frac{DF}{FO} = \frac{AD}{AC} = \frac{1}{4}. Let AB=4aAB = 4a. In triangle MDOMDO, we have MD=aMD = a, MO=2aMO = 2a, and DO=a5DO = a\sqrt{5}, so DF=a55DF = \frac{a\sqrt{5}}{5}. Therefore, DO⋅DF=MD2DO \cdot DF = MD^2, hence, by the converse of the hypotenuse leg theorem, we obtain MF⊥DOMF \perp DO.

Third solution for a). Since CACE=22=OAAD\frac{CA}{CE} = 2\sqrt{2} = \frac{OA}{AD}, and ∠ACE=∠OAD=45∘\angle ACE = \angle OAD = 45^\circ, the triangles CAECAE and AODAOD are similar. Then ∠AOD=∠CAE=∠DAF\angle AOD = \angle CAE = \angle DAF, so △DAF∼△DOA\triangle DAF \sim \triangle DOA (AA), hence MD2=DA2=DF⋅DOMD^2 = DA^2 = DF \cdot DO, and thus MF⊥DOMF \perp DO.

First solution for b). Let G,RG, R be the midpoints of segments ABAB and MOMO, respectively. Since CMGOCMGO is a parallelogram, RR is the midpoint of CGCG. EMFOEMFO is cyclic, therefore ∠EFO=∠EMO=45∘=∠OBA\angle EFO = \angle EMO = 45^\circ = \angle OBA, so ABOFABOF is cyclic, with GG the center of its circumscribed circle. Thus GF=GOGF = GO, RF=RORF = RO, so RGRG is the perpendicular bisector of segment OFOF. Since C∈RGC \in RG, we get CF=COCF = CO.

Second solution for b). Let GG be the midpoint of ABAB. Analogous to (2), the triangles MODMOD and ACGACG are similar, so ∠ACG+∠CDO=∠MOD+∠CDO=90∘\angle ACG + \angle CDO = \angle MOD + \angle CDO = 90^\circ, thus CG⊥ODCG \perp OD. Let HH be the intersection of the lines CGCG and ODOD. Since OG∥CDOG \parallel CD, we get OHHD=OGCD=23\frac{OH}{HD} = \frac{OG}{CD} = \frac{2}{3}, consequently OHOD=25\frac{OH}{OD} = \frac{2}{5}. In the right triangle MODMOD, we have OM=2MDOM = 2MD, OD=MD5OD = MD\sqrt{5} and OF=OM2OD=455MDOF = \frac{OM^2}{OD} = \frac{4\sqrt{5}}{5}MD, therefore OFOD=45\frac{OF}{OD} = \frac{4}{5}. It follows that HH is the midpoint of OFOF, so CHCH is both an altitude and median in the triangle COFCOF, hence CF=COCF = CO.

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.