on a: (a+b+c)²=a²+b²+c²+2(ab+ac+bc) =< 3(a²+b²+c²) (d'après réordonnement)
donc (abc)² =< 3(a²+b²+c²) ce qui donne, (abc)²/3 =< a²+b²+c²
donc, et pour que l'inégalité à démontrer soit vraie, il suffit qu'on eus: sqrt(3)abc =< (abc)²/3 ce qui est équivalent à abc >= 3 sqrt(3) ce qui est vrai en faisant recours à AM-GM, et en revenant à: a+b+c >= abc