Maths Olympiad Prep

Library / /19 of 39

Geometry Difficulty 5.5 AIME, harder Prove it Ukraine

Prove that following inequality is true for any triangle:
2R+(334)rp, 2R + (3\sqrt{3} - 4)r \ge p,

where RR and rr are the radii of the circumcircle and incircle of a triangle, and pp is the semiperimeter of the triangle.

Solution

Let's use uu, vv, ww - method. You can get more information about this method in numerous articles, e.g. (x=pax = p - a, y=pby = p - b, z=pcz = p - c):
R=abc4S=(x+y)(y+z)(z+x)4xyz(x+y+z)andr=Sp=xyzx+y+z R = \frac{abc}{4S} = \frac{(x+y)(y+z)(z+x)}{4\sqrt{xyz}(x+y+z)} \quad \text{and} \quad r = \frac{S}{p} = \sqrt{\frac{xyz}{x+y+z}}

Then we have to prove equivalent inequality:
(x+y)(y+z)(z+x)+2(334)xyz2(x+y+z)xyz(x+y+z). (x+y)(y+z)(z+x) + 2(3\sqrt{3}-4)xyz \geq 2(x+y+z)\sqrt{xyz}(x+y+z).
Let's denote:
{x+y+z=3u,xy+yz+zx=3v2,Then 9uv2+(639)w363uw3uxyz=w3. \begin{cases} x + y + z = 3u, \\ xy + yz + zx = 3v^2, \quad \text{Then } 9uv^2 + (6\sqrt{3}-9)w^3 \ge 6\sqrt{3}\sqrt{uw^3}u \\ xyz = w^3. \end{cases}

(3uv2+(233)w3)212u3w3f(w3)=(233)2w6+w3(6(233)uv212u3)+9u2v40. (3uv^2 + (2\sqrt{3}-3)w^3)^2 \ge 12u^3w^3 \Leftrightarrow \\ f(w^3) = (2\sqrt{3}-3)^2w^6 + w^3(6(2\sqrt{3}-3)uv^2 - 12u^3) + 9u^2v^4 \ge 0.

If uu, v2v^2 are fixed then ff is convex. That's why ff has a minimum value when 2 variables {x,y,z}\{x, y, z\} coincide. Without loss of generality y=zy = z. Let's check our inequality. It's equivalent to the following:
(x+y)((2x+y)xy)+2(334)xy2x(x+2y)3. (x + y)((2x + y) - xy) + 2(3\sqrt{3} - 4)xy \geq 2\sqrt{x(x + 2y)^3}.
Let's denote: t=xyt = \frac{x}{y} \Rightarrow
(t+2)(t+1)+2(334)t2t(t+2)3t2+3(332)t+1t(t+2)3t3(6310)+t2(21123)+t(6312)+10(t1)2((6310)t+1)0. (t+2)(t+1) + 2(3\sqrt{3}-4)t \ge 2\sqrt{t(t+2)^3} \Leftrightarrow t^2 + 3(3\sqrt{3}-2)t + 1 \ge \sqrt{t(t+2)^3} \Leftrightarrow \\ t^3(6\sqrt{3}-10) + t^2(21-12\sqrt{3}) + t(6\sqrt{3}-12) + 1 \ge 0 \Leftrightarrow (t-1)^2((6\sqrt{3}-10)t+1) \ge 0.
What was to be demonstrated. The equation is true for x=y=za=b=cx = y = z \Leftrightarrow a = b = c.

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 and solution reproduced as published; topic and difficulty added by this site.