已知$x_1^2+x_2^2+\cdots+x_6^2=6,x_1+x_2+\cdots+x_6=0,$證明:$x_1x_2\cdots x_6\le\dfrac{1}{2}$

解答:顯然只需考慮2個非負4個非正(或者2非正4非負)的情況.
不妨設$x_1,x_2\ge0;x_3,x_4,x_5,x_6\le0$,記$a_1=x_1,a_2=x_2,a_k=-x_k (k=3,4,5,6)$則題目變為
已知$a_1^2+a_2^2+a_3^2+a_4^2+a_5^2+a_6^2=6,a_1+a_2=a_3+a_4+a_5+a_6$,求證:$a_1a_2\cdots a_6\le\dfrac{1}{2}$
$\because a_1a_2\cdots a_6\le \left(\dfrac{a_1+a_2}{2}\right)^2\left(\dfrac{a_3+a_4+a_5+a_6}{4}\right)^4$
$=\dfrac{1}{4}\left(\dfrac{a_1+a_2}{2}\right)^4\left(\dfrac{a_3+a_4+a_5+a_6}{4}\right)^2$
$\le\dfrac{1}{4^3}(a_1^2+a_2^2)^2(a_3^2+a_4^2+a_5^2+a_6^2)\le\dfrac{1}{2\cdot4^3}\left(\dfrac{2\sum\limits_{i=1}^{6}a_i^2}{3}\right)^3$
$=\dfrac{1}{2}$
當$x_1,x_2,x_3,x_4,x_5,x_6$中兩個取$\pm\sqrt{2}$,四個取$\mp\dfrac{\sqrt{2}}{2}$時取到等號.