Maths Olympiad Prep

Library / /46 of 462

, 2014

Geometry Difficulty 4.7 AIME Prove it Ireland

Suppose ABC\triangle ABC is a triangle. Let DD be the reflection of AA in the perpendicular bisector LL of BCBC. Show that AD=a2ccosABC|AD| = |a - 2c \cos \angle ABC|.

Solution

Let MM, NN be the feet of the perpendiculars from AA, DD on BCBC. Then, NN is the reflection of MM and the right triangles AMBAMB and DNCDNC are congruent. Moreover, ADAD is parallel to BCBC and AD=MN|AD| = |MN|. There are various possibilities for the position of MM, some are shown below.

Figure 1

We let a=BCa = |BC|, b=CAb = |CA| and c=ABc = |AB| as usual. Let xx denote the signed distance from MM to the midpoint EE of BCBC. The sign is chosen such that x=ME0x = -|ME| \le 0 if EE lies between BB and MM, and x=ME0x = |ME| \ge 0 otherwise.

For all possible positions of MM on the line BCBC we then have
MN=2x,CM=a2+xandBM=a2x. |MN| = 2|x|, \quad |CM| = \left|\frac{a}{2} + x\right| \quad \text{and} \quad |BM| = \left|\frac{a}{2} - x\right|.
The Theorem of Pythagoras gives
b2=AM2+CM2andc2=AM2+BM2. b^2 = |AM|^2 + |CM|^2 \quad \text{and} \quad c^2 = |AM|^2 + |BM|^2.
The Cosine Theorem b2=a2+c22accosABCb^2 = a^2 + c^2 - 2ac \cos \angle ABC implies now
a(a2ccosABC)=b2c2=(a2+x)2(a2x)2=2ax, a(a - 2c \cos \angle ABC) = b^2 - c^2 = \left(\frac{a}{2} + x\right)^2 - \left(\frac{a}{2} - x\right)^2 = 2ax,
hence AD=MN=2x=a2ccosABC|AD| = |MN| = 2|x| = |a - 2c \cos \angle ABC|, as required.

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.