Maths Olympiad Prep

Library / /23 of 121

, 2004

Geometry Difficulty 5.4 AIME, harder Prove it India

Problem:
Let RR denote the circumradius of a triangle ABCABC; a,b,ca, b, c its sides BC,CA,ABBC, CA, AB; and ra,rb,rcr_{a}, r_{b}, r_{c} its exradii opposite A,B,CA, B, C. If 2Rra2R \leq r_{a}, prove that
(i) a>ba > b and a>ca > c;
(ii) 2R>rb2R > r_{b} and 2R>rc2R > r_{c}.

Solution

Solution:
We know that 2R=abc22R = \frac{abc}{2\triangle} and ra=sar_{a} = \frac{\triangle}{s-a}, where a,b,ca, b, c are the sides of the triangle ABCABC, s=a+b+c2s = \frac{a+b+c}{2} and \triangle is the area of ABCABC. Thus the given condition 2Rra2R \leq r_{a} translates to
abc22sa abc \leq \frac{2\triangle^{2}}{s-a}
Putting sa=ps-a = p, sb=qs-b = q, sc=rs-c = r, we get a=q+ra = q + r, b=r+pb = r + p, c=p+qc = p + q and the condition now is
p(p+q)(q+r)(r+p)22 p(p+q)(q+r)(r+p) \leq 2\triangle^{2}
But Heron's formula gives, 2=s(sa)(sb)(sc)=pqr(p+q+r)\triangle^{2} = s(s-a)(s-b)(s-c) = pqr(p+q+r). We obtain (p+q)(q+r)(r+p)2qr(p+q+r)(p+q)(q+r)(r+p) \leq 2qr(p+q+r). Expanding and effecting some cancellations, we get
p2(q+r)+p(q2+r2)qr(q+r) p^{2}(q+r) + p(q^{2} + r^{2}) \leq qr(q+r)
Suppose aba \leq b. This implies that q+rr+pq + r \leq r + p and hence qpq \leq p. This implies that q2rp2rq^{2} r \leq p^{2} r and qr2pr2q r^{2} \leq p r^{2} giving qr(q+r)p2r+pr2<p2r+pr2+p2q+pq2=p2(q+r)+p(q2+r2)qr(q+r) \leq p^{2} r + p r^{2} < p^{2} r + p r^{2} + p^{2} q + p q^{2} = p^{2}(q+r) + p(q^{2} + r^{2}) which contradicts ()(\star). Similarly, aca \leq c is also not possible. This proves (i).

Suppose 2Rrb2R \leq r_{b}. As above this takes the form
q2(r+p)+q(r2+p2)pr(p+r) q^{2}(r+p) + q(r^{2} + p^{2}) \leq pr(p+r)
Since a>ba > b and a>ca > c, we have q>pq > p, r>pr > p. Thus q2r>p2rq^{2} r > p^{2} r and qr2>pr2q r^{2} > p r^{2}. Hence
q2(r+p)+q(r2+p2)>q2r+qr2>p2r+pr2=pr(p+r) q^{2}(r+p) + q(r^{2} + p^{2}) > q^{2} r + q r^{2} > p^{2} r + p r^{2} = pr(p+r)
which contradicts ()(\star\star). Hence 2R>rb2R > r_{b}. Similarly, we can prove that 2R>rc2R > r_{c}. This proves (ii).

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.