回復 41# rock 的帖子
這就像是平常寫證明的時候,從對稱性可以加入一些不失一般性的假設
\(x_1, x_2,x_3,\ldots, x_{n+1} \) 如果最大的是 \( x_5 \) 重新排序
\( x_6, x_7, x_8,\ldots, x_{n+1}, x_1, x_2, \ldots, x_5 \) 重新命名為 \( y_1, y_2, \ldots, y_{n+1} \)
那麼 \( y_{n+1} \) 就是最大的啦
而對 \({x_i}\), \( {y_i} \) 來說,不等式的兩邊值是相同的
故僅須對 \( {y_i} \) 去證明原命題