Maths Olympiad Prep

Track / Stage 5 / 369 of 400 #1609 of 2604

Problem 1609

AIME late
Geometry Difficulty 5.9 Prove it Irish Mathematical Olympiad · Ireland

A triangle ABCABC has an obtuse angle at BB. The perpendicular at BB to ABAB meets ACAC at DD, and ∣CD∣=∣AB∣|CD| = |AB|. Prove that
∣AD∣2=∣AB∣⋅∣BC∣ if and only if ∠CBD=30∘. |AD|^2 = |AB| \cdot |BC| \text{ if and only if } \angle CBD = 30^\circ.

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

Let ∣BC∣=a|BC| = a, ∣AD∣=b|AD| = b, ∣AB∣=∣CD∣=c|AB| = |CD| = c. We are given b2=acb^2 = a c and need to prove ∠CBD=30∘\angle CBD = 30^\circ.
a2+c2−(b+c)22ac=cos⁡(90∘+∠CBD)=−sin⁡(∠CBD). Hence sin⁡(∠BCD)=b2+2bc−a22ac. \frac{a^2 + c^2 - (b + c)^2}{2 a c} = \cos(90^\circ + \angle CBD) = -\sin(\angle CBD). \text{ Hence } \sin(\angle BCD) = \frac{b^2 + 2 b c - a^2}{2 a c}.
Also sin⁡(∠CBD)=casin⁡(∠BDC)=casin⁡(∠BDA)=ca⋅cb. \text{Also } \sin(\angle CBD) = \frac{c}{a} \sin(\angle BDC) = \frac{c}{a} \sin(\angle BDA) = \frac{c}{a} \cdot \frac{c}{b}.
Hence
b2+2bc−a22ac=c2ab \frac{b^2 + 2 b c - a^2}{2 a c} = \frac{c^2}{a b}
Thus b3+2b2c−a2b−2c3=0b^3 + 2 b^2 c - a^2 b - 2 c^3 = 0. Using b2=acb^2 = a c we obtain (ab−2c2)(c−a)=0(a b - 2 c^2)(c - a) = 0.
If a=ca = c then ∣AC∣=b+c>c+c|AC| = b + c > c + c which contradicts the triangle inequality. Hence ab=2c2a b = 2 c^2 and from previous calculations sin⁡(∠CBD)=c2ab=12\sin(\angle CBD) = \frac{c^2}{a b} = \frac{1}{2}. Thus ∠CBD=30∘\angle CBD = 30^\circ.
Conversely, sin⁡(∠CBD)=b2+2bc−a22ac=12 implies b2+2bc−a2−ac=0. \text{Conversely, } \sin(\angle CBD) = \frac{b^2 + 2 b c - a^2}{2 a c} = \frac{1}{2} \text{ implies } b^2 + 2 b c - a^2 - a c = 0.
Also sin⁡(∠CBD)=c2ab=12\sin(\angle CBD) = \frac{c^2}{a b} = \frac{1}{2} implies ab=2c2a b = 2 c^2. Substituting for aa we obtain b2+2bc−4c4b2−2c3b=0b^2 + 2 b c - \frac{4 c^4}{b^2} - \frac{2 c^3}{b} = 0. Factorising we obtain (b3−2c3)(b+2c)=0(b^3 - 2 c^3)(b + 2 c) = 0. As b+2c>0b + 2 c > 0, b3=2c3=2abcb^3 = 2 c^3 = 2 a b c. Hence b2=acb^2 = a c.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.