Maths Olympiad Prep

Library / Irish Mathematical Olympiad /44 of 236

Irish Mathematical Olympiad

Geometry Difficulty 4.9 AIME Prove it Ireland

In a triangle ABCABC, XX and YY are the mid-points of ABAB and BCBC respectively. On BCBC there is a point DD, which is not the mid-point of BCBC. Prove that ∠XDY=∠BAC\angle XDY = \angle BAC implies AD⊥BCAD \perp BC.

Solution

Let ZZ be the mid-point of BCBC. Because XX, YY, ZZ are mid-points, we have XZ∥ACXZ \parallel AC, YZ∥ABYZ \parallel AB and XY∥BCXY \parallel BC. Therefore ∠XBZ=∠XYZ\angle XBZ = \angle XYZ and ∠XZY\angle XZY. The latter, together with the assumption ∠XDY=∠BAC\angle XDY = \angle BAC implies ∠XDY=∠XZY\angle XDY = \angle XZY, hence XX, DD, ZZ, YY are concyclic.

From this we obtain ∠XDB=∠XYZ=∠XBZ\angle XDB = \angle XYZ = \angle XBZ and so ∣XD∣=∣XB∣=∣AX∣|XD| = |XB| = |AX|. This shows that AA, DD, BB are on the circle with diameter ABAB and so, by Thales' Theorem, AD⊥BCAD \perp BC.

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.