【複素数】iと2iってどっちが大きいの？（大小関係）

　等式・不等式の証明，相加平均と相乗平均の大小関係…
そんな証明の後に学ぶであろう「複素数」
　証明の後なので，ついつい $i$ の大きさを考えてしまいたくなる
という方も多いのではないでしょうか

　結論から言ってしまうと虚数 $i$ は大きさを持たない（正の数でも負の数でもない）ため，大小関係を考えません
　今回はなぜ虚数 $i$ は大きさを持たないのか，について考えてみます

そもそも $i$ ってどんな数？

2 乗して -1 になる数を $i$ で表す

　つまり，　 $i^2=-1$ 　とする

とくに $i=\sqrt{-1}$ と定める

虚数 $i$ が大きさを持たないことを、背理法を用いて簡単に示してみます。

$i\gt0$ のとき
　両辺に $i$ をかけると
$i^2\gt0$ となる
　（正の数をかけているので不等号の向きは変わらない）

これは $i^2=-1$ であることに矛盾する
よって $i$ は正の数ではない

$i\lt0$ のとき
　両辺に $i$ をかけると
$i^2$ > 0 となる
（負の数をかけているので不等号の向きが逆になる）

これも $i^2=-1$ であることと矛盾する
よって $i$ は負の数ではない

$i=0$ のとき
　両辺を２乗すると
$i^2=0$ となる

これも $i^2=-1$ であることと矛盾する
よって $i$ は 0 ではない

①～③より， $i$ は正の数，負の数，０のいずれでもないことが分かる
（ $i$ については大小関係を考えない）

　今まで考えてきた大小関係はあくまでも実数の中で大小を比べていただけであって，複素数の範囲では大小関係そのものが考えられないときもあります

　このことを知っておくと，証明の際に実数であることを述べる大切さに気がつきますね