15/12/31 15:16:23.19 4pacScsf.net
x=abb,y=bcc,z=caaとすると、x,y,zも正実数
(左辺)=x^3+y^3+z^3+3xyz=(x+y+z)(x^2+y^2+z^2-xy-yz-zx)+6xyz=(x+y+z)^3-3(x+y+z)(xy+yz+zx)+6xyz
(右辺)=xy(x+y)+yz(y+z)+zx(z+x)=(x+y+z)(xy+yz+zx)-3xyz
(左辺)-(右辺)=(x+y+z)^3-4(x+y+z)(xy+yz+zx)+9xyz=(x+y-2z)(x-y)^2+z((x-z-(y-z)/2)^2+(3/4)(y-z)^2)
この式は、x,y,zの入れ替えに於いて対称なので、最も小さいものをzとすると、
この式が非負であることが確認できる