Maths Olympiad Prep

Library / /5 of 16

, 2024

Geometry Difficulty 5.8 AIME, harder Prove it Saudi Arabia

Find the maximum value of kk such that: for all a,b,ca, b, c are sidelengths of some triangle, then
k3(a2+b2+c2)(a+b+c)2+ab+bc+caa2+b2+c2k+1. k \cdot \frac{3(a^2 + b^2 + c^2)}{(a + b + c)^2} + \sqrt{\frac{ab + bc + ca}{a^2 + b^2 + c^2}} \leq k + 1.

Solution

The given inequality can be written as
2k(a2+b2+c2)(ab+bc+ca)(a+b+c)2a2+b2+c2ab+bc+caa2+b2+c2 2k \cdot \frac{(a^2 + b^2 + c^2) - (ab + bc + ca)}{(a + b + c)^2} \leq \frac{\sqrt{a^2 + b^2 + c^2} - \sqrt{ab + bc + ca}}{\sqrt{a^2 + b^2 + c^2}}
2k(a2+b2+c2)(ab+bc+ca)(a+b+c)2(a2+b2+c2)(ab+bc+ca)a2+b2+c2((a2+b2+c2)+(ab+bc+ca)). 2k \cdot \frac{(a^2 + b^2 + c^2) - (ab + bc + ca)}{(a + b + c)^2} \leq \frac{(a^2 + b^2 + c^2) - (ab + bc + ca)}{\sqrt{a^2 + b^2 + c^2}((a^2 + b^2 + c^2) + (ab + bc + ca))}.
Note that
(a2+b2+c2)(ab+bc+ca)=12[(ab)2+(bc)2+(ca)2]0 (a^2 + b^2 + c^2) - (ab + bc + ca) = \frac{1}{2} \left[ (a - b)^2 + (b - c)^2 + (c - a)^2 \right] \geq 0
so
2ka2+b2+c2(a2+b2+c2+ab+bc+ca)(a+b+c)2. 2k\sqrt{a^2 + b^2 + c^2} \left( \sqrt{a^2 + b^2 + c^2} + \sqrt{ab + bc + ca} \right) \leq (a + b + c)^2.
Consider a=b=1a = b = 1 and c0+c \to 0^+ (isosceles triangle with the base arbitrary small) then LHS2k2(2+1)\text{LHS} \to 2k \cdot \sqrt{2}(\sqrt{2} + 1) and RHS4\text{RHS} \to 4. Thus
k422(2+1)=22. k \leq \frac{4}{2\sqrt{2}(\sqrt{2} + 1)} = 2 - \sqrt{2}.
For k=22k = 2 - \sqrt{2} then we need to prove that
(422)a2+b2+c2(a2+b2+c2+ab+bc+ca)(a+b+c)2. (4 - 2\sqrt{2})\sqrt{a^2 + b^2 + c^2} \left( \sqrt{a^2 + b^2 + c^2} + \sqrt{ab + bc + ca} \right) \leq (a + b + c)^2.
Denote x=a2+b2+c2x = \sqrt{a^2 + b^2 + c^2} and y=ab+bc+cay = \sqrt{ab + bc + ca} then the above can be written as
(422)x(x+y)x2+2y2 (4 - 2\sqrt{2})x(x + y) \leq x^2 + 2y^2
x2+2(2+2)xy(2+2)2y20. x^2 + 2(2 + \sqrt{2})xy - (2 + \sqrt{2})^2 y^2 \leq 0.
This equivalent to xy2x \leq y\sqrt{2} or a2+b2+c22(ab+bc+ca)a^2 + b^2 + c^2 \leq 2(ab + bc + ca). The last inequality is true for a,b,ca, b, c are sidelengths of triangle since it can be written as
a(b+ca)+b(c+ab)+c(a+bc)0. a(b + c - a) + b(c + a - b) + c(a + b - c) \geq 0.
Hence, kmax=22k_{\max} = 2 - \sqrt{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 and solution reproduced as published; topic and difficulty added by this site.