Maths Olympiad Prep

Library / Saudi Arabia booklet /4 of 13

Saudi Arabia booklet, 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
k⋅3(a2+b2+c2)(a+b+c)2+ab+bc+caa2+b2+c2≤k+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)2≤a2+b2+c2−ab+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[(a−b)2+(b−c)2+(c−a)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 c→0+c \to 0^+ (isosceles triangle with the base arbitrary small) then LHS→2k⋅2(2+1)\text{LHS} \to 2k \cdot \sqrt{2}(\sqrt{2} + 1) and RHS→4\text{RHS} \to 4. Thus
k≤422(2+1)=2−2. k \leq \frac{4}{2\sqrt{2}(\sqrt{2} + 1)} = 2 - \sqrt{2}.
For k=2−2k = 2 - \sqrt{2} then we need to prove that
(4−22)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
(4−22)x(x+y)≤x2+2y2 (4 - 2\sqrt{2})x(x + y) \leq x^2 + 2y^2
x2+2(2+2)xy−(2+2)2y2≤0. x^2 + 2(2 + \sqrt{2})xy - (2 + \sqrt{2})^2 y^2 \leq 0.
This equivalent to x≤y2x \leq y\sqrt{2} or a2+b2+c2≤2(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+c−a)+b(c+a−b)+c(a+b−c)≥0. a(b + c - a) + b(c + a - b) + c(a + b - c) \geq 0.
Hence, kmax⁡=2−2k_{\max} = 2 - \sqrt{2}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.