Ci provo con $ a, b, c $ distinti. Se sono tutti uguali è banale, se è la via di mezzo non ci ho ancora pensato
!
Siano dati $ x_1,\ldots , x_{30} $ reali non negativi tali che:
$ \displaystyle \frac{x_1+\ldots +x_{30}}{30}=2\cdot \sqrt[30]{x_1\cdot \ldots \cdot x_{30}}\qquad (1) $
Supponiamo ce ne siano tre, WLOG $ x_1 $, $ x_2 $ e $ x_3 $ tali che valga la negazione della tesi, ossia:
$ \displaystyle 2\cdot 10^{10}\, \sqrt[3]{x_1\cdot x_2\cdot x_3} \leq x_1+x_2+x_3\qquad (2) $
Dividendo ogni elemento della 30-upla per la somma di tutti gli elementi della 30-upla si ha che (1) e (2) continuano a valere poiché sono disuguaglianze omogenee. Possiamo quindi supporre che la somma degli $ x_i $ sia uguale a uno.
Riscriviamo ora la (1) elevata alla 10, usiamo la (2) e applichiamo AM-GM:
$ \displaystyle 30^{-10}={\left( \frac{x_1+\ldots +x_{30}}{30}\right)}^{10}=2^{10}\cdot \sqrt[3]{x_1\cdot x_2\cdot x_3}\cdot \sqrt[3]{x_4\cdot \ldots \cdot x_{30}}\leq 2^9\cdot 10^{-10}(x_1+x_2+x_3)\cdot {\left(\frac{x_4+\ldots+x_{30}}{27}\right)}^{27/3}<\frac{2^9}{10^{10}\cdot 27^{9}} $
Dove abbiamo usato che se la somma è 1 le somme parziali, essendo gli $ x_i $ non negativi, sono strettamente minori di 1. Guardando primo e ultimo membro si ottiene:
$ 10^{10}\cdot 3^{27}<2^9\cdot 3^{10} \cdot 10^{10}\quad \Leftrightarrow \quad 3^{17}<2^9 $
ma ciò è chiaramente assurdo, dunque (2) è falsa dunque la tesi.
