曹武

題 設(shè)x，y，z∈R+，x+y+z=1，求證：

xyz+xy+yzx+yz+zxy+zx≤32.（1）

其他文獻(xiàn)利用三角換元法給出一個(gè)漂亮證明.經(jīng)研究，筆者發(fā)現(xiàn)了一個(gè)出乎意料的方法.

證明 因?yàn)閦+xy=z（x+y+z）+xy=（z+x）（z+y），

同理x+yz=（x+y）（z+x），y+zx=（x+y）（y+z），

所以（1）左邊=xz+x·yy+z+yx+y·zz+x+zy+z·xx+y

≤12xz+x+yy+z+12yx+y+zz+x+12zy+z+xx+y

=12（xx+y+yx+y+yy+z+zy+z+zz+x+xz+x）

=32.

∴ （1）獲證.