MathDB
2000 KJMO if product is not smaller than the sum

Source: 2000 KJMO

June 29, 2024
inequalitiesalgebra

Problem Statement

x,y,zx, y, z are positive reals which their product is not smaller then their sum. Prove the inequality:
2x2+yz+2y2+zx+2z2+xy9\sqrt{2x^2+yz}+\sqrt{2y^2+zx}+\sqrt{2z^2+xy} \geq 9