Maths Olympiad Prep

Library / /69 of 462

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 ADBCAD \perp BC.

Solution

Let ZZ be the mid-point of BCBC. Because XX, YY, ZZ are mid-points, we have XZACXZ \parallel AC, YZABYZ \parallel AB and XYBCXY \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, ADBCAD \perp BC.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.