Maths Olympiad Prep

Track / Stage 5 / 286 of 400 #1526 of 2604

Problem 1526

AIME late
Geometry Difficulty 5.6 Prove it Taiwan IMO Selection Camp · Taiwan

In triangle ABCABC, A′A', B′B', C′C' are respectively the midpoints of sides BCBC, ACAC, ABAB. B∗B^*, C∗C^* lie respectively on ACAC, ABAB such that BB∗BB^*, CC∗CC^* are altitudes of triangle ABCABC. Let B#B^\#, C#C^\# be respectively the midpoints of BB∗BB^*, CC∗CC^*. Let B′B#B'B^\# and C′C#C'C^\# meet at point KK, and let AKAK meet BCBC at point LL. Prove: ∠BAL=∠CAA′\angle BAL = \angle CAA'.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Define A∗A^*, A#A^\# similarly. Since A′B′∥ABA'B' \parallel AB, B′C′∥BCB'C' \parallel BC, C′A′∥CAC'A' \parallel CA, and the three altitudes are concurrent, we obtain
C′A♯A♯B′⋅B′C♯C♯A′⋅A′B♯B♯C′=1=BA∗A∗C⋅AC∗C∗B⋅CB∗B∗A=1, \frac{C'A^\sharp}{A^\sharp B'} \cdot \frac{B'C^\sharp}{C^\sharp A'} \cdot \frac{A'B^\sharp}{B^\sharp C'} = 1 = \frac{BA^*}{A^*C} \cdot \frac{AC^*}{C^*B} \cdot \frac{CB^*}{B^*A} = 1,
so KK also lies on A′A♯A'A^\sharp. Let a=BCa = BC, b=CAb = CA, c=ABc = AB. By Menelaus' theorem,
A′KKA♯⋅A♯C′C′B′⋅B′C♯C♯A′=−1=A′KKA♯⋅A♯AAA∗⋅A∗LLA′. \frac{A'K}{KA^\sharp} \cdot \frac{A^\sharp C'}{C'B'} \cdot \frac{B'C^\sharp}{C^\sharp A'} = -1 = \frac{A'K}{KA^\sharp} \cdot \frac{A^\sharp A}{AA^*} \cdot \frac{A^*L}{LA'}.
Therefore A∗LLA′=AA∗A♯A⋅A♯C′C′B′⋅B′C♯C♯A′=2⋅ccos⁡Ba⋅bcos⁡Aacos⁡B=2bccos⁡Aa2\frac{A^*L}{LA'} = \frac{AA^*}{A^\sharp A} \cdot \frac{A^\sharp C'}{C'B'} \cdot \frac{B'C^\sharp}{C^\sharp A'} = 2 \cdot \frac{c \cos B}{a} \cdot \frac{b \cos A}{a \cos B} = \frac{2bc \cos A}{a^2}. Denote this ratio by rr. And A′A∗=bcos⁡C−12a=bcos⁡C−ccos⁡B2A'A^* = b \cos C - \frac{1}{2}a = \frac{b \cos C - c \cos B}{2}, so
BLLC=ccos⁡B+r1+r⋅bcos⁡C−ccos⁡B2bcos⁡C−r1+r⋅bcos⁡C−ccos⁡B2=2ccos⁡B+r(ccos⁡B+bcos⁡C)2bcos⁡C+r(ccos⁡B+bcos⁡C)=2ccos⁡B+2bccos⁡Aa2bcos⁡C+2bccos⁡Aa(since ccos⁡B+bcos⁡C=a)=c(acos⁡B+bcos⁡C)b(acos⁡C+ccos⁡A)=c2b2. \begin{aligned} \frac{BL}{LC} &= \frac{c \cos B + \frac{r}{1+r} \cdot \frac{b \cos C - c \cos B}{2}}{b \cos C - \frac{r}{1+r} \cdot \frac{b \cos C - c \cos B}{2}} = \frac{2c \cos B + r(c \cos B + b \cos C)}{2b \cos C + r(c \cos B + b \cos C)} \\ &= \frac{2c \cos B + \frac{2bc \cos A}{a}}{2b \cos C + \frac{2bc \cos A}{a}} \quad (\text{since } c \cos B + b \cos C = a) \\ &= \frac{c(a \cos B + b \cos C)}{b(a \cos C + c \cos A)} = \frac{c^2}{b^2}. \end{aligned}
But BLLC=csin⁡∠BALbsin⁡∠CAL\frac{BL}{LC} = \frac{c \sin \angle BAL}{b \sin \angle CAL}, so we get sin⁡∠BALsin⁡∠CAL=cb\frac{\sin \angle BAL}{\sin \angle CAL} = \frac{c}{b}. Also, since A′A' is the midpoint of BCBC, 1=BA′A′C=csin⁡∠BAA′bsin⁡∠CAA′1 = \frac{BA'}{A'C} = \frac{c \sin \angle BAA'}{b \sin \angle CAA'}, so
sin⁡∠BALsin⁡∠CAL=sin⁡∠CAA′sin⁡∠BAA′ \frac{\sin \angle BAL}{\sin \angle CAL} = \frac{\sin \angle CAA'}{\sin \angle BAA'}
Because ∠BAL+∠CAL=∠CAA′+∠BAA′=∠A\angle BAL + \angle CAL = \angle CAA' + \angle BAA' = \angle A, we conclude ∠BAL=∠CAA′\angle BAL = \angle CAA', ∠CAL=∠BAA′\angle CAL = \angle BAA'. This completes the proof.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.