みなさんは、好きな複素数ってありますか?(ただし実数は除く)
「好きな整数」を持ってる人なら少なくないと思います。それこそラッキー7の7とか。自分の誕生日とか。691とか。
「好きな実数」まで広げても、eとかπとかとか、いろいろあるでしょう。
でも、「複素数」となると? 「私の好きな複素数は○○です」って言ってる人、ほとんど聞いたことないです。あったとしても、2乗して-1の「」そのものとか、3乗すると1になる「ω()」とかぐらいのものでしょう。
これって不思議だと思うんですよね。整数だったら2でも3でも163でも、それぞれに面白い性質が山ほどあることを思うと、例えば「」や「」などという個別の複素数にもそれぞれに面白い性質はいくらでもある、と考えるのは当然でしょう。でも、個別の整数について面白い性質を知っているほどには、個別の複素数の持つ面白い性質をわれわれは知らない。不思議です。
そういう「個別の複素数についてよく知らない」という理由もあって、好きな複素数を持つ人はあまりいないのかなと思います。
上下に向かって伸びる数
東京で「数学デー」という、数学好きが集まって議論したり研究したりあるいは駄弁ったりゲームしたりする部活みたいなコミュニティを運営しています。
ある日、数学デーのお客さんの一人である岩淵さんという方(@butchi_y)が、こんなアイデアを持ってきてくれました。
「小数って、小数点の右と左に数が伸びているわけだけれど、小数点の上下に、つまり4方向に数が伸びているような数って考えられないかな?」
すなわち、こういうことです。
クレイジーですね。そういうの大好きだ。
つまりこの表記の数はどういう概念を表すことにするのがよい(面白い/整合的)か? ということを考えたいわけです。
いろいろな発想がありうるでしょうが、私達はこういうふうに考えました。
現在我々が使っている小数表記において、小数点の右側に伸びていく位はを、すなわちを表し、左側に伸びていく位はを、すなわちを表します。十進法の場合。
だとしたら、この上下にも伸びるのを認めた表記では、上側に伸びていく位はを、下側に伸びていく位はを表すことにするのが妥当であろう、と。
は虚数単位のです。つまり、複素平面において、実数軸が横に、虚数軸が縦に伸びていることからのアナロジーなわけです。
そう考えると、例えば
という表記の数は、を表すことになります。これは実際にはくらいのひとつの複素数を表します(主値)。
どうでしょう。なかなかいい定義なのではないでしょうか。とりあえず名前としては「i乗表現」とでもしておきましょう。
数学デーで乗表現の検討をすすめたところ、なかなか面白い結果がいくつか得られました。その話もいつか是非したいのですが、実は今回の本題はそこではありません。
i乗表現で
と書くと、この数はを表します。そこで私達ははたと立ち止まってしまったわけです。
って、何なんだ?
例えばは「10を5回かけた数」と素朴に捉えられます。指数部分がマイナスや分数になっても、指数法則を使って考えればうまいこと定義できます。
じゃあ、指数部分が複素数になってたらどうするの? って、一体どんな数? というのが、今回の本題です。
オイラーの公式
さて、それを理解するために、まずはこちらをご覧ください。
こちらの方は、何を隠そうかの有名な「オイラーの公式」様です。 この式を使ってという数に挑んでいきます。
とりあえず「何も聞かずに一旦この式は成り立つものだと認めてください」と言って話を進めようかとも思ったのですが、せっかくなのでまずはざっくりと、非常にざっくりとですがこの式がなぜ成り立つかという話もしておきましょう。
オイラーの公式のざっくりとした証明
「関数」というものの中には、関数の無限和で表すことができるものがあります。
オイラーの公式には、その見た目に指数関数と、三角関数とという3つの関数が現れているわけですが、これらはどれも関数の無限和で表すことができます。
例えばとは、それぞれ次のようになります。
「」という関数のを偶数にして、符号を交互に変えながら足すとに、奇数にするとになるというわけです。すなわち「関数の無限和で関数を表している」ということ。面白いですね。
の場合についてビジュアライズしてみるとこんな感じです。 赤に対して次々現れる黒をどんどん足していってます。
どんどん関数を足していってどんどんに近づいていく感じがおわかりいただけるでしょうか。
上記の分解操作を「マクローリン展開※」といい、実際には微分を使ってゴニョゴニョすることで得られます。※「マクローリン展開」は「テイラー展開」を原点まわりに限った特殊な場合のものを指します。
の方のマクローリン展開も見てみましょう。こうです。
んっ、と。思うわけです。なんか似てますよね。三角関数の方と。は偶数だけで、は奇数だけでした。そしては両方。あと違うのは符号だけです。とはプラスとマイナスが交互に来てたのに、では全部プラス。
さてここで、のの部分に「」というものを形式的に代入してみます。
だったことに留意して式変形すると、
でくくると、
これはまさに上記のとのマクローリン展開そのものということで、結局次の式が得られます。
ううむ。みごとですねえ。
オイラーの公式のざっくりした証明でした。本当はもっと(そんなとこに虚数入れてもいいのかとか)ちゃんと考えないといけませんが、今回使う分においてはとりあえず成り立つことだけ知っておけば十分です。
では本題に戻りましょう。とはどんな数でしょうか?
の式変形
とか、一般のとかについてはまだわからないけれども、とりあえずにが乗じられた形をしているものについては、オイラーの公式をあてはめて式変形することができそうな気がしてきました。
というわけなので、ここではをという「形」にもっていくことを考えましょう。
ここで「対数」が便利に使えます。そもそも対数「」は、「を何乗するとになるか、という数」として捉えられるのでした。はなわけです。
そして「」に「を何乗するとになるか、という数」を乗じると、まあ当然になります。式で書くと。
これを利用するのです。するとは「」と書くことができ、さらに対数の公式の一つ「」を使ってを前に持ってくれば、
と結論付けられます。がという形になったわけですね。
さて、これでオイラーの公式に当てはめることができるようになりました。すなわち、オイラーの公式のの部分にを代入するわけです。実際にやってみると、
(オイラーの公式)
より、
ということがわかります。
図形的に捉える
ここでそもそもの話なんですが、「」って、図形的にはどういう意味として捉えられるでしょうか?
それを感じるために、こちらに複素平面上に置かれた単位円を用意してみました。横軸は実軸、縦軸は虚軸です。いくつか複素数の例を置いてあります。
そしてとは、ここの数を指します。
角度がということは、そこまでの弧の長さもということで、例えば弧の長さがならばこの辺にきます。
このあたりの話は、こちらの記事が理解の助けになるでしょう。
さて、ここまで「ってどんな数?」とあいまいな問い方をしてきましたが、この図形的な表現が一つの答えになると思うわけです。すなわち、とは
であり、言葉で言うならば「複素平面上に置いたとき、原点からの距離(複素数の「絶対値」といいます)が1であり、軸との角度(「偏角」といいます)がであるような数」となるでしょう。
他にもいろいろな捉え方はあるでしょうが、やっぱり複素平面上に置かれて「これのことです!!」と言われると「正体見たり」の感じがして個人的には腹落ち感があります。
について
さっきまでの話を一般化します。一般に、は「絶対値が1、偏角がであるような複素数」です。
おお! なんか淡々と書いてきたのであれですが、今になってそれってすげえなとなんか普通に思ってしまいました。というものをひとまず手中に収めた感じがするからでしょうか。
ここまでわかったところで、突然ですがこのへんでちょっと「」という数について考えてみようと思います。つまり「自然対数の底」の乗です。
これはオイラーの公式的に言うならば「」です。のところに1が入るわけです。つまり、
ということで、を図形的に言うならば
です。角度1ラジアン、弧の長さが1になるような扇形が発生します。
これ、なんだかよくないですか? 「2辺と弧の長さがすべて1」というきれいな扇形を、一方の辺が軸上に乗るように複素平面上においたとき、その頂点のうち0でも1でもないもの。そこに「」が現れるというんです。
どうですか? そうですか。
数学デーでこれに気づいたとき、一瞬にしてが「好きな複素数」になってしまいました。だってきれいじゃないですか。すべての長さが1の扇形って。
今度から「好きな複素数は?」と聞かれたら自信を持って「です!!」答えることができます。
まとめ
ここまで、「ってどんな数?」ということについて見てきました。まとめるとこんな感じでしょうか。
・は、対数を使ってという形に変形させることができる。
・という形の数は、オイラーの公式をあてはめることができる。
・を変形したにオイラーの公式をあてはめると、が複素平面上のどこに位置するかが直感的にわかる。
そして、の複素平面上の位置をもってして、「どんな数?」への答えとしたいと思うわけです。
さらにそこから考えを進めて、というステキな数と出会うこともできました。これは最初に「上下に伸びている数」をいじって遊んでいた頃には想像もできないことでした。よかったですね。
とはいえ、上でも書きましたが今回の記事では「」などの数に考察を与えるだけにとどまっていて、「乗表現」そのものの面白さ、便利さなどに対する考察は与えていません。機会があればそのへんにも触れたいですね。
おわりに
みなさんは、好きな複素数ってありますか?(ただし実数は除く)
そのものやωってのもいいですが、実はっていうのがあってですね、私はこれがなんとなくエモくて好きなんですよ。はい。
みなさんも、これを機会に「好きな複素数」について考えてみるとよいのではないかなと思います。
では今回はこのへんで!