一道法國國家隊試題的精巧證明

曹武

題 設x，y，z∈R+，x+y+z=1，求證：

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

其他文獻利用三角換元法給出一個漂亮證明.經研究，筆者發現了一個出乎意料的方法.

證明 因為z+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）獲證.