Maths Olympiad Prep

Library / Indian National Mathematical Olympiad /11 of 103

Indian National Mathematical Olympiad

Geometry Difficulty 5.2 AIME, harder Prove it India

Problem:

In a triangle ABCABC right-angled at CC, the median through BB bisects the angle between BABA and the bisector of ∠B\angle B. Prove that
52<ABBC<3 \frac{5}{2}<\frac{AB}{BC}<3

Solutions — 2

Solution 1

Solution:

Since EE is the mid-point of ACAC, we have AE=EC=b/2AE = EC = b/2. Since BDBD bisects ∠ABC\angle ABC, we also know that CD=ab/(a+c)CD = ab/(a+c). Since BEBE bisects ∠ABD\angle ABD, we also have
BD2BA2=DE2EA2 \frac{BD^{2}}{BA^{2}} = \frac{DE^{2}}{EA^{2}}
However,
BD2=BC2+CD2=a2+a2b2(a+c)2DE2=(b2−aba+c)2 \begin{aligned} BD^{2} & = BC^{2} + CD^{2} = a^{2} + \frac{a^{2}b^{2}}{(a+c)^{2}} \\ DE^{2} & = \left(\frac{b}{2} - \frac{ab}{a+c}\right)^{2} \end{aligned}
Figure 1
Using these in the above expression and simplifying, we get
a2{(a+c)2+b2}=c2(c−a)2 a^{2}\left\{(a+c)^{2}+b^{2}\right\}=c^{2}(c-a)^{2}
Using c2=a2+b2c^{2}=a^{2}+b^{2} and eliminating bb, we obtain
c3−2ac2−a2c−2a3=0 c^{3}-2ac^{2}-a^{2}c-2a^{3}=0
Introducing t=c/at=c/a, this reduces to a cubic equation;
t3−2t2−t−2=0 t^{3}-2t^{2}-t-2=0
Consider the function f(t)=t3−2t2−t−2f(t)=t^{3}-2t^{2}-t-2 for t>0t>0 (as c/ac/a is positive). For 0<t≤20<t \leq 2, we see that f(t)=t2(t−2)−t−2<0f(t)=t^{2}(t-2)-t-2<0. We also observe that f(t)=(t−2)(t2−1)−4f(t)=(t-2)(t^{2}-1)-4 is strictly increasing on (2,∞)(2, \infty). It is easy to compute
f(5/2)=−118<0,andf(3)=4>0 f(5/2)=-\frac{11}{8}<0, \quad \text{and} \quad f(3)=4>0
Hence there is a unique value of tt in the interval (5/2,3)(5/2,3) such that f(t)=0f(t)=0. We conclude that
52<ca<3 \frac{5}{2}<\frac{c}{a}<3

Solution 2

Solution:

Let us take ∠B/4=θ\angle B/4=\theta. Then ∠EBC=∠DBE=θ\angle EBC=\angle DBE=\theta and ∠CBD=2θ\angle CBD=2\theta. Using sine rule in triangles BEABEA and BECBEC, we get
BEsin⁡A=AEsin⁡θBEsin⁡90∘=CEsin⁡3θ \begin{aligned} \frac{BE}{\sin A} & = \frac{AE}{\sin \theta} \\ \frac{BE}{\sin 90^{\circ}} & = \frac{CE}{\sin 3\theta} \end{aligned}
Since AE=CEAE=CE, we obtain sin⁡3θsin⁡A=sin⁡θ\sin 3\theta \sin A=\sin \theta. However A=90∘−4θA=90^{\circ}-4\theta. Thus we get sin⁡3θcos⁡4θ=sin⁡θ\sin 3\theta \cos 4\theta=\sin \theta. Note that
ca=1cos⁡4θ=sin⁡3θsin⁡θ=3−4sin⁡2θ \frac{c}{a}=\frac{1}{\cos 4\theta}=\frac{\sin 3\theta}{\sin \theta}=3-4\sin^{2}\theta
This shows that c/a<3c/a<3. Using c/a=3−4sin⁡2θc/a=3-4\sin^{2}\theta, it is easy to compute cos⁡2θ=((c/a)−1)/2\cos 2\theta=((c/a)-1)/2. Hence
ac=cos⁡4θ=12(ca−1)2−1 \frac{a}{c}=\cos 4\theta=\frac{1}{2}\left(\frac{c}{a}-1\right)^{2}-1
Suppose c/a≤5/2c/a \leq 5/2. Then ((c/a)−1)2≤9/4((c/a)-1)^{2} \leq 9/4 and a/c≥2/5a/c \geq 2/5. Thus
25≤ac=12(ca−1)2−1≤98−1=18 \frac{2}{5} \leq \frac{a}{c}=\frac{1}{2}\left(\frac{c}{a}-1\right)^{2}-1 \leq \frac{9}{8}-1=\frac{1}{8}
which is absurd. We conclude that c/a>5/2c/a>5/2.

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.