Solve: By Cauchy-Schwarz inequality, we have (12+12+12)(x2+y2+ z2)⩾(x+y+z)2, and x+y+z=3,x2+y2+z2= 3, so the equality of the above inequality holds, thus x=y=z=1, which also satisfies x5+y5+z5=3, hence the solution to the original system of equations is x=y=
Reference [1] gives the following inequality:
Given x,y,z∈R+, and x+y+z=1, then
(x1−x)(y1−y)(z1−z)⩾(38)3
The original text proves inequality (1) using advanced methods, but the process is rather complex. Below, the author provides a simple elementary proof of the inequality.
Proof x1−x=x1−x2=x(1+x)(1−x)=(y +z)⋅x1+x, similarly, y1−y=(x+z)⋅y1+y,z1−z =(x+y)⋅z1+z
Multiplying the three equations, we get: (x1−x)(y1−y)(z1−z)=(x+ y)(y+z)(z+x)⋅xyz(1+x)(1+y)(1+z), using the identity (x+y)(y+z)(z+x)=(x+y+z)(xy+yz +zx)−xyz, hence (x1−x)(y1−y)(z1−z)=[(xy +yz+zx)−xyz]⋅xyz(xy+yz+zx)+xyz+2 = xyz(xy+yz+zx)2−(xyz)2+2(xy+yz+zx)−2xyz =[x2y2+y2z2+z2x2+2xyz(x+y+z)−(xyz)2 +2(xy+yz+zx)−2xyz]/xyz ⩾xyzxyz(x+y+z)+2(xy+yz+zx)−(xyz)2 =1+2(x1+y1+z1)−xyz ⩾1+2×9−271=19−271=27512=(38)3.
Equality holds if and only if x=y=z=31.