不失一般性

不失一般性
不失一般性(Without loss of generality,缩写:WLOG、WOLOG或w.l.o.g.)是数学证明中常用的一个术语[1][2][3]

应用举例

不失一般性在数学证明中有多种应用场景。例如,在证明舒尔不等式时,可以假设$x \geq y \geq z$而不失一般性。这是因为$\geq $是实数集上的全序关系,且舒尔不等式具有对称性,即无论$x, y, z$之间的顺序如何,不等式的形式保持不变。因此,只需要证明其中一种情况即可推导出所有可能的情况。类似的,当证明代数基本定理时,可以假设多项式最高次项的系数为1而不失一般性。这是因为在不影响多项式根的情况下,将其乘以任何非零常数都是可行的。