MathLabs
定理已证明

舒尔不等式($r=1$)

命题陈述

对非负实数 a,b,ca,b,c:a(a−b)(a−c)+b(b−a)(b−c)+c(c−a)(c−b)≥0a(a-b)(a-c)+b(b-a)(b-c)+c(c-a)(c-b)\ge 0,等号成立当且仅当 a=b=ca=b=c,或其中两个相等而第三个为 00。

为什么成立?

舒尔不等式是应对直接用 AM–GM 或柯西–施瓦茨难以解决的对称三元竞赛不等式的标准终结手段,尤其是同时涉及 a+b+ca+b+c、ab+bc+caab+bc+ca、abcabc 的情形。

证明思路

第1步:利用对称性化简。 式 a(a−b)(a−c)+b(b−a)(b−c)+c(c−a)(c−b)a(a-b)(a-c)+b(b-a)(b-c)+c(c-a)(c-b) 关于 a,b,ca,b,c 对称,故不失一般性设 a≥b≥c≥0a \ge b \ge c \ge 0。

第2步:合并前两项。 合并 a(a−b)(a−c)+b(b−a)(b−c)=(a−b)[a(a−c)−b(b−c)]a(a-b)(a-c) + b(b-a)(b-c) = (a-b)\big[a(a-c) - b(b-c)\big],从两项中提出公因子 (a−b)(a-b)(注意 b(b−a)(b−c)=−(a−b)⋅b(b−c)b(b-a)(b-c) = -(a-b)\cdot 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)a(a-c) - b(b-c) = a^2 - ac - b^2 + bc = (a^2-b^2) - 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)\cdot(a-b)(a+b-c) = (a-b)^2(a+b-c)。于是整个表达式等于 (a−b)2(a+b−c)+c(a−c)(b−c)(a-b)^2(a+b-c) + c(a-c)(b-c)(最后一项正是原来的第三项,未变)。

第5步:逐项判号。 因为 a≥b≥c≥0a \ge b \ge c \ge 0:恒有 (a−b)2≥0(a-b)^2 \ge 0。关于 a+b−ca+b-c 的符号:由 a≥ca \ge c 得 a−c≥0a - c \ge 0,又 b≥0b \ge 0,故 a+b−c=(a−c)+b≥0a+b-c = (a-c)+b \ge 0。因此 (a−b)2(a+b−c)≥0(a-b)^2(a+b-c) \ge 0。对第二部分:c≥0c \ge 0,a−c≥0a-c \ge 0(因 a≥ca\ge c),b−c≥0b - c \ge 0(因 b≥cb \ge c),故 c(a−c)(b−c)≥0c(a-c)(b-c) \ge 0 是三个非负数之积。

第6步:结论。 整个表达式是两个非负项之和,(a−b)2(a+b−c)+c(a−c)(b−c)≥0(a-b)^2(a+b-c) + c(a-c)(b-c) \ge 0,证明了 r=1r=1 时的舒尔不等式。取等要求两部分都为零:或 a=ba=b(使第一项为 00)且 c(a−c)(b−c)=0c(a-c)(b-c)=0(若再有 a=ca=c 则 a=b=ca=b=c;若 c=0c=0 则 a=b,c=0a=b, c=0),与所述取等条件相符。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. J. Michael Steele (2004). The Cauchy-Schwarz Master Class
  2. Radmila Bulajich Manfrino, José Antonio Gómez Ortega, Rogelio Valdez Delgado (2009). Inequalities: A Mathematical Olympiad Approach
  3. Thomas M. Cover, Joy A. Thomas (2006). Elements of Information Theory