Hero Image
変分法:十九歳の青年の手紙

ニュートンとライプニッツの微積分は、曲線のいちばん高い点を見つけることができます。導関数がゼロになるところです。けれども、別の種類の問いもあります。二点を結ぶいちばん短い道は何か。玉がいちばん速くすべり下りるのは、どんな形のすべり台か。ぶら下がった鎖はどんな曲線になるか。こうした問いでは、答えは数ではなく、無数にありうる曲線のなかから選ばれる、曲線まるごとです。 最速降下線 1696 年、ヨハン・ベルヌーイはヨーロッパの数学者たちに挑戦状を出しました。二点 $A$ と $B$ があり、$B$ は $A$ より低いけれども真下ではない。玉が摩擦なしに自分の重さだけですべるとき、$A$ から $B$ へいちばん短い時間で行けるのはどの曲線か。この問題の名前はギリシア語の brachistos(もっとも短い)と chronos(時間)からきています。 直線はいちばん短い道ですが、いちばん速い道ではありません。道が長くなっても、はじめに急に下って早くスピードを得たほうが得なのです。挑戦に答えたのは、ヨハン、その兄ヤコブ、ライプニッツ、ロピタル、そしてだれもがニュートンだと見抜いた匿名の筆者でした。答えはサイクロイド、転がる車輪の一点が描く曲線です。 どの解き方も、それぞれちがう巧妙なわざでした。たとえばヨハンは、玉を、だんだん密度の小さくなるガラスの層を通りぬける光線と考え、屈折の法則を使いました。足りないのは一般的な方法でした。 オイラーの方法 オイラーは何年もその方法を探し、1744 年に『極大または極小の性質をもつ曲線を見いだす方法』という本で発表しました。考え方は幾何学的でした。曲線を辺の多い多角形に置きかえ、頂点を一つだけ動かして、最適にしたい量への影響を見るのです。うまくいきましたが、計算は長く、問題ごとに専用の図が必要でした。 1755 年の手紙 1755 年 8 月 12 日、オイラーのもとに、トリノの無名の 19 歳から手紙が届きました。ラグランジュは別のやり方を提案していました。頂点を一つ動かすかわりに、曲線全体を一度に変化させるのです。$y(x)$ が求める曲線なら、彼はとなりの曲線 $$y(x)+\delta y(x)$$を考えました。ここで $\delta y$ は小さなずれで、端点 $A$ と $B$ は固定されているので両端ではゼロです。ギリシア文字の d である $\delta$ が新しい記号でした。ライプニッツの $d$ が変数の変化を表すように、$\delta$ は関数の変化を表します。 こうした問いの多くは、積分 $$J=\int_a^b F(x,y,y')\,dx$$をできるだけ小さく、あるいは大きくすることを求めます。$F$ は点の位置、曲線の高さ、その傾きによって決まります。たとえば曲線の長さは $$J=\int_a^b\sqrt{1+y'^2}\,dx$$です。 方程式 ラグランジュの計算は三つのステップにおさまります。第一に、積分の変化は、$y$ と $y'$ の変化がそれぞれ引き起こす変化の和です。 $$\delta J=\int_a^b\left(\frac{\partial F}{\partial y}\,\delta y+\frac{\partial F}{\partial y'}\,\delta y'\right)dx.$$第二に、$\delta y'$ は $\delta y$ の導関数なので、部分積分で微分をもう一方の因子に移せます。$\delta y$ は両端でゼロなので、境界の項は消えます。

Hero Image
懸垂線:つるされた鎖

Ut pendet continuum flexile, sic stabit contiguum rigidum inversum.(しなやかな線が垂れ下がるように、硬いアーチは逆さにして立つ。) — ロバート・フック、1705 年に解読されたアナグラム 細い鎖の両端を持って、垂れ下がるままにしてみましょう。放物線のように見える美しい曲線ができます。1638 年、ガリレオはそれがほんとうに、少なくとも近似的には放物線だと考えました。オランダのクリスティアーン・ホイヘンスは 17 歳のとき、そうではありえないことを示しました。けれども、それがどんな曲線なのかはだれにもわかりませんでした。 1690 年 5 月、ヤコブ・ベルヌーイは『学術紀要』でこの問いを読者への挑戦として出しました。彼自身は一年かけても解けませんでした。1691 年 6 月、三つの正しい解が発表されます。ライプニッツ、当時 62 歳のホイヘンス、そしてヤコブのいちばん下の弟、24 歳のヨハンです。ヨハンはこのことをだれにも忘れさせませんでした。 兄の努力は実を結びませんでした。私のほうはもっと幸運で、それを完全に解く腕前を見つけたのです。自慢するわけではありませんが、なぜ真実を隠す必要がありましょう。たしかに、その研究のために私はひと晩じゅう休むことができませんでした。 — ヨハン・ベルヌーイ、ピエール・レモン・ド・モンモール宛の手紙(1718) 鎖の一部を見る こつは、鎖全体ではなくその一部を見ることです。最低点を原点とし、$y$ を上向きにとって、その点から右にある点 $P$ までの部分を考えます。 この部分は静止しているので、はたらく力はつりあっています。力は三つです。 最低点では、鎖が水平に左向きの力 $H$ で引く。 $P$ では、鎖が接線方向に力 $T$ で引く。 この部分の重さ $w\,s$。$w$ は 1 メートルあたりの重さ、$s$ はこの部分の長さ。 水平方向では $T$ の水平成分が $H$ とつりあい、鉛直方向では $T$ の鉛直成分が重さとつりあいます。$T$ は接線方向を向いているので、二つの成分の比が傾き $y'$ です。 $$y'=\frac{\text{鉛直}}{\text{水平}}=\frac{w\,s}{H}=\frac sa,\qquad a=\frac Hw.$$数 $a$ は長さの次元をもち、鎖がどれだけ張っているかを表します。 鎖の方程式 ここで $x$ で微分します。曲線の小さな一片にピタゴラスの定理を使うと、長さの増え方は $\frac{ds}{dx}=\sqrt{1+y'^2}$ です。したがって

Hero Image
終わらない利息と数 e

年利 100% を払ってくれる気前のいい銀行を想像してください。1 月に 1 円預けると、12 月には 2 円になります。ここで銀行が別の提案をします。年末に 100% 払うかわりに、半年ごとに 50% 払い、前半の利息にも後半に利息がつく。得でしょうか。毎月、毎日、毎秒払ったら?限りなく金持ちになれるでしょうか。 これは、ヤコブ・ベルヌーイが 1683 年ごろ自分に問いかけ、1690 年に『学術紀要』に発表した問題です。帳簿づけの話のようですが、答えは数学で最も重要な数のひとつです。 計算してみる 一年を $n$ 個の等しい期間に分けると、各期間に $\frac{100\%}{n}$ が支払われます。つまり残高は $1+\frac1n$ 倍になります。$n$ 期間ののち、1 円は $$a_n=\left(1+\frac1n\right)^n$$になります。二期間なら $a_2=1.5^2=2.25$ で、2 より多くなります。期間を増やすと、さらに増えます。 利息の支払い $n$ 年末の残高 一回 1 2.000000 半年ごと 2 2.250000 四半期ごと 4 2.441406 毎月 12 2.613035 毎日 365 2.714567 毎時 8 760 2.718127 残高は増えますが、増え方はだんだん小さくなります。毎月から毎日に変えても、増えるのはわずかです。毎日から毎時では、さらにわずかです。残高は $2.718$ くらいの天井に近づいていくように見えます。 天井がある理由 ベルヌーイは今日の意味での「極限」という言葉をもっていませんでしたが、ニュートンの二項定理 をもっていました。$a_n$ を展開すると、 $$a_n=1+n\cdot\frac1n+\frac{n(n-1)}{2}\cdot\frac1{n^2}+\frac{n(n-1)(n-2)}{2\cdot3}\cdot\frac1{n^3}+\cdots$$各項を整理すると、 $$\begin{aligned}a_n={}&1+1+\frac1{2!}\left(1-\frac1n\right)\\&+\frac1{3!}\left(1-\frac1n\right)\left(1-\frac2n\right)+\cdots\end{aligned}$$$n$ が大きくなると二つのことが起こります。かっこ $\left(1-\frac kn\right)$ は 1 に近づくので、各項は 大きくなり、さらに新しい項が現れ、それもすべて正です。だから $a_n$ は増える一方です。一方、どのかっこも 1 より小さいので、

Hero Image
色:こまとタータンのリボン

したがって、色の科学は本質的に心の科学とみなされなければならない。 — ジェームズ・クラーク・マクスウェル「色の実験」(1855) ニュートン以来、白い光が虹のすべての色の混ざったものであることは知られていました。けれども私たちが 見る 色は別のものです。それは目と脳によって決まります。イギリスの医師トマス・ヤングは 1802 年に、目には 三種類 の感覚器しかなく、私たちが感じる色はすべてその三つの反応の組みあわせだと唱えました。証拠のない大胆な仮説でした。24 歳のマクスウェルは、それを数学に変えたのです。 色のこま マクスウェルは、色紙の円盤をたがいに差しこんだこまを使いました。赤をいくら、緑をいくら、青をいくら、というように、それぞれの色の見える割合を調節できるのです。こまが速く回ると、目は扇形を区別できず、ひとつの色、つまり混ぜた色を見ます。中央では、別の色の小さな円盤もいっしょに回っていました。 割合を調節しながら、マクスウェルは外側の輪と内側の円盤が 同じに 見える組みあわせを探しました。たとえば、ある割合の赤、緑、青は、白と黒を混ぜたのと同じ灰色になります。扇形の角度を記録して、彼は代数の方程式のような 色の方程式 を得ました。 $$0.37\,\text{赤}+0.27\,\text{緑}+0.36\,\text{青}=0.28\,\text{白}+0.72\,\text{黒}.$$この例の数は説明のためのものですが、形はマクスウェルの表のとおりです。大きな発見は、こうした方程式が代数の方程式と同じようにふるまうことでした。足したり、数をかけたり、組みあわせたりでき、その予測は目に見えるものと一致したのです。 色はベクトルである つまり、色のついた光は 三つの数、足しあわせるとその光をまねられる三つの原色の光の量で表せる、ということです。 $$\mathbf C=(R,G,B).$$二つの光を重ねることは、ベクトルを成分ごとに足すことです。赤と緑なら、 $$(1,0,0)+(0,1,0)=(1,1,0)$$で、混ぜたもののなかに黄色の光はないのに、目には 黄色 に見えます。赤と緑と青、$(1,1,1)$ は白になります。明るさを二倍にするのは、ベクトルに 2 をかけることです。マクスウェルはこうした色を、頂点に三つの原色を置いた三角形に描きました。三角形の各点はひとつの混色で、虹の純粋な色はそのまわりの曲線上に並びます。これが、今日ディスプレイやカメラの調整に使われる色度図の先祖です。 その背景には、網膜にある三種類の錐体がそれぞれ広い範囲の波長に反応することがあります。スペクトル $I(\lambda)$ の光に対する錐体 $i$ の反応は $$C_i=\int I(\lambda)\,s_i(\lambda)\,d\lambda$$で、$s_i(\lambda)$ はその錐体の感度です。無数の振動数を含むどんな光も、脳に届くときには三つの数にまとめられてしまいます。まったくちがうスペクトルをもつ二つの光が、同じ三つの数を与えて まったく同じ に見えることがあります。こうした光を メタメリズム(条件等色)の関係にあるといいます。三種類の画素しかない画面がほとんどすべての色を表示できるのは、そのおかげです。 最初のカラー写真。1861 年 5 月 17 日にマクスウェルが見せたタータンのリボン。赤、緑、青のフィルターを通して撮った三枚の白黒写真を投影して重ねたもの。ジェームズ・クラーク・マクスウェル、トマス・サットン、1861 · Wikimedia Commons · パブリックドメイン 最初のカラー写真 三つの数で足りるなら、三枚の写真でも足りるはずです。1861 年 5 月 17 日、ロンドンの王立研究所での講演で、マクスウェルはこの考えを示しました。写真家トマス・サットンが、スコットランドの格子柄の布、タータンのリボンを、赤、緑、青のフィルターを一枚ずつ通して三回撮影していました。三枚の白黒の乾板が、それぞれ対応するフィルターをつけた三台の幻灯機で幕に映され、重ねられました。聴衆は色のついたリボンを見たのです。 これが歴史上最初のカラー写真で、その原理は、赤、緑、青のフィルターをつけたセンサーをもつ今日のデジタルカメラと同じです。 フィルムに見えなかった赤 百年後の 1961 年、コダックの科学者たちがこの実験をくり返そうとして、なぞにぶつかりました。1861 年の写真乾板は 赤い光に感じなかった のです。それなのに、なぜマクスウェルの写真に赤が出たのでしょう。答えはこうです。リボンの赤い布は紫外線も反射しており、赤いフィルターがそれを通し、乾板がそれを記録したのです。運よく、紫外線が赤の役を演じてくれたわけです。

Hero Image
パスカルの三角形:足し算で組み立てる

$1$ を一つ書きます。その下に $1$ を二つ。そこから先は、どの行も $1$ で始まり $1$ で終わり、あいだの数はそれぞれすぐ上にある二つの数の和です。 $$\begin{array}{ccccccccccc} &&&&&1&&&&&\\ &&&&1&&1&&&&\\ &&&1&&2&&1&&&\\ &&1&&3&&3&&1&&\\ &1&&4&&6&&4&&1&\\ 1&&5&&10&&10&&5&&1 \end{array}$$これだけです。子どもが一分で覚えられる規則から、数学で最も豊かな表の一つが生まれます。今日これはパスカルの三角形と呼ばれていますが、パスカルはこれを見つけた最後の一人のようなものでした。 持ち主がたくさんいる三角形 インドでは紀元前 2 世紀ごろ、詩人ピンガラが詩の一行で長い音節と短い音節を組み合わせる方法の数を数え、同じ数にたどり着きました。10 世紀には注釈者ハラーユダがこの表を描き、メール・プラスターラ、「メール山の階段」と呼びました。 バグダードでは西暦 1000 年ごろ、カラジーがこの三角形を使って $(a+b)^5$ のような累乗を展開しました。彼の本は失われましたが、一世紀半後の 1150 年ごろ、サマウアルが表と推論を書き写し、カラジーの功績だと記しました。ペルシアでは、この三角形は詩人で数学者のウマル・ハイヤームとも結びつけられています。 中国では、賈憲が 1050 年ごろ、これを開平・開立に使っていました。楊輝が 1261 年に書物に載せ、朱世傑は 1303 年の『四元玉鑑』に算木で数を記した図を描きました。 朱世傑の 1303 年の書物にある三角形。中国では楊輝の三角形と呼ばれます。朱世傑『四元玉鑑』(1303) · Wikimedia Commons · パブリックドメイン ヨーロッパでは、1527 年にペトルス・アピアヌスの算術書の表紙に印刷されたのが最初です。その後、1544 年にミヒャエル・シュティーフェル、1556 年にニコロ・タルタリアが使いました。今でもイタリアではタルタリアの三角形、イランではハイヤームの三角形、中国では楊輝の三角形と呼ばれています。 パスカルの論文 1654 年、フェルマーと賭けについて議論していたころ、パスカルは『算術三角形論』を書きました。フランス語版とラテン語版があり、次のように始まります。 算術三角形は次のように作る。任意の点 Z から、互いに垂直な二本の直線 ZL と ZT を引き、それぞれの上に好きなだけ等しい部分を印す。 — ブレーズ・パスカル『算術三角形』(1654) 論文のラテン語版の最初のページ。知られている唯一の一冊で、パスカルの故郷クレルモン=フェランに保管されています。Clermont Auvergne Métropole · Wikimedia Commons · CC BY-SA 4.0 パスカルの三角形は、実は階段の形をしたマス目の表でした。彼は一つひとつのマスをセル、行を平行列、列を垂直列、斜めの並びを底と呼びました。各セルは、上のセルと左のセルの和になっています。今日私たちが使う規則と同じで、ただ向きが回っているだけです。

Hero Image
フェルマーと解析幾何学:方程式の中の曲線

2000 年近くの間、幾何学と代数は別々に暮らしていました。ギリシアの幾何学は定規とコンパスと図形を使い、アラブ世界を経てヨーロッパに伝わった代数は方程式を使いました。17 世紀のはじめ、二人の人物が同時に、相談することもなく、両者を結びつけるというアイデアを思いつきました。ルネ・デカルトとピエール・ド・フェルマーです。 一つの分野を生んだ一文 1636 年ごろ、フェルマーはラテン語で短い文章『平面および立体の軌跡への序論』を書きました。「軌跡」とは、ある条件を満たす点の集合を指すギリシア人の言葉です。たとえば円は、中心から一定の距離にある点の軌跡です。冒頭で、フェルマーはこう書いています。 最終的な方程式に二つの未知量が現れるときはいつでも、軌跡が得られ、そのうち一方の端点が直線または曲線を描く。 — フェルマー『平面および立体の軌跡への序論』 言いかえれば、二つの未知数をもつ方程式は曲線だということです。解 $(x,y)$ の一つ一つが点で、すべての解を合わせると一枚の絵になります。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 先に思いついたのは誰? フェルマーの文章は 1636 年から写本として出回っていましたが、印刷されたのは彼の死後、1679 年でした。デカルトの『幾何学』は 1637 年に『方法序説』の付録として出版され、名声を得ました。今日の歴史家は、二人とも解析幾何学の独立した創始者だと認めています。 直線 フェルマーはヴィエトの流儀で、未知数には母音、既知数には子音を使いました。直線は 「D in A aequetur B in E」 と書かれ、今日の記号では $$D\cdot x=B\cdot y.$$$y$ について解くと $y=\dfrac DB\,x$。原点を通り、傾きが $\dfrac DB$ の直線です。フェルマーは、$x$ と $y$ についてのすべての 1 次方程式は直線を表し、すべての 2 次方程式は円錐曲線(放物線、楕円、双曲線、円)を表すことを示しました。 放物線 座標が次の式を満たす点を考えましょう。 $$y=x^2.$$$x=-2$ なら $y=4$、$x=0$ なら $y=0$、$x=2$ なら $y=4$。たくさんの点を打つと、放物線が現れます。方程式は表を作るだけのものではありません。絵を描かなくても、ある点が曲線の上にあるかどうかを教えてくれます。点 $(3,9)$ は上にあります。$9=3^2$ だからです。点 $(2,5)$ はありません。$5\neq2^2$ だからです。

Hero Image
ライプニッツの記号:変化を表す言語

記号には発見のための利点がある。それが最大になるのは、記号が物事の本性を簡潔に表し、いわば描き出すときである。そのとき、思考の労力は驚くほど軽くなる。 — ライプニッツ、チルンハウスへの手紙(1678) 微積分に先に到達したのはニュートンでしたが、それをどう書くかを決めたのはライプニッツでした。そして書き方がすべてを変えたのです。 文字 d 1675 年 11 月 11 日、パリで書いた手稿の中で、ライプニッツは無限に小さな差を表すのに文字 $d$ を使い始めました。$d$ はラテン語の differentia に由来し、これは「引き離す」という意味の動詞 differre から来ています。つまり、 $dx$ は、非常に近い二つの $x$ の値の間の微小な差、 $dy$ は、それに対応する $y$ の差、 $\dfrac{dy}{dx}$ はその比、つまり $x$ がほんの少し変わるごとに $y$ がどれだけ変わるか、 です。「微分学」(differential calculus)という名前はここから来ています。差の計算、という意味です。 dx を使った計算 ライプニッツは $dx$ と $dy$ を、無限に小さいだけで本物の量として扱いました。$y=x^2$ で $x$ が $x+dx$ に変わるとすると、 $$dy=(x+dx)^2-x^2=2x\,dx+(dx)^2.$$$(dx)^2$ は $dx$ より無限に小さいので、彼はそれを無視し、$dy=2x\,dx$、つまり $$\frac{dy}{dx}=2x$$を得ました。これはニュートンが流率で行った計算と同じで、書き方が違うだけです。今日では「$(dx)^2$ を無視する」ことを極限で正当化します。有限の差の比は $2x+h$ で、$h\to0$ のとき $2x$ に近づきます。 1684 年の論文 1684 年 10 月に『学術紀要』でライプニッツが発表した『極大と極小についての新しい方法』の最初のページ。微分法がはじめて印刷された。ライプニッツ · Wikimedia Commons · パブリックドメイン 1684 年 10 月、ライプニッツはライプツィヒの学術誌『学術紀要』に自分の規則を発表しました。題名はとても長く、『分数量や無理量にも妨げられない、極大・極小および接線のための新しい方法、ならびにそのための特異な計算法』というものでした。誤植だらけの 6 ページの濃密な論文で、ほとんど誰も理解できませんでした。理解したのはヤコブとヨハンのベルヌーイ兄弟で、彼らこそが微積分をヨーロッパ中に広めたのです。

Hero Image
一般化された二項式:整数のべきを超えて

学校では $(1+x)^2=1+2x+x^2$ や $(1+x)^3=1+3x+3x^2+x^3$ の展開を習います。係数は算術三角形(パスカルが研究し、それ以前から知られていたもの)から得られます。正の整数の指数なら、展開は必ず終わります。 1664 年から 1665 年の冬、まだ学生だったニュートンは、誰もこれほど大胆には問わなかった問いを立てました。指数が $\frac12$ だったら? $-1$ だったら? $(1+x)^{1/2}$、つまり $\sqrt{1+x}$ を $x$ のべきの和として書くとどうなるのか? 係数の規則 ニュートンはジョン・ウォリスの『無限算術』を読んでいました。この本は数表の間を補間して面積を求めていました。同じ発想をたどって、ニュートンは二項係数が、指数が整数であることに依存しない規則に従うことに気づきました。 $$(1+x)^\alpha=1+\alpha x+\frac{\alpha(\alpha-1)}{2!}x^2+\frac{\alpha(\alpha-1)(\alpha-2)}{3!}x^3+\cdots$$各係数は、一つ前の係数に $\dfrac{\alpha-k}{k+1}$ を掛けると得られます。$\alpha$ が正の整数なら、どこかで因子 $(\alpha-k)$ がゼロになり、それ以降の項はすべて消えます。これが学校で習う二項式です。$\alpha$ が正の整数でなければ、どの因子もゼロにならず、和はどこまでも続きます。 この級数は $|x|<1$ のときに成り立ちます。その範囲の外では項が小さくならずに大きくなり、和は収束しません。 二つの例 $\alpha=-1$ のとき、係数は $1,-1,1,-1,\dots$ となり、すでに知られていた級数、等比級数が得られます。 $$\frac{1}{1+x}=1-x+x^2-x^3+\cdots$$$\alpha=\frac12$ のとき、新しいものが現れます。 $$\sqrt{1+x}=1+\frac{x}{2}-\frac{x^2}{8}+\frac{x^3}{16}-\frac{5x^4}{128}+\cdots$$ニュートンは現代的な意味での証明を持っていませんでした。彼は検算したのです。この級数を自分自身と掛け合わせ、項が打ち消し合って $1+x$ だけが残ることを確かめました。最初の 3 項で試してみましょう。 $$\left(1+\frac{x}{2}-\frac{x^2}{8}\right)^2=1+x+\left(\frac{x^2}{4}-\frac{x^2}{4}\right)+\cdots=1+x+0\cdot x^2+\cdots$$$x^2$ の項は、あるべきとおり消えます。その先の項も同様です。 足し算で平方根を求める $\sqrt{1.21}$ を計算するには $x=0.21$ とします。 $$1+0.105-0.0055125+0.0005788125=1.1000663125.$$正確な値は $1.1$ です。4 項だけで誤差はすでに小数第 4 位にあり、第 5 項 $-5x^4/128\approx-0.000076$ でさらに改善します。特別なアルゴリズムが必要な平方根が、掛け算と足し算の連続になったのです。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 「恥ずかしくて言えない」

Hero Image
停止問題:どの機械にも答えられない問い

1928 年、ドイツのダフィット・ヒルベルトは、Entscheidungsproblem、すなわち「決定問題」と呼ぶ課題を出した。論理の言葉で書かれたどんな数学の命題についても、それが真か偽かを有限の時間で答える機械的な手続きを見つけよ、というものである。もしそれがあれば、数学は組み立てラインになる。問いを書き込み、ハンドルを回せばよい。 ヒルベルトは答えは「ある」だと信じていた。八年後、チューリングとアメリカのアロンゾ・チャーチが、それぞれ別の道筋で、答えは「ない」ことを示した。 もっと簡単な問い チューリングはヒルベルトの問いに正面から挑んだのではなかった。まず、どの機械にも答えられない、もっとささやかな問いを見つけた。今日ではこう語られる。 プログラムと入力が与えられたとき、そのプログラムはいつか停止するか、それとも永遠に動きつづけるか。 すぐにわかる場合もある。数に 1 を足すプログラムはすぐ止まる。出口のないまま $1,2,3,\ldots$ と数えるプログラムはけっして止まらない。しかし、ごく短いのに誰も答えを知らないプログラムもある。たとえば次のプログラムは、2 より大きいどの偶数も二つの素数の和である、という有名なゴールドバッハ予想を調べる。 $n=4$ から始める。 $n$ が二つの素数の和でなければ、停止する。 そうでなければ、$n$ に 2 を足して 2 に戻る。 このプログラムが停止するのは、予想が誤りであるとき、かつそのときに限る。それが止まるかどうかを知ることは、1742 年から未解決の問題を解くことである。プログラムが止まるかどうかを判定する一般的な方法があれば、この問題も、ほかの多くの問題も一挙に片づく。 証明 背理法で、その仕事をする機械 $P$ があるとしよう。$P$ はプログラム $M$ の記述と入力 $x$ を受け取り、つねに有限の時間でこう答える。 $$P(M,x)=\begin{cases}\text{「止まる」}&M\text{ が入力 }x\text{ で止まるとき},\\ \text{「止まらない」}&M\text{ が永遠に動くとき}.\end{cases}$$$P$ を使って、新しい機械、あまのじゃくの $D$ をつくる。$D$ はプログラム $M$ の記述を受け取り、次のように動く。 $M$ が自分自身の記述を入力として受け取ったらどうなるかを $P$ に尋ねる。 $P$ が「止まる」と言ったら、$D$ は無限ループに入る。 $P$ が「止まらない」と言ったら、$D$ は停止する。 ここで致命的な問いが来る。$D$ が自分自身の記述を受け取ったら、どうなるか。 $D(D)$ が止まるなら、$P$ は $D(D)$ について「止まらない」と答えたことになり、$P$ はまちがえた。 $D(D)$ が止まらないなら、$P$ は「止まる」と答えたことになり、$P$ はやはりまちがえた。 どちらにしても $P$ はまちがえる。したがって機械 $P$ は存在しない。$\blacksquare$

Hero Image
ネイピアの二つの点:対数の定義

ネイピアは、今日私たちが使う指数の記法をもっていませんでした。対数を定義するために彼が使ったのは運動の像で、それはニュートンとライプニッツが微積分を生み出すよりずっと前のことでした。 定義 二つの点が同時に出発すると考えます。一つ目の点 $P$ は長さ $10^7$ の線分 $AB$ を進み、各瞬間の速さは $B$ までの残りの距離に等しい。はじめは速く、しだいに遅くなり、決して到着しません。二つ目の点 $Q$ は果てしない直線を、いつも $P$ の最初の速さで進みます。 $P$ が $B$ から距離 $x$ のところにあるとき、$Q$ が進んだ距離が $x$ の対数である。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 なぜ $10^7$ なのでしょうか。ネイピアが求めたのは、天文学や航海で使われる正弦の対数でした。当時の正弦は 0 と 1 のあいだの数ではなく、分数を避けるため、大きな半径の円の半弦の長さでした。ネイピアは半径を $10^7$ にとったので、正弦は最大 8 桁の整数になりました。 今日の計算 微積分を使うと、この定義は微分方程式になります。$P$ の残りの距離を $x(t)$ とすると、速さは $-x'(t)=x(t)$、$x(0)=10^7$ です。解は $$x(t)=10^7e^{-t}.$$点 $Q$ は一定の速さ $10^7$ で進むので、$y=10^7t$ だけ進みます。$t$ を消すと $$\boxed{\operatorname{NapLog}(x)=10^7\ln\frac{10^7}{x}.}$$たとえば $P$ がちょうど半分まで来たとき、$x=5\,000\,000$ で $$\operatorname{NapLog}(5\,000\,000)=10^7\ln2\approx6\,931\,472.$$ネイピアの対数は $x$ が大きくなると小さくなり、$\operatorname{NapLog}(10^7)=0$ であることに注意しましょう。公式の中には数 $e\approx2.71828$ が隠れています。それに名前がつくのは一世紀以上あと、オイラーによってでした。ネイピアは一度もこの数を書きませんでしたが、彼の対数は、目盛りを別にすれば、$1/e$ を底とする対数なのです。 積が和になる 公式から、表を役に立つものにした性質が出てきます。$\ln$ は積を和に変えるので、

Hero Image
二項級数と悪魔の級数

発散級数は悪魔の発明であり、それをもとにどんな証明であれ組み立てるのは恥である。 — ニールス・ヘンリック・アーベル、ホルンボエへの手紙(1826 年 1 月) 1665 年、若きニュートンは、二項定理が整数でない指数でも成り立つことを発見しました。 $$(1+x)^m=1+mx+\frac{m(m-1)}{2}x^2+\frac{m(m-1)(m-2)}{6}x^3+\cdots$$$m$ が正の整数なら、和は $m+1$ 項で終わります。$m=\frac12$ や $m=-1$ では決して終わりません。無限個の項をもつ和、すなわち級数になるのです。ニュートンもオイラーも、18 世紀のすべての数学者が、この級数を使って大きな成功を収めました。それがいつ成り立つのかを問うた人は、ほとんどいませんでした。 アーベルはまだ学校にいたころにこの級数に出会いました。16 歳のとき、オイラーによる二項定理の証明が有理数の指数でしか成り立たないことに気づき、それをすべての数に広げようとしました。八年後、ベルリンで、彼ははるかに厳密にこの問題に戻ってきました。 級数がだますとき $m=-1$ としましょう。級数は $$\frac1{1+x}=1-x+x^2-x^3+x^4-\cdots$$を与えます。$x=\frac12$ では左辺は $\frac23$ で、右辺 $1-0.5+0.25-0.125+\cdots$ はたしかに $0.666\ldots$ に近づきます。しかし $x=1$ では右辺は $1-1+1-1+\cdots$ となり、$1$ と $0$ の間を行ったり来たりして決まりません。一方、左辺は $\frac12$ です。オイラーは和が $\frac12$「である」と認めていました。$x=2$ ではもっと悪くなります。左辺は $\frac13$ なのに、右辺 $1-2+4-8+16-\cdots$ は限りなく大きくなるのです。 部分和がどの数にも近づかない級数を発散級数といいます。18 世紀の数学者たちはこうした級数を自由に扱い、ときにばかげた結果に達しました。フランスではコーシーが 1821 年、『解析教程』で秩序を立て直し始めました。アーベルはパリでコーシーを読み、さらに先へ進みました。 アーベルの証明 1826 年の『クレレ誌』の論文で、アーベルは二項級数を完全に厳密に調べました。指数 $m$ は任意で、複素数でもよく、$x$ も任意です。彼は $|x|<1$ のとき級数が $(1+x)^m$ に収束することを証明し、端である $|x|=1$ で何が起こるかを正確に述べました。ニュートンの級数についてこれをしたのは、彼が初めてでした。 区間の内側では、級数はとてもよく働きます。$m=\frac12$ のとき係数は $1,\ \frac12,\ -\frac18,\ \frac1{16},\ -\frac5{128},\dots$ で、 $$\sqrt{1+x}=1+\frac x2-\frac{x^2}8+\frac{x^3}{16}-\frac{5x^4}{128}+\cdots$$$\sqrt{1.2}$ を求めるには $x=0.2$ として、

Hero Image
群とは何か:三角形の六つの対称性

紙で正三角形を切り抜き、角に 1、2、3 と番号をつけ、机に描いたその輪郭の上に置いてください。三角形を持ち上げて、ちょうど同じ輪郭をおおうように戻すやり方は何通りあるでしょうか。 六通りです。何もしないこと。$120°$ か $240°$ 回すこと。あるいは、三本の軸のどれかのまわりで三角形を裏返すこと。それぞれの軸は一つの角と向かいの辺の中点を通ります。 正三角形の六つの対称性。数字は、それぞれの角がどこに行ったかを示す。e は何も動かさず、r は時計回りに 120° 回し、r² は 240° 回し、s₁、s₂、s₃ は破線の軸について三角形を裏返す。Euler’s Eyes 作図 何もしない動きを $e$、回転を $r$ と $r^2$、裏返しを $s_1, s_2, s_3$ と呼びます。$s_1$ は縦の軸、$s_2$ は右下の角を通る軸、$s_3$ は左下の角を通る軸についての裏返しです。 対称性の九九 二つの動きを続けて行うと、結果はつねに六つのうちのどれかです。たとえば $120°$ を二回回すと $240°$ 回したことになります。$r$ のあとに $r$ をすると $r^2$ です。三回回すと最初に戻ります:$r^3=e$。「$a$ をしてから $b$ をする」を $a\star b$ と書きます。紙の三角形ですべての組を試すと、完全な表が得られます。 $a\star b$ $e$ $r$ $r^2$ $s_1$ $s_2$ $s_3$ $e$ $e$ $r$ $r^2$ $s_1$ $s_2$ $s_3$ $r$ $r$ $r^2$ $e$ $s_2$ $s_3$ $s_1$ $r^2$ $r^2$ $e$ $r$ $s_3$ $s_1$ $s_2$ $s_1$ $s_1$ $s_3$ $s_2$ $e$ $r^2$ $r$ $s_2$ $s_2$ $s_1$ $s_3$ $r$ $e$ $r^2$ $s_3$ $s_3$ $s_2$ $s_1$ $r^2$ $r$ $e$ 行が最初の動き、列が二番目の動きです。紙で一つのます目を確かめてみましょう。$120°$ 回すと、角 1 は右下へ、角 3 は上へ行きます。次に縦の軸について裏返すと、角 3 は上にとどまり、下の二つが入れ替わります。左下にあった角 2 は右下に来て、最初にあった場所に戻ります。これが $s_2$ の効果です:$r\star s_1=s_2$。