Maths Olympiad Prep

Library / /13 of 86

Geometry Difficulty 5.9 AIME, harder Prove it United States

Problem:

In ABC\triangle ABC, DD and EE are two points on segment BC\overline{BC} such that BD=CEBD = CE and BAD=CAE\angle BAD = \angle CAE. Prove that ABC\triangle ABC is isosceles.

Figure 1

Solutions — 4

Solution 1

Solution:

Translate BDA\triangle BDA horizontally until its side BDBD coincides with side ECEC, and label the image of point AA by AA'. We now have two triangles ECA\triangle ECA and ECA\triangle ECA' which share the same base ECEC, have the same height (equal to the height AHAH of the original ABC\triangle ABC), and equal angles EAC\angle EAC and EAC\angle EA'C. The last implies that there is a circle kk passing through points E,C,AE, C, A' and AA. The equal heights condition implies that BCBC is parallel to AAAA'; yet the only trapezoids inscribed in a circle are isosceles. Therefore, ECAAECA'A is isosceles with AE=ACAE = A'C. Since the diagonals of an isosceles trapezoid are equal, EA=CAEA' = CA. Translating back to the original ABC\triangle ABC, this means that BA=CABA = CA and ABC\triangle ABC is isosceles.

Figure 2

Solution 2

Solution:

Without loss of generality, assume that the points B,D,EB, D, E and CC are arranged in this order on the line BC\overleftrightarrow{BC}; otherwise, switch points DD and EE in the remainder of the solution.

Suppose that ABC\triangle ABC is not isosceles. Without loss of generality, let BA<CABA < CA. Let ALAL denote the angle bisector of BAC\angle BAC, where LL lies on side BCBC. Reflect ABL\triangle ABL across ALAL and denote by BB' and DD' the images of BB and DD, respectively. Since BA=BA<CAB'A = BA < CA, BB' is inside side CACA, and this forces the whole segment LBLB' to be inside LCA\triangle LCA; in particular, DD' is an interior point of segment AEAE.

Because of the reflection, ADB\triangle AD'B' has equal area as ADB\triangle ADB. In its turn, ADB\triangle ADB has the equal area as AEC\triangle AEC (they have equal bases and heights). This implies that ADB\triangle AD'B' and AEC\triangle AEC have equal area, which contradicts the fact that one triangle is properly included in the other.

We conclude that our supposition is false. Therefore, AB=ACAB = AC and our triangle is isosceles as desired.

Figure 3

Solution 3

Solution:

Let BAD=CAE=θ\angle BAD = \angle CAE = \theta. In the end triangles, ABD\triangle ABD and ACE\triangle ACE, and ABC\triangle ABC, by the Law of Sines
asinθ=msinB=nsinCandqsinB=psinC \frac{a}{\sin \theta} = \frac{m}{\sin B} = \frac{n}{\sin C} \quad \text{and} \quad \frac{q}{\sin B} = \frac{p}{\sin C}
Then mp=nqmp = nq. Suppose pqp \neq q. Then, without loss of generality, p<qp < q, which implies np<nq=mpnp < nq = mp and n<mn < m. But if p<qp < q then C<B\angle C < \angle B which implies AED=C+θ<B+θ=ADE\angle AED = \angle C + \theta < \angle B + \theta = \angle ADE and m<nm < n.

This is a contradiction, so p=qp = q and ABC\triangle ABC is isosceles.

Solution 4

Solution:

Let BAD=CAE=θ\angle BAD = \angle CAE = \theta. ABD\triangle ABD and ACE\triangle ACE have equal areas since they have equal bases (BD=EC)(BD = EC) and the same altitude from AA. Then
12pmsinθ=12qnsinθ \frac{1}{2} p m \sin \theta = \frac{1}{2} q n \sin \theta
which implies mp=nqmp = nq. Now use the same contradiction as in the above solution.

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.