Maths Olympiad Prep

Library / /13 of 121

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=(b2aba+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(ca)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
c32ac2a2c2a3=0 c^{3}-2ac^{2}-a^{2}c-2a^{3}=0
Introducing t=c/at=c/a, this reduces to a cubic equation;
t32t2t2=0 t^{3}-2t^{2}-t-2=0
Consider the function f(t)=t32t2t2f(t)=t^{3}-2t^{2}-t-2 for t>0t>0 (as c/ac/a is positive). For 0<t20<t \leq 2, we see that f(t)=t2(t2)t2<0f(t)=t^{2}(t-2)-t-2<0. We also observe that f(t)=(t2)(t21)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
BEsinA=AEsinθBEsin90=CEsin3θ \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 sin3θsinA=sinθ\sin 3\theta \sin A=\sin \theta. However A=904θA=90^{\circ}-4\theta. Thus we get sin3θcos4θ=sinθ\sin 3\theta \cos 4\theta=\sin \theta. Note that
ca=1cos4θ=sin3θsinθ=34sin2θ \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=34sin2θc/a=3-4\sin^{2}\theta, it is easy to compute cos2θ=((c/a)1)/2\cos 2\theta=((c/a)-1)/2. Hence
ac=cos4θ=12(ca1)21 \frac{a}{c}=\cos 4\theta=\frac{1}{2}\left(\frac{c}{a}-1\right)^{2}-1
Suppose c/a5/2c/a \leq 5/2. Then ((c/a)1)29/4((c/a)-1)^{2} \leq 9/4 and a/c2/5a/c \geq 2/5. Thus
25ac=12(ca1)21981=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,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.