定理已证明
舒尔不等式($r=1$)
命题陈述
对非负实数 a,b,c:a(a−b)(a−c)+b(b−a)(b−c)+c(c−a)(c−b)≥0,等号成立当且仅当 a=b=c,或其中两个相等而第三个为 0。
为什么成立?
舒尔不等式是应对直接用 AM–GM 或柯西–施瓦茨难以解决的对称三元竞赛不等式的标准终结手段,尤其是同时涉及 a+b+c、ab+bc+ca、abc 的情形。
证明思路
第1步:利用对称性化简。 式 a(a−b)(a−c)+b(b−a)(b−c)+c(c−a)(c−b) 关于 a,b,c 对称,故不失一般性设 a≥b≥c≥0。
第2步:合并前两项。 合并 a(a−b)(a−c)+b(b−a)(b−c)=(a−b)[a(a−c)−b(b−c)],从两项中提出公因子 (a−b)(注意 b(b−a)(b−c)=−(a−b)⋅b(b−c))。
第3步:化简括号内。 展开 a(a−c)−b(b−c)=a2−ac−b2+bc=(a2−b2)−c(a−b)=(a−b)(a+b)−c(a−b)=(a−b)(a+b−c)。
第4步:合并。 代回,合并的项等于 (a−b)⋅(a−b)(a+b−c)=(a−b)2(a+b−c)。于是整个表达式等于 (a−b)2(a+b−c)+c(a−c)(b−c)(最后一项正是原来的第三项,未变)。
第5步:逐项判号。 因为 a≥b≥c≥0:恒有 (a−b)2≥0。关于 a+b−c 的符号:由 a≥c 得 a−c≥0,又 b≥0,故 a+b−c=(a−c)+b≥0。因此 (a−b)2(a+b−c)≥0。对第二部分:c≥0,a−c≥0(因 a≥c),b−c≥0(因 b≥c),故 c(a−c)(b−c)≥0 是三个非负数之积。
第6步:结论。 整个表达式是两个非负项之和,(a−b)2(a+b−c)+c(a−c)(b−c)≥0,证明了 r=1 时的舒尔不等式。取等要求两部分都为零:或 a=b(使第一项为 0)且 c(a−c)(b−c)=0(若再有 a=c 则 a=b=c;若 c=0 则 a=b,c=0),与所述取等条件相符。