はじめに
たまに好きな定理とか公式とかを聞かれませんか? 思い出すために毎度過去にしたTwitter()の投稿をさかのぼることにならないように, ここへまとめておくことにしました.
しかもTwitter()などのプロフィールにはこの記事へのリンクを貼ればいいということになりますからね!
好きな数
いちおう「数学をやっている人間」の端くれではあるので, 「好きな"数"はなあに?」と聞かれたら複素数含めありとあらゆる数から選びます.
では数学界で人気な円周率かというと, それもそれでありきたりなのでつまんないなと思ってしまうのがわたしというひとです. ただしもちろん計算の答えとしてが登場したら嬉しいですよ.
わたしの好きな数はレムニスケート周率です。
上記の11桁は覚えています. 一方の円周率は35桁()覚えているので悔しいです.
まだ記録更新してません(2023/10/31時点).
いちおう言っておくとはガンマ関数という関数です.
少し掘り下げます.
どちらも「〇〇周率」ですが, そこ以外にもちゃんと似た側面があります. 両方の値の積分表示にはそれぞれこのような表示があります:
そっくりですよね. どちらも広義積分ですが, 円周率のほうは高校数学の知識で計算を理解できます.
一方, の指数をからに変えただけでその顔は豹変し, 初等関数で答えが出ない積分になってしまいます.
たしかに, 上記でレムニスケート周率はガンマ関数で表されていましたよね.
次に, 「レムニスケート周率」というぐらいですから当然「レムニスケート」という図形が存在します. 方程式は,
または
となり, グラフはこのようになっています:
レムニスケートのグラフ
ちなみに囲まれている部分の面積はで, のとき周の長さがとなります.
最後にもう一つ.「」はの異体字で, 「ファイ」にとがあるのと同じです. では「\varpi
」で出せます.
好きな式とその値
これは, 見た目の初見殺し感と美しさを兼ね備えているところが好きな式です.
というのはモンモール数というものであり, 個の要素の完全順列の総数です. 式での表現は次のようになります:
この表示と, のマクローリン展開より, 簡単に先ほどの極限が求まりますね.
好きな問題
● 斬新なの使い方
中学生のころ, 先取りをしていて長い間全く分からなかった問題です.
こんなヘンなの使い方, 是非とも習得したい!と思った出会いから, 先生に質問して解き方が分かるまで数年間ずっと気になり続けた謎だったので, わかったときはとても嬉しかったのを覚えています.
解答・解説
(1)
そのままでは全く分からないので, へ実際に代入して考えます. ここで忘れてはいけないのは, はずつ増えるということですね.
「がからずつ増えていって, 最終的にになればいい」ので
こういうことです。つまり
こう書き直すことができますね.
そしたらあとはをくくりだして区分求積ですね. 答えはです.
(2)
次も同じようにできます. しかも(1)の後半に出てきた形と似ていますね.
ただ, 完全に同じ考え方をする問題を二つ並べることはないので, こちらはひと工夫いるようになっています.
いくつかのカタマリに分けられそうなのがわかるでしょうか? がスタートのときはで終われば都合がいいというところから,
となって, あとは区分求積です. 答えはになります.
この問題はの意味を改めて考えさせる問題でしたね. 初めて見た当時, わたしは公式しか頭になかったので, 展開して方法を見出すという発想はありませんでした.
● 美しくてカッコイイ整数問題
わたしは何かと整数系の問題は無条件にカッコイイと思っている傾向があるみたいです. わかりませんか?
解答・解説
だから,
ここまでの過程もすごい好きです. これ考えたひと天才, って感じです.
(1) のとき
は自然数なので, これを満たすは存在しません.
(2) のとき
不定方程式を解くと,
. ※ に注意
(3) のとき
同じく不定方程式で,
.
よって, (1)~(3)よりが答えとなります.
□
● 超難問な整数(有理数)問題
これらがすべて平方数()となるような正の有理数の組をひとつ求めよ.
「平方数()」に気を付けてください. だいたい自然数のものを指すことが多いですが, 今回は例えばも平方数だと言えるということです.
あとこれは歴史中でも有名な超難問です.
解答・解説
解答は引用させてください......
直角3角形(直角をはさむ2辺がと, 斜辺が)では,
ゆえに,
そこで, 面積が等しい3つの3角形(下図)を用います(なぜそうなるかはすぐにわかります)。
面積が等しい三つの三角形
アンダーライン部分はどれも(面積が等しい3角形を使ったので当然)
とおけば題意は満たされる。
これらより,
したがって,
(以上が[1])
この問題は, 一見関係ない分野のもの(今回は三角形)を用いて解くという突飛なところが大好きです.
● 整数の難問・再び
知る人ぞ知る「マスターデーモン」と呼ばれている問題です.
この問題の回答は長いので割愛します.「マスターデーモン」で調べればすぐに出ると思います.
これの何が好きかというと, 単純な表情をしてその裏の顔は圧倒的な難易度を誇るという系譜の問題が単に好きだからです. まさに数学のおもしろいところですよね.
フェルマーの最終定理のような, もっと"大きな問題"はそういうのばかりでは? というのはたしかにそうなんですが, これぐらいの"スケール"がいいんだと思います(伝われ).
好きな公式
この式は自力で見つけたので愛着があります. 当初は計算ミスを疑いましたね笑.
念のため言っておくと, です.
証明
工夫もなにもないですが.
□
好きな定理
二年生の夢 (Sophomore's Dream)
証明
両辺をからまで積分します. との交換に注意します.
右辺の積分はと置換すると,
とすれば,
残った積分はガンマ関数なので,
よって.
もう一つも同様に示すことができます.
好きな証明
これは非常に天才的ですばらしい証明だと思っていて, いろんなひとにこの証明の話をしたことがあります.
まとめ?
わたしが数学をするのは, 自分が感動するもの, カッコイイと思うものを見つけるためです. だからMathExplorer(数学探検家)という名前をしているんです. あとはそこから「MathExplorer」を日本語式で略してひらがなにして「ますえく」になるというわけです.