指数法則と加法定理は親戚:)
先日、数学ガール 〜フェルマーの最終定理〜という記事を書いたけれど、そこで扱われる「(指数関数の)指数法則」と「(三角関数の)加法定理」が「親戚」と言えることを思い出した。
ちょっと印象的な言い回しなのだけれど、実関数としての指数関数と三角関数*1は一本の微分方程式の実部(real part)と虚部(imaginary part)とみなすことが出来る。
これを解くと、唯一の解
が出てくる*2。で、細かいことを省いて象徴的に書けば
勿論、。このうち、実部、虚部を象徴的に書けば
だ。最後の等式はオイラーの公式を使った。
それで、お題目の「指数法則と加法定理は親戚」という話。実数に対して指数法則
を考えてみよう。左辺はオイラーの公式より
一方の右辺は、
実部と虚部を比較すれば
ですよね。そう、これは三角関数の加法定理ですね。複素関数の(正則関数に関する)微分方程式さえ認めれば、指数法則から加法定理を導くことが出来るんです♪
数学ガール 〜フェルマーの最終定理〜
数学ガール/フェルマーの最終定理 (数学ガールシリーズ 2)
- 作者: 結城浩
- 出版社/メーカー: SBクリエイティブ
- 発売日: 2008/07/30
- メディア: 単行本
- 購入: 35人 クリック: 441回
- この商品を含むブログ (259件) を見る
中身は初等整数論の初歩をベースに「急ハンドル」のオンパレードといった感じ。
- まずは、三平方の定理 の解が可算無限だけあるよ、という話を採り上げてリズムを作ったかと思いきや、
- が無理数であることの証明(背理法)でクッションを置いた後、
- 複素数平面にハンドルを切って、群・環・体の導入ときた! 通常でいけば準同型定理くらい出てくるのかなと思っていたら、、、
- 無限降下法でによるFermatの最終定理 の証明。そして、「博士の愛した数式」のモチーフにもなったオイラーの式が登場。単に登場させるならまだしも、
- そこから指数法則や、
- オイラーの公式 しかも、その「後」テイラー展開。あれれ、話の順序は大丈夫、、、?!*1
大学に入って数学を学ぶことになる「解析」「幾何」「代数」の3拍子揃った内容だ。考えてみれば無理もない。フェルマーの最終定理の証明自体も、それら3分野の基礎は元より保型形式論、楕円曲線論など多くの分野をまたがる「知的アクロバット」なのだから。恐らく著者の結城さんは、多くの読者にその「アクロバット」を楽しんで欲しかったのだと思う。
数学の専門書となると、
定義→命題→証明→定義→命題→証明→...
といういつ終わるとも知れない連鎖にドハマリしがちだけれど*2(大汗)、本書p306の
幸いなことに、谷山・志村の定理の雰囲気を味わうだけなら、大きな武器はいらない。必要なものは剰余、根気、想像力だ。
にもあるように、この本の要所要所で要求されるのは、まさに「根気」。そして読み終えた後に私たちに備わっているのは「想像力」なのだろう*3。
実は、恐れ多くも本書を購入前に著者の結城さんからは
「数学ガール」シリーズは、読者さんの数学の理解度に応じていくらでも楽しめるようにできています。理解できなくても楽しめるように作っていますので、中学生から大学院の先生まで読者層です。
http://twitter.com/#!/hyuki/status/48955150592770048
とのメッセージを頂いていた。読者各人の数学的素養に依らず、「想像力」を最大限に引き出してくれる良書となるだろう。
さて、当初の目的、ヨメへの説明が成功するか、つまり本書が「面白くなくない数学」となりうるは定かでない(と言うか、読めば読むほど話題の豊富さを前に頓挫しそうな気がしてきた)。。。
マグニチュードが0.2増えるとどうなる?
先日(2011/3/11)の大地震の時、はじめは「マグニチュード8.8」と発表された後、
「マグニチュード9.0」に修正されました。
その報道の際、「マグニチュードは0.2だけ増えましたが、地震のエネルギーは2倍になりました」
という表現が使われていました。
どう計算すると「マグニチュード0.2の差異が(地震の)エネルギーとして2倍異なるようになるのか」
について解説してみたいと思います。
Wikipediaによれば、地震のエネルギーとマグニチュードの間には、
の関係が成立していると言われます。詳しくはWikipediaのマグニ チュードのページをご参照あれ。
それで、
とすると、上の式より
が成立します。両式を引き算すれば、
ですね。対数の公式
を思い出せば、左辺
よって上の式は
対数の定義より
つまり
となります。マグニチュードが8.8から9.0になった時、地震のエネルギーは1.995倍(≒2倍)となることが分かりました。
地震の「エネルギー」はジュールで測られます。「ジュール」がよくイメージできない場合は、
とりあえず、「カロリー」でもいいです。ダイエットとかでよく
1日の摂取カロリーが××○○、、、
といわれますよね。
因みに、同様な計算からマグニチュードが1.0だけ大きくなると、地震のエネルギーはだけ大きくなることが分 かります。
上記の文脈とは全く関係ありませんが、語学マニアのために付け加えると、
名詞「magnitude:壮大さ、偉大さ」は形容詞「magnificent:壮大な、堂々とした」の派生語などがあります。
フランス語でも、形容詞「magnifique:すごい」は日常会話でもよく使われる、、、と思います(確か)w
2xとx^2は何が違う?
中学1年の時に思った疑問です。
とは何が違う?
定義をみれば明らかですよね:
で、もう一方は、
つまり、はを2つ加えたもの、はを2つ掛け算したもの。演算の違いってことですね。
いや、当たり前なんですけどねww
展開公式の話
中学2年生?もしくは3年生で展開公式を習いますよね。例えば、
ていうやつ。で、公式だけ覚えてると、
みたいに真ん中のを忘れちゃう人がポコポコ出て来たりするんですが(汗)この式だって、頭から「ちゃんと覚えなさい!」とか言っても覚えるわきゃないのです(多分)。
視点を変えて、間違ってしもた式
は成立し得ないのか?と考えてみれば、となるような「数の体系」では成立しますよね。そんなもんあるのか、っていうと、これがまたあるんです♪ 「数の体系」がであるよな「数」を考えればね。この数の世界での「和」は、
と「定義」してあげれば矛盾なく和の演算が定義できます。最後の
てのが何やら違和感を覚える感じがしますが、ここがまさにであることを示します。情報系の言葉でいえば、「排他的論理和」と呼ばれます。数学の言葉では、に和を定義したもの、と言えば通じるでしょうか。
なんかいろいろ専門用語が連なりましたが、根っこは一緒。
ヒス○リックに「ちゃんとを覚えなさい!」と言うのは簡単ですが、そもそもこの「ちゃんと」に根拠は全くありません。だって、は成立する場合だってあるんだから。
間違いをきっかけに立ち止まって考えてみるのもたまにはいいカモですね。
なんで(-1)x(-1)=1なの?って話。
中一くらいで疑問の思うありがちな話ですよね〜。でも、「整数の数体系」を考える限り、こうならざるを得ないんです。*1
この手の話のって、証明しちゃえば、まずはぐうの音も出ませんよね。
では早速〜。
Prop.
である。
Proof
まずは、
ですよね。両辺にを書けると
で、左辺、右辺なので、
両辺にを加えて、
ですね。■
さて、上の証明を眺めてみると、
- 式の両辺に対して、を掛け算
- 分配法則の適用
という「ルール」を適用しただけです。
逆にこれらの「ルール」が成立する体系であれば、常にという等式は成立することになります。
寝起きで何だか頭が寝ぼけてるんですが(汗)、ま、そういうことで(笑)
*1:話はややこしいので、詳しくは説明しませんが、そうじゃない「数」の体系も作れるカモですが、今日は話しません
微分方程式って言えば、高校数学じゃなかったな。
さっき書いた半減期とは?という記事で、何の断りもなく「微分方程式(differential equation)」という言葉を使ってしまいましたね。
そういや、ボクも高校生の時に微分方程式っていう言葉は知ってこそいるけど、教科書に載っていないんでした。。
あんまり杓子定規に考えても仕方ないので、(後付けではあるんですが)理屈としてスッキリするやり方で書いてみますね。
皆さんに微積分の知識はあると想定します。そのとき、指数関数の微分てのは、一般に
とします。勿論、eは自然対数です。例えば、
なんかが該当します*1。これを解釈すると、を微分すれば、係数はつきますが、同じ関数が現れますね。てことで、微分しても「変わらない」関数を考えてみます。つまり
というものです。微分しても全く変わらない関数。そんなもんあるんですか?という発想。1つ前の式が頭にあれば、となるような定数なら良さそうです。つまり指数関数の底が自然対数というもの。これは、
という意味です。これ、高校数学の教科書の範囲でも載ってる範囲、、、てか、知ってなきゃいけない話ですね(笑)
で、いちいちと書くのが面倒っちいので、と書いてみます。すると上の方程式は、
という方程式になりますね。これはもちろん、
と書くことも出来ます。この方程式からという式を導き出すにはどうしたらいいでしょうね。この発想は、2次方程式からと導き出す仮定を見いだすアルゴリズムを考える、ていうことです。大概こういうのって面倒なんですけどね(笑)*2
閑話休題。ともかく関数は微分されてますから、上式の積分をせにゃ元に戻らなそうです。これまた後知恵なんですが、
ですよね。これを「形式的に変形」して
ですね。変数をzにすると複素関数論なんかをご存知の方から「変数を複素数に変えたんか!」とか突っ込まれそうですけど、単に新しい変数を導入したいだけです。。。これを踏まえてさっきの式を変形すると、
で、左辺はさっきの通りですから、
です。両辺を積分すると、
です。微分して積分したら元に戻る、てことで、
になりますね。ここでは積分定数です。よって、
ですね。右の等号は指数法則を使いました。ちょっと「形式的」な話が腑に落ちない感じはしますが(汗)、ま、それはおいおいということで(笑)
以前、ポアンカレ予想"追跡"日記 〜多様体の定義〜にも書きましたが、高次元の図形である「多様体(manifold)」になると、こういった微分や積分の話を「拡張」して「微分形式(differential form)」なんてものも登場したりします。必ずしも微分方程式を解くための道具というわけではないんですが、そもそもの意味付けを行うことと同時にこういった「形式」を覚えるのもそれなりに意義があったりもします♪
高校数学だけやってると、こういう話って分からないんですけどね。。。