CommentsTweet「虚数って何?意味あんの?」と高校生に言われたらどう答えるかでは、この2次方程式は実数解を持たない。しても解がほしいと思えるような、2次方程式の例を考えました。この話は、つい先日話題になっていた「何故かが分からないと先に進めない子供」と「役立つことが分からないと先に進めない子供」(togetter)に、まさに当てはまる話だと思っています。「何故かを知りたい派」にとって理解しづらい、「役立つことを理解したい派」が本当に知りたいことが何なのかを考えてみたいと思います。ちなみに私は、どちらかと言うと「役立つことを理解したい派」です。「何故かを知りたい派」への説明ここで言う「何故」とは、「何故○○が成り立つのか」という原理の説明です。矛盾なく四則演算が行えることを示せば十分です。別の言い方をするとこうなります。これを複素数と呼ぶこうやって定義した数の拡張概念を使えば、実数解を持たない2次方程式も解けますよね、ということです。この「何故」をもっと突き詰めるとしたら、このように演算を定義するのは必然なのだろうか?他の演算規則ではだめなのか?2つの実数の組ではなく、3つや4つになったらどうなのか?確かにこれで2次方程式は必ず解けるようになったけど、今度は複素数係数の2次方程式を解くために新しい数を定義しなきゃいけなくなって、きりがないんじゃないの?といった疑問が考えられます。1つ目の、「他の演算規則ではだめなのか?」を疑問に持つ人には、例えばとしてもよいよね、ということを説明すればよいでしょう。なる数も含まれています。こんな風に、本質的に同値な定義は色々可能なのですが、その中で一番簡単なものを使うと複素数の表現になるわけです。2つ目は、ハミルトンの四元数の話になります。四元数は、交換法則が成り立たなくなるので、「交換法則も成り立つ複素数」の立ち位置が理解できます。3つ目は、実はそうではなく、また、それこそが複素数を特別重要なものとして考える意味だということになります。これは代数学の基本定理そのもので、厳密に証明するのは高校数学の範囲では大変ですが、の解を求めるなどすれば、理解はできるでしょう。「何故かを知りたい派」にも色々ある今ここで話題にしているのは、「何故かが分からないと先に進めない」という各人の個人的な感覚についてなので、重要なのは本人が「納得」することです。「何故かを知りたい派」であっても、そこまでの厳密さは求めない人には以下の説明の方が響くかもしれません。数直線この上に虚数はありません。虚数は数直線の外にあります。もこの平面上に表せます。複素数の掛け算は、拡大と回転を表します。i倍は90°の回転を表します。要するに、複素平面の説明です。「納得」の問題なので、これで「ああ、複素数の掛け算は回転なのか」と腑に落ちればそれで十分です。こんな説明で十分でしょうか?学校の先生は上記のような話を丁寧に、分かりやすく、生徒のレベルに合わせて説明すればよい、と思う人には何の問題もありません。これだけでは学ぶモチベーションが全く湧かないという人もいるのです。「役立つことを理解したい派」が知りたいこと「役立つことを理解したい派」が知りたいこと、というか、私が聞きたかったことは何かを書きます。役に立つ例が知りたいんでしょ?例えば電気の計算とか、量子力学とか。理系の分野だったら必ず使うから。説明完了でしょ?と思うみたいなのですが、いや、そういうことじゃないんですよ。言われただけで「役立つことが理解できた」という人もいるでしょうが、大事なのは「本人の納得」なのです。「ああ、こういう風に役に立つのか!」という実感なのです。「ああ、あの計算が楽になるのか」と納得できるかもしれませんが、そうでなければ、「なるほど!確かに役に立つ!」という感覚には至りません。「じゃあ、実際に計算してみればいいのね」というと、そんなに簡単な話ではありません。天下り的に式だけ渡されても、計算結果にありがたみがなく、「役に立った」感が得られないのです。電気について、まずそもそもその回路のその値を計算することがどう役に立つのかを納得する必要があります。加えて、その計算で複素数をどうしても使わなければならないのか、つまり、代替手段が本当にないのかも重要な点です。したことも含めてきっちり説明してくれるなら「ああ、役に立つな」と納得できるのですが、ここまでやるのはなかなか大変です。そこまでやると、もう電気の授業になってしまいます。電気の計算で使うよで納得する人もいるでしょう。これがないと、スマホやパソコンどころか、冷蔵庫も洗濯機も掃除機も動かないよと言われて納得する人もいるでしょう。私にとっては、こういう役に立つ応用の先と、実際に複素数を使った計算式とがつながって初めて「ああ、こういう風に役に立つのか」という感覚が得られるのです。三次方程式の解の公式(カルダノの公式)で使う。3つの解が全て実数の場合でも、虚数を使わないと解の公式が作れない。いうのを、実際に解の公式を求めて、具体的な値を入れて試して、というところまでしっかりやるのが一番納得が行くと思っています。当時の人達が、こんな怪しげな「数」は受け入れられないと思っていた、という点も重要です。それを乗り越えてでも使いたいほど有用性があったということが一つ。一つは、「存在する/しない」の議論になっていたところをどうやって数学的に意味のあるものとして再定義して理論を組み立てていったのか、です。三次方程式の解の公式は、計算が大変です。そこまでやらなくていいから、この2次方程式は実数解を持たない。しても解がほしいという、もっと簡単な例はないの?と思ったのが、前回の記事の意図です。複素平面を使えば平面図形の問題(特に図形の回転に関わるもの)が解けるというのは、確かにそうなのですが、敢えて複素数を学ぶ理由付けとしては弱いかな、と思っています。「じゃあ3次元の図形問題はどうすればいいの?」と言われても答えられないからです。3次元の図形の回転や拡大を扱おうと思ったら、行列を使うことになるので、だったら、2次元の図形問題も、行列を使った方が汎用的です。「教科書にこう書いてくれていたらよかったのに!」という、私の個人的な思いを書きましたが、「役立つことを理解したい派」であっても、「違うそうじゃない」と思った人は多いのではないでしょうか。「ああ、確かに役に立ちそうだ」の感覚は人それぞれだということです。将来就こうと思っている職業で必要かどうかこれを納得できて初めて「役に立ちそうだ」と思える人もいるでしょう。複素数を知らないとなれない職業を除外していった先に、「この職業になってもいいかな」と思えるものが残っているかどうかが重要かもしれません。「教養として知っておくべき」と言えるほど重要な概念なのかがポイントになる人もいるでしょう。三次方程式の解の公式に必要は、それだけでもう「役に立つ」なのです。いうのも、「二次方程式が解けたら今度は三次方程式も解きたいよね?」というのは、自然な拡張であり当然の欲求なので、それ以上の動機づけは必要としないのです。言って、理系の研究職を含むどんな職業に就いたって三次方程式の解の公式なんて使うことはないのですが、そんなことは関係ありません。自戒を込めて言いますが、というか、別に数学の教師じゃないので自戒する必要もないのですが、私がもし数学の教師になっていたとしたら、三次方程式の解の公式を示して生徒に「ほら、役に立つでしょ?」と言っていた可能性が高いです。調子に乗って、「五次以上の方程式には解の公式が存在しないんだよ」と、ガロア理論の説明を数時間に渡って始めそうです。解析接続、リーマン予想、素数!素数!ほら、勉強する気になってきたでしょ?みたいな。「役立つことがわかった」と納得するのに必要な説明は人それぞれだよね、ということです。人によっては、あのビートたけしが数学は重要だって言ってたこれだけで、高校数学が丸っと全部「役に立つこと」に含まれて勉強する気になることだってあるでしょう。実数解を持たない二次方程式をどうしても解きたいことなんてあるの?と質問された先生が説明するネタに使ってくれたらいいな、というのが前回の記事の意図です。「なくてはならない」レベルで役立っている。当たり前のものとして使っている。