Maths Olympiad Prep

Library / National Math Olympiad – Final Round /4 of 8

National Math Olympiad – Final Round, 2015

Geometry Difficulty 5.8 AIME, harder Prove it Slovenia

Let DD and EE be the midpoints of sides BCBC and CACA of the triangle ABCABC respectively. The lines ADAD and BEBE intersect the circumcircle of the triangle ABCABC additionally in points PP and QQ respectively. Suppose that ∣DP∣=∣EQ∣|DP| = |EQ|. Prove that the triangle ABCABC is isosceles with apex CC.

Solutions — 2

Solution 1

Figure 1

Solution:

Since DD and EE are the midpoints of the segments BCBC and ACAC the lines DEDE and ABAB are parallel. It follows that ∠EDA=∠BAD\angle EDA = \angle BAD, and by the Angles Subtended by Same Arc Theorem we have ∠BAD=∠BAP=∠BQP\angle BAD = \angle BAP = \angle BQP. Therefore

∠EQP=∠EDA=π−∠PDE\angle EQP = \angle EDA = \pi - \angle PDE which means that the quadrilateral EDPQEDPQ is cyclic, and the triangles TEDTED and TPQTPQ are similar. Let TT be the centroid of the triangle ABCABC and x=∣DP∣=∣EQ∣x = |DP| = |EQ|. From the similarity of the triangles TEDTED and TPQTPQ we deduce
∣TD∣+x∣TE∣=∣TP∣∣TE∣=∣TQ∣∣TD∣=∣TE∣+x∣TD∣ \frac{|TD| + x}{|TE|} = \frac{|TP|}{|TE|} = \frac{|TQ|}{|TD|} = \frac{|TE| + x}{|TD|}
We rearrange this to
(∣TD∣−∣TE∣)(∣TD∣+∣TE∣+x)=0, (|TD| - |TE|)(|TD| + |TE| + x) = 0,
which gives ∣TE∣=∣TD∣|TE| = |TD| since ∣TD∣+∣TE∣+x>0|TD| + |TE| + x > 0. The triangle DETDET is therefore isosceles with apex at vertex TT. Since the lines ADAD and BEBE are parallel the triangle ABTABT is also isosceles with apex at vertex TT, hence ∣BE∣=∣BT∣+∣TE∣=∣AT∣+∣TD∣=∣AD∣|BE| = |BT| + |TE| = |AT| + |TD| = |AD|. From this it follows that the triangles ABEABE and BADBAD are congruent since they have two pairs of sides of the same length and an angle of the same size between them ∠EBA=∠BAD\angle EBA = \angle BAD. Thus ∣AE∣=∣BD∣|AE| = |BD| and hence ∣AC∣=∣BC∣|AC| = |BC|.

Solution 2

As in the first solution we prove that the lines DEDE and ABAB are parallel and that the quadrilateral EDPQEDPQ is cyclic. Therefore ∠EPD=∠EQD\angle EPD = \angle EQD. Since the chords DPDP and EQEQ are of equal length we have ∠DEP=∠QDE\angle DEP = \angle QDE. Hence ∠PDE=∠DEQ\angle PDE = \angle DEQ which means that the quadrilateral EDPQEDPQ is an isosceles trapezoid. Thus ∠TED=∠EDT=∠BAT\angle TED = \angle EDT = \angle BAT and so ∠BED=∠BAD\angle BED = \angle BAD. This means that the quadrilateral ABDEABDE is cyclic. Since the lines ABAB and EDED are parallel the quadrilateral ABDEABDE is also isosceles trapezoid. It follows ∣AE∣=∣BD∣|AE| = |BD| and hence ∣AC∣=∣BC∣|AC| = |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.