Maths Olympiad Prep

Track / Stage 6 / 358 of 400 #1358 of 1964

Problem 1358

National olympiad, first round
Algebra Difficulty 6.8 Prove it

Let the medians corresponding to the sides a,b,ca, b, c of a triangle be denoted by sa,sb,scs_{a}, s_{b}, s_{c}, respectively. Prove that

sa2bc+sa2ca+sa2ab94 \frac{s_{a}^{2}}{b c}+\frac{s_{a}^{2}}{c a}+\frac{s_{a}^{2}}{a b} \geq \frac{9}{4}

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

sa2bc+sa2ca+sa2ab94 \frac{s_{a}^{2}}{b c}+\frac{s_{a}^{2}}{c a}+\frac{s_{a}^{2}}{a b} \geq \frac{9}{4}

I. Solution. The medians can be expressed in terms of the sides. Reflecting the triangle over the midpoint of side aa, the sides of the resulting parallelogram are bb and cc, and the diagonals are aa and 2sa2 s_{a}. By repeatedly applying the Pythagorean theorem, it is easy to see that the sum of the squares of the diagonals of a parallelogram is equal to the sum of the squares of its sides, so in our case

a2+4sa2=2(b2+c2),sa2=(2b2+2c2a2)/4 a^{2}+4 s_{a}^{2}=2\left(b^{2}+c^{2}\right), \quad s_{a}^{2}=\left(2 b^{2}+2 c^{2}-a^{2}\right) / 4

Substituting this and similar expressions for sb2s_{b}^{2} and sc2s_{c}^{2} into (1), multiplying by 4abc4 a b c, and rearranging, the resulting inequality

a(2b2+2c2a2)+b(2c2+2a2b2)+c(2a2+2b2c2)9abc0 a\left(2 b^{2}+2 c^{2}-a^{2}\right)+b\left(2 c^{2}+2 a^{2}-b^{2}\right)+c\left(2 a^{2}+2 b^{2}-c^{2}\right)-9 a b c \geq 0

is equivalent to the statement.

Further transforming the left side,

2a(bc)2+2b(ca)2+2c(ab)2(a3+b3+c33abc)0 2 a(b-c)^{2}+2 b(c-a)^{2}+2 c(a-b)^{2}-\left(a^{3}+b^{3}+c^{3}-3 a b c\right) \geq 0

and since the subtracted four-term expression can be written as:

12(a+b+c){(ab)2+(bc)2+(ca)2} \frac{1}{2}(a+b+c)\left\{(a-b)^{2}+(b-c)^{2}+(c-a)^{2}\right\}

it suffices to prove:

(bc)2(2aa+b+c2)+(ca)2(2ba+b+c2)++(ab)2(2ca+b+c2)0 \begin{gathered} (b-c)^{2}\left(2 a-\frac{a+b+c}{2}\right)+(c-a)^{2}\left(2 b-\frac{a+b+c}{2}\right)+ \\ +(a-b)^{2}\left(2 c-\frac{a+b+c}{2}\right) \geq 0 \end{gathered}

Based on the symmetry of the expression, we can choose the labeling of the triangle's sides such that abc(>0)a \geq b \geq c(>0). Then the first two products on the left side of (2) are non-negative, since

2aa+b+c2=12(a+(ab)+(ac))>02ba+b+c2=12(2b+bac)12(2c+bac)=12(b+ca)>0 \begin{gathered} 2 a-\frac{a+b+c}{2}=\frac{1}{2}(a+(a-b)+(a-c))>0 \\ 2 b-\frac{a+b+c}{2}=\frac{1}{2}(2 b+b-a-c) \geq \frac{1}{2}(2 c+b-a-c)=\frac{1}{2}(b+c-a)>0 \end{gathered}

The third product, P3P_{3}, could be negative; however, we will show that the sum of the second product P2P_{2} and P3P_{3} is non-negative. Indeed, substituting (ba)2(b-a)^{2} for (ca)2(c-a)^{2} in P2P_{2} does not increase it according to (3):

P2+P3(ba)2(2ba+b+c2)+(ab)2(2ca+b+c2)=(ab)2(b+ca) P_{2}+P_{3} \geq(b-a)^{2}\left(2 b-\frac{a+b+c}{2}\right)+(a-b)^{2}\left(2 c-\frac{a+b+c}{2}\right)=(a-b)^{2}(b+c-a)

from which our statement is evident, and thus we have proven (1) according to the preceding.

II. Solution. From the solution of problem 1856, we can read as an intermediate result that if A,B,CA, B, C are the vertices of a triangle, its sides are AB=c,BC=aA B=c, B C=a, and CA=bC A=b, PP is any point in space, and α,β,γ\alpha, \beta, \gamma are positive numbers, then

αPA2+βPB2+γPC2αβc2+βγa2+γαb2α+β+γ \alpha \cdot P A^{2}+\beta \cdot P B^{2}+\gamma \cdot P C^{2} \geq \frac{\alpha \beta c^{2}+\beta \gamma a^{2}+\gamma \alpha b^{2}}{\alpha+\beta+\gamma}

Let the weights now be

α=1bc,β=1ca,γ=1ab \alpha=\frac{1}{b c}, \quad \beta=\frac{1}{c a}, \quad \gamma=\frac{1}{a b}

and specifically, taking PP as the centroid of triangle ABCA B C,

PA=23sa,PB=23sb,PC=23sc P A=\frac{2}{3} s_{a}, \quad P B=\frac{2}{3} s_{b}, \quad P C=\frac{2}{3} s_{c}

and substituting these into the problem statement, we obtain the result.[^0]

[^0]: 1{ }^{1} See in this issue, on page 122, (5), where the specific values of α,β\alpha, \beta and γ\gamma have not yet been considered.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.