相加・相乗平均の関係

相加・相乗平均の関係とは
$a\geqq0$、$b\geqq0$ならば 　$$\dfrac{a+b}{2}\geqq\sqrt{ab}$$ という関係が成り立つというものです

相加・相乗平均の関係の証明

　$a\geqq0$、$b\geqq0$ なら直感的に成り立つと思いますが、感じでは証明にならないので
$$\dfrac{a+b}{2}\geqq\sqrt{ab} \tag{1}$$ $$a+b\geqq 2 \sqrt{ab} \tag{2}$$ $a\geqq0$、$b\geqq0$ なので式２の両辺を平方して $$(a+b)^2\geqq 4ab \tag{3}$$ 式３の両辺から $4ab$ を引いて $$(a+b)^2-4ab\geqq 0 \tag{4}$$ $$a^2+2ab+b^2-4ab\geqq 0 \tag{5}$$ $$a^2-2ab+b^2\geqq 0 \tag{6}$$ $$(a-b)^2 \geqq 0 \tag{7}$$ よって、式１相加・相乗平均の関係は成り立ちます。
式７の左辺は平方なので負の数でも成り立ちますが、相加・相乗平均の関係式には根号があるので負の数を使うと虚数になってしまうことがあるので、式７でも $0$ 以上です

知らなけれな思いつきそうもない証明法があります。 $$f(x)=(x-\sqrt{a})(x-\sqrt{b}) \tag{8}$$ という関数 $f(x)$ を作ります。

この関数 $f(x)$ の解の判別式を利用するところにこの証明法の奇抜なところがあります。 $$f(x)=(x-\sqrt{a})(x-\sqrt{b})$$ $$=x^2-(\sqrt{a}+\sqrt{b})x+\sqrt{ab}\tag{9}$$ 式９の $f(x)$ を２次方程式の解の公式を当てはめると