正の数a,bについてa<bならば\sqrt{a}<\sqrt{b}は成り立つでしょうか?また、その逆は成り立つでしょうか?
a<bならば\sqrt{a}<\sqrt{b}
a<bを以下のように変形します。
b-a>0
ここで、a,bはそれぞれの正の平方根をもちいてa=(\sqrt{a})^2,b=(\sqrt{b})^2と書けるので
(\sqrt{b})^2-(\sqrt{a})^2>0
因数分解公式x^2-y^2=(x+y)(x-y)より
(\sqrt{b}+\sqrt{a})(\sqrt{b}-\sqrt{a})>0
\sqrt{a}>0,\sqrt{b}>0より\sqrt{b}+\sqrt{a}>0なので両辺を\sqrt{b}+\sqrt{a}で割ると
\sqrt{b}-\sqrt{a}>0
ゆえに
\large\sqrt{a}<\sqrt{b}
なので、命題「a<bならば\sqrt{a}<\sqrt{b}」は真であることがわかります。
ちなみに正の平方根に限定せずa,bそれぞれの平方根をどのような組み合わせでもちいたとしても同様に\sqrt{a}<\sqrt{b}が導かれます。
aを正の平方根、bを負の平方根で表すと
a=(\sqrt{a})^2,b=(-\sqrt{b})^2と書けるので
(-\sqrt{b})^2-(\sqrt{a})^2>0
因数分解公式x^2-y^2=(x+y)(x-y)より
\begin{align*}(-\sqrt{b}+\sqrt{a})(-\sqrt{b}-\sqrt{a})&>0\\[0.5em]\left\{-(\sqrt{b}-\sqrt{a})\right\}\left\{-(\sqrt{b}+\sqrt{a})\right\}&>0\\[0.5em](\sqrt{b}-\sqrt{a})(\sqrt{b}+\sqrt{a})&>0\end{align*}
\sqrt{a}>0,\sqrt{b}>0より\sqrt{b}+\sqrt{a}>0なので両辺を\sqrt{b}+\sqrt{a}で割ると
\sqrt{b}-\sqrt{a}>0
ゆえに
\sqrt{a}<\sqrt{b}
aを負の平方根、bを正の平方根で表すと
a=(-\sqrt{a})^2,b=(\sqrt{b})^2と書けるので
(\sqrt{b})^2-(-\sqrt{a})^2>0
因数分解公式x^2-y^2=(x+y)(x-y)より
\begin{align*}\left\{\sqrt{b}+(-\sqrt{a})\right\}\left\{\sqrt{b}-(-\sqrt{a})\right\}&>0\\[0.5em](\sqrt{b}-\sqrt{a})(\sqrt{b}+\sqrt{a})&>0\end{align*}
\sqrt{a}>0,\sqrt{b}>0より\sqrt{b}+\sqrt{a}>0なので両辺を\sqrt{b}+\sqrt{a}で割ると
\sqrt{b}-\sqrt{a}>0
ゆえに
\sqrt{a}<\sqrt{b}
a,bともに負の平方根で表すと
a=(-\sqrt{a})^2,b=(-\sqrt{b})^2と書けるので
(-\sqrt{b})^2-(-\sqrt{a})^2>0
因数分解公式x^2-y^2=(x+y)(x-y)より
\begin{align*}\left\{(-\sqrt{b})+(-\sqrt{a})\right\}\left\{(-\sqrt{b})-(-\sqrt{a})\right\}&>0\\[0.5em](-\sqrt{b}-\sqrt{a})(-\sqrt{b}+\sqrt{a})&>0\\[0.5em]\left\{-(\sqrt{b}+\sqrt{a})\right\}\left\{-(\sqrt{b}-\sqrt{a})\right\}&>0\\[0.5em](\sqrt{b}-\sqrt{a})(\sqrt{b}+\sqrt{a})&>0\end{align*}
\sqrt{a}>0,\sqrt{b}>0より\sqrt{b}+\sqrt{a}>0なので両辺を\sqrt{b}+\sqrt{a}で割ると
\sqrt{b}-\sqrt{a}>0
ゆえに
\sqrt{a}<\sqrt{b}
\sqrt{a}<\sqrt{b}ならばa<b
命題「a<bならば\sqrt{a}<\sqrt{b}」の逆は「\sqrt{a}<\sqrt{b}ならばa<b」です。これが真であるかを調べます。
これは上述の「a<bならば\sqrt{a}<\sqrt{b}」が真であるかを調べた手順を逆にたどるようにすれば調べることができます。
すなわち、
\sqrt{a}<\sqrt{b}を変形すると
というような手順です。
\sqrt{b}-\sqrt{a}>0
両辺に\sqrt{b}+\sqrt{a}を掛けます。\sqrt{a}>0,\sqrt{b}>0より\sqrt{b}+\sqrt{a}>0なので
\begin{align*}(\sqrt{b}+\sqrt{a})(\sqrt{b}-\sqrt{a})&>0\\[0.5em](\sqrt{b})^2-(\sqrt{a})^2&>0\\[0.5em]b-a&>0\end{align*}
ゆえに
a<b
このように命題「\sqrt{a}<\sqrt{b}ならばa<b」が真であることを知ることができますが、他の方法でも確かめてみます。
\sqrt{a}<\sqrt{b}の両辺に\sqrt{a}を掛けます。aは正の実数より\sqrt{a}>0なので
\begin{align*}(\sqrt{a})^2&<\sqrt{a}\sqrt{b}\\[0.5em]\therefore
a&<\sqrt{ab}\tag1\end{align*}
また、\sqrt{a}<\sqrt{b}の両辺に\sqrt{b}を掛けます。\sqrt{b}>0なので
\begin{align*}\sqrt{a}\sqrt{b}&<(\sqrt{b})\\[0.5em]\therefore\sqrt{ab}&\large<b\tag2\end{align*}
(1),(2)より
\large a<b
となるので、命題「\sqrt{a}<\sqrt{b}ならばa<b」は真であることがわかります。
以上より命題「a<bならば\sqrt{a}<\sqrt{b}」とその逆「\sqrt{a}<\sqrt{b}ならばa<b」はともに真なので、a<bと\sqrt{a}<\sqrt{b}は同値であることがわかります。
また、a,bのとる値の範囲を非負実数に拡張しても同値となりますが、実数にまで拡張してしまうとa,bのいずれかが負の数のとき\sqrt{a},\sqrt{b}のいずれかが大小比較できない虚数となって平方根のほうの不等式が成立しなくなるので同値でなくなります。
Share: