MathLabs

第3题

求最小的实数 MM，使得对任意实数 aa, bb, cc，不等式 ∣ab(a2−b2)+bc(b2−c2)+ca(c2−a2)∣≤M(a2+b2+c2)2\left| ab(a^{2}-b^{2})+bc(b^{2}-c^{2})+ca(c^{2}-a^{2})\right|\leq M(a^{2}+b^{2}+c^{2})^{2} 恒成立。
第 4/8 步：柯西–施瓦茨给出配套的估计
上一步下一步
(c−a)2=[(b−a)+(c−b)]2≤2[(b−a)2+(c−b)2] ⟹ 3(c−a)2≤2[(b−a)2+(c−b)2+(c−a)2](c-a)^2=[(b-a)+(c-b)]^2\le 2\left[(b-a)^2+(c-b)^2\right]\ \Longrightarrow\ 3(c-a)^2\le 2\left[(b-a)^2+(c-b)^2+(c-a)^2\right]
详细分析

对 x=b−ax=b-a，y=c−by=c-b 用柯西–施瓦茨（即 (x+y)2≤2(x2+y2)(x+y)^2\le2(x^2+y^2)），得 (c−a)2=(x+y)2≤2(x2+y2)=2[(b−a)2+(c−b)2](c-a)^2=(x+y)^2\le2(x^2+y^2)=2\left[(b-a)^2+(c-b)^2\right]。两边同加 (c−a)2(c-a)^2，得 3(c−a)2≤2[(b−a)2+(c−b)2+(c−a)2]3(c-a)^2\le2\left[(b-a)^2+(c-b)^2+(c-a)^2\right]，等号同样当 b−a=c−bb-a=c-b 时成立。