高校数学の発展: 実数の絶対値と複素数の絶対値の根本的な違い

先日の記事でも紹介したように、虚数同士の大小を（私たちのよく知る意味においては）比較することはできません（詳細）。一方で、虚数の絶対値は定義することができます。しかし、その扱いには注意が必要です。

問．$|z-2|=1$を満たす複素数$z$を求めよ。

これに対して、ある学生は以下のように考えました。

まずは絶対値記号をはずして
\begin{equation*}
z-2=\pm1
\end{equation*}
より、
\begin{equation*}
z=1,3
\end{equation*}
実はこれは間違いです。どこがおかしいか説明できますか。

本稿では、

１．複素平面についておさらい
２．複素数の絶対値の定義を納得する
３．実数の絶対値と複素数の絶対値の根本的な違いを指摘する
４．この問いに対する正しい答えを導く

ことを行います。

必要な知識
- 実数の絶対値の定義や絶対値記号の外し方
- 複素数と虚数の定義(詳細)
- 円の方程式$x^2+y^2=r^2$

復習―複素平面と複素数の絶対値

まずは、複素平面について復習する。高校の教科書に載っている内容であるから、既習の方は読み飛ばして構わない。

我々は実数というものが数直線上の点で表現されることをよく知っている。これに対応して、二つの実数$x,y$からなる複素数$z$を平面上の点として表すことができる。この平面を複素平面と呼ぶ。方法はいたってシンプルであり、横軸に$z$の実部$x$、縦軸に虚部$y$をとるだけである。例えば、複素数$2+i$や$-2+3i$は次の図のようにプロットされる。

上図の黒い点が左から複素数$-2+3i,2+i$に対応する点である。全ての実数が数直線上の点に対応するように、全ての複素数が複素平面上のいずれか1点に対応する。

ここで、実数の絶対値の定義を思い出して欲しい。実数$a$の絶対値$|a|$はなんだと教わっただろうか。単に「符号をとったもの」ではなく、「絶対値とは数直線上の原点との距離」と習ったはずである。このことから、複素数の絶対値を複素平面上の原点との距離と定義しよう。

定義
$x,y$を実数としたとき、一般の複素数$z=x+iy$の絶対値は
\begin{equation*}
|z|=\sqrt{x^2+y^2}
\end{equation*}
で定義される。

勘違いの正体

実数$a$について、$|a|=2$というのは数直線上において点$a$が原点から距離$2$だけ離れていることを意味する。これを満たす$a$は$+2$と$-2$の二点のみということが下の数直線からも分かる。

|a|=2の意味する点は、数直線上の原点から2だけ離れている二点。つまり、+2と-2のみ。

一般に0でない実数$a,b$について$|a|=b$を満たす点$a$は$\pm b$の二点に限られるため、たとえば絶対値を含む$x$に関する方程式$|f(x)|=b$は、$f(x) = \pm b$として、考えることができた（もちろん解が求まった後に付帯条件を満たすか確認が必要だが）。

一方で、複素数$z=x+iy$について$|z|=2$を満たす点というのは、複素平面上の原点からの距離が2である点を指す。$z$の絶対値は定義より$\sqrt{x^2+y^2}$であるから、複素平面上において$\sqrt{x^2+y^2}=2$を満たす点を指すので、$|z|=2$を満たす点は無数に存在する。図形と方程式の章で学習した円の方程式を思い出せばわかるように、$\sqrt{x^2+y^2}=2$というのは中心が原点で半径が2の円を表すからだ。