有名不等式a^2+b^2+c^2≧ab+bc+caのいろんな証明

両辺の差を取って $a^2+b^2+c^2-ab-bc-ca\geq 0$ を示せばよいが，

(左辺)＝ $\dfrac{1}{2}\{(a-b)^2+(b-c)^2+(c-a)^2\}$ 　と平方の和に変形できるので題意は示された。

両辺の差を $a$ の2次式と見て平方完成する：

$a^2+b^2+c^2-ab-bc-ca\\ =\{a-(\dfrac{b+c}{2})\}^2+\dfrac{3}{4}b^2+\dfrac{3}{4}c^2-\dfrac{3}{2}bc$

残りの部分を $b$ の2次式と見て平方完成する：

$a^2+b^2+c^2-ab-bc-ca\\ =\{a-(\dfrac{b+c}{2})\}^2+\dfrac{3}{4}(b-c)^2$

平方の和に変形できるので題意は示された。

相加相乗平均の不等式より，$a^2+b^2\geq 2ab$

同様に，$b^2+c^2\geq 2bc$ , $c^2+a^2\geq 2ac$

以上3つの不等式を辺々加えて2で割ると求める不等式を得る。

シュワルツの不等式より，$(a^2+b^2+c^2)(b^2+c^2+a^2)\geq(ab+bc+ca)^2$

両辺の平方根を取ればよい。

$[2,0,0]\geq[1,1,0]$ なので，ムーアヘッドの不等式から $a^2+b^2+c^2\geq ab+bc+ca$

$a^2+b^2+c^2-ab-bc-ca\\ =(a, b, c)\begin{pmatrix}1 & -1/2&-1/2\\-1/2& 1&-1/2\\-1/2&-1/2&1\end{pmatrix}\left(\begin{array}{c}a\\b\\c\end{array}\right)$

$=(a, b, c)A\begin{pmatrix}a\\b\\c\end{pmatrix}$

となるが，簡単な計算によりAの小行列式は $1，\dfrac{3}{4}, 0$ のいずれかとなり，全て非負なのでAは半正定値行列である。よって題意の不等式は示された。