環奈さま
(1)(左辺)-(右辺)
=(1/2)(2x²+2y²+2z²+2xy+2yz+2zx)
=(1/2){(x-y)²+(y-z)²+(z-x)²}≧0
∴(左辺)≧(右辺).[等号成立はx=y=zのとき]
(2)(1)の x,y,z に x²,y²,z² を代入して
(x²)²+(y²)²+(z²)²≧x²y²+y²z²+z²x²
∴x⁴+y⁴+z⁴≧(xy)²+(yz)²+(zx)² …①
(1)の x,y,z に xy,yz,zx を代入して
(xy)²+(yz)²+(zx)²≧xy²z+xyz²+x²yz=xyz(x+y+z) …②
①②より
x⁴+y⁴+z⁴≧=xyz(x+y+z).[等号成立は①②で等号が成り立つときだからx=y=zのとき]