Maths Olympiad Prep

Library / /7 of 61

Geometry Difficulty 5.0 AIME Prove it Ibero-American Mathematical Olympiad

Problem:

If aa, bb, cc, are the sides of a triangle, show that
aba+b+bcb+c+caa+c<116. \frac{a-b}{a+b} + \frac{b-c}{b+c} + \frac{c-a}{a+c} < \frac{1}{16}.

Solution

Solution:

Put f(a,b,c)=aba+b+bcb+c+caa+cf(a, b, c) = \frac{a-b}{a+b} + \frac{b-c}{b+c} + \frac{c-a}{a+c}. Let A,B,CA, B, C be a permutation of a,b,ca, b, c, with ABCA \leq B \leq C. If (A,B,C)=(b,a,c),(a,c,b)(A, B, C) = (b, a, c), (a, c, b) or (c,b,a)(c, b, a), then f(a,b,c)=Xf(a, b, c) = X, where
X=BAB+A+CBC+BCAA+C. X = \frac{B-A}{B+A} + \frac{C-B}{C+B} - \frac{C-A}{A+C}.
If (A,B,C)=(a,b,c),(b,c,a)(A, B, C) = (a, b, c), (b, c, a) or (c,a,b)(c, a, b), then f(a,b,c)=Xf(a, b, c) = -X.

Put B=A+hB = A + h, C=B+k=A+h+kC = B + k = A + h + k, where h,k0h, k \geq 0. Since A,B,CA, B, C are the sides of a triangle, we also have A+B>CA + B > C or A>kA > k. So
X=h2A+h+k2A+2h+kh+k2A+h+k=hk(h+k)(2A+h)(2A+h+k)(2A+2h+k). X = \frac{h}{2A + h} + \frac{k}{2A + 2h + k} - \frac{h + k}{2A + h + k} = \frac{hk(h + k)}{(2A + h)(2A + h + k)(2A + 2h + k)}.
This is obviously non-negative. We claim also that it is <120< \frac{1}{20}. That is equivalent to:
20h2k+20hk2<(2A+h)(2A+h+k)(2A+2h+k). 20h^2k + 20hk^2 < (2A + h)(2A + h + k)(2A + 2h + k).
Since k<Ak < A it is sufficient to show that
20h2k+20hk2(2k+h)(2k+h+k)(2k+2h+k) 20h^2k + 20hk^2 \leq (2k + h)(2k + h + k)(2k + 2h + k)
=18k3+27hk2+13h2k+2h3 = 18k^3 + 27hk^2 + 13h^2k + 2h^3
or
18k3+7hk27h2k+2h30. 18k^3 + 7hk^2 - 7h^2k + 2h^3 \geq 0.
But 7k27hk+2h2=7(kh/2)2+h2/407k^2 - 7hk + 2h^2 = 7(k - h/2)^2 + h^2/4 \geq 0 and hh and kk are non-negative, so
18k3+h(7k27hk+2h2)0. 18k^3 + h\left(7k^2 - 7hk + 2h^2\right) \geq 0.
Thus we have established that 0X<1200 \leq X < \frac{1}{20}, which shows that f(a,b,c)<120f(a, b, c) < \frac{1}{20}, which is slightly stronger than the required result.

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.