Maths Olympiad Prep

Library / NMO Selection Tests for JBMO /31 of 58

NMO Selection Tests for JBMO

Geometry Difficulty 6.0 National Olympiad Prove it Romania

Let MM be the midpoint of the side ADAD of the square ABCDABCD. Consider the equilateral triangles DFMDFM and BFEBFE, such that FF lies in the interior of ABCDABCD and the lines EFEF and BCBC are concurrent. Denote by PP the midpoint of MEME. Prove that:
a) PP lies on the line ACAC;
b) the halfline PMPM is the bisector of the angle APFAPF.

Solution

a) Construct the equilateral triangle BDQBDQ, such that CC lies in its interior. QQ is situated on the perpendicular bisector of the diagonal BDBD, therefore QQ, CC and AA are collinear. Since ∠EBQ=∠FBD=60∘−∠FBQ\angle EBQ = \angle FBD = 60^\circ - \angle FBQ, BQ=BDBQ = BD and BE=BFBE = BF, triangles BEQBEQ and BFDBFD are congruent (S.A.S.), thus ∠BQE=∠BDF=∠ADF−∠ADB=15∘\angle BQE = \angle BDF = \angle ADF - \angle ADB = 15^\circ and QE=DF=DM=AMQE = DF = DM = AM.
From ∠QBC=∠QBD−∠CBD=15∘=∠BQE\angle QBC = \angle QBD - \angle CBD = 15^\circ = \angle BQE, we infer that QE∥CB∥ADQE \parallel CB \parallel AD. As QE=AMQE = AM, it follows that AMQEAMQE is parallelogram, so the midpoint PP of MEME lies on AQAQ, i.e., PP is situated on the line ACAC.

b) Since QE=DMQE = DM and QE∥DMQE \parallel DM we deduce that DMEQDMEQ is a parallelogram and ∠DME=∠DQE=75∘\angle DME = \angle DQE = 75^\circ. Consequently, ∠FMP=∠DMP−∠DMF=15∘\angle FMP = \angle DMP - \angle DMF = 15^\circ. The triangle FADFAD is right angled, with ∠FAD=30∘\angle FAD = 30^\circ, therefore we obtain ∠FAP=∠DAP−∠DAF=15∘\angle FAP = \angle DAP - \angle DAF = 15^\circ and ∠MFA=∠DFA−∠DFM=30∘\angle MFA = \angle DFA - \angle DFM = 30^\circ.
Since ∠FMP=∠FAP\angle FMP = \angle FAP, it follows that AMFPAMFP is a cyclic quadrilateral, with ∠MPA=∠MFA=30∘\angle MPA = \angle MFA = 30^\circ.
∠FPM=∠FAM=30∘\angle FPM = \angle FAM = 30^\circ, therefore ∠FPM=∠APM\angle FPM = \angle APM, and PMPM is the angle bisector of APFAPF.

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.