Maths Olympiad Prep

Library / Irish Mathematical Olympiad /165 of 236

Irish Mathematical Olympiad

Geometry Difficulty 6.2 National Olympiad Prove it Ireland

Let △ABC\triangle ABC be a triangle and let PP denote the midpoint of the side BCBC. Suppose that there exist two points MM and NN interior to the sides ABAB and ACAC respectively, such that
∣AD∣=∣DM∣=2∣DN∣, |AD| = |DM| = 2|DN|,
where DD is the intersection point of the lines MNMN and APAP. Show that
∣AC∣=∣BC∣|AC| = |BC|.

Solution

Step I: Reduce to the case when MM coincides with BB. The following provides two versions of this step:

Version 1: The line through BB parallel to MNMN intersects APAP at a point EE and ACAC at a point QQ. From the similar triangles AMDAMD and ABEABE it follows that
∣MD∣∣BE∣=∣AD∣∣AE∣ \frac{|MD|}{|BE|} = \frac{|AD|}{|AE|}
and from the similar triangles ADNADN and AEQAEQ it follows that
∣ND∣∣QE∣=∣AD∣∣AE∣ \frac{|ND|}{|QE|} = \frac{|AD|}{|AE|}
Thus ∣AD∣=∣DM∣=2∣DN∣|AD| = |DM| = 2|DN| is equivalent to ∣AE∣=∣EB∣=2∣EQ∣|AE| = |EB| = 2|EQ|.

Figure 1

Figure 2

Version 2: Let B′C′B'C' be a line parallel to BCBC, with B′=MB' = M and C′C' on ACAC. Let P′P' be the intersection point of B′C′B'C' with APAP. From the similar triangles AB′P′AB'P' and ABPABP it follows that
∣B′P′∣∣BP∣=∣AP′∣∣AP∣ \frac{|B'P'|}{|BP|} = \frac{|AP'|}{|AP|}
and from the similar triangles AC′P′AC'P' and ACPACP it follows that
∣C′P′∣∣CP∣=∣AP′∣∣AP∣ \frac{|C'P'|}{|CP|} = \frac{|AP'|}{|AP|}
Thus PP is the midpoint of BCBC if and only if P′P' is the midpoint of B′C′B'C'. Also, since the triangles AB′C′AB'C' and ABCABC are similar, then ∣AC∣=∣BC∣|AC| = |BC| is equivalent to ∣A′C′∣=∣B′C′∣|A'C'| = |B'C'|.

Step II: With the notations from Step I, Version 1, prove that QQ is the midpoint of ACAC and EE is the centroid of the triangle ABCABC. The following provides two versions of this step:

Version 1: Menelaus' theorem for △BQC\triangle BQC with secant line APAP gives
∣QE∣∣BE∣⋅∣BP∣∣CP∣⋅∣CA∣∣QA∣=1. \frac{|QE|}{|BE|} \cdot \frac{|BP|}{|CP|} \cdot \frac{|CA|}{|QA|} = 1 .
Because ∣BE∣=2∣QE∣|BE| = 2|QE| and ∣BP∣=∣CP∣|BP| = |CP|, it follows that ∣CA∣=2∣QA∣|CA| = 2|QA| and so QQ is the midpoint of ACAC. Hence, EE is the centroid of △ABC\triangle ABC.

Version 2: Let Q′Q' denote the midpoint of ACAC, and let E′E' be the intersection of BQ′BQ' with APAP. We will prove Q=Q′Q = Q' using proof by contradiction. Assume they are different. The triangles Q′PCQ'PC and ABCABC are similar since
∣CQ′∣∣AC∣=∣CP∣∣BC∣=12 \frac{|CQ'|}{|AC|} = \frac{|CP|}{|BC|} = \frac{1}{2}
and so ∣AB∣=2∣PQ′∣|AB| = 2|PQ'| and also PQ′PQ' is parallel to ABAB. Thus the triangles AE′BAE'B and PE′Q′PE'Q' are similar which implies
∣AB∣∣PQ′∣=2=∣BE′∣∣E′Q′∣=∣BE∣∣EQ∣ \frac{|AB|}{|PQ'|} = 2 = \frac{|BE'|}{|E'Q'|} = \frac{|BE|}{|EQ|}
But this would imply that EE′EE' is parallel to QQ′QQ' which is a contradiction, since they meet at AA.

Step III: Because EE is the centroid of △ABC\triangle ABC, we have ∣AE∣=2∣EP∣|AE| = 2|EP| and ∣BE∣=2∣EQ∣|BE| = 2|EQ|. Because ∣AE∣=2∣EQ∣|AE| = 2|EQ|, this implies ∣AE∣=∣BE∣|AE| = |BE| and ∣EQ∣=∣EP∣|EQ| = |EP|. Therefore, the triangles AEQAEQ and BEPBEP are congruent, thus

|BC| = 2|BP| = 2|AQ| = |AC| .

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.