Эквивалентное утверждение: 

 при условии, что 

 (все числа положительны).
Первое неравенство задаёт внешность сферы с центром в точке 

 и касающейся плоскости 

. Достаточно доказать, что эта плоскость лежит ниже поверхности 

. Т.е. что из уравнения 

 следует неравенство 

. Ну это просто неравенство между средним геометрическим и средним арифметическим.