Hero Image
積の法則:一つの計算に二つの変化

$u$ がどう変わり、$v$ がどう変わるかわかっているとき、積 $uv$ はどう変わるでしょうか。自然な予想は変化同士を掛けること、$d(uv)=du\cdot dv$ です。なんとも対称的で、エレガントに見えます…… ライプニッツも同じ予想をしました。 ライプニッツの検証と失敗 文字 $d$ を使い始めた 1675 年 11 月 11 日の同じ手稿で、ライプニッツは自問しました。$d(xy)$ は $dx\,dy$ と等しいのか、$d\!\left(\frac xy\right)$ は $\dfrac{dx}{dy}$ と等しいのか。彼はエレガントさを信じるかわりに、例を使って確かめ、成り立たないことを見つけました。数日後、彼は正しい法則を見つけました。 これは大切な教訓です。微積分の発明者でさえまちがえ、彼らを救ったのは検算でした。 自分でも試してみましょう。$u=x$、$v=x$ とすると積は $x^2$ で、その導関数は $2x$。ところが導関数同士の積は $1\cdot1=1$。合いません。 大きくなる長方形 $u$ と $v$ を長方形の 2 辺、$uv$ をその面積と考えましょう。2 辺をほんの少しずつ増やします。$u$ は $u+du$ に、$v$ は $v+dv$ になります。 新しい面積は $(u+du)(v+dv)$ です。どれだけ増えたでしょうか。 $$d(uv)=(u+du)(v+dv)-uv=v\,du+u\,dv+du\,dv.$$幾何学的には、長方形は三つの部分を得ました。面積 $v\,du$ の細長い帯、面積 $u\,dv$ のもう一本の細長い帯、そして角にある面積 $du\,dv$ の小さな正方形です。 小さな正方形は二つの無限小の量の積なので、帯に比べて無限に小さい。ライプニッツはそれを無視して、 $$d(uv)=u\,dv+v\,du$$を得ました。予想の $du\,dv$ は、まさにどうでもいい部分だったのです。 極限を使った書き方 今日では $p(x)=f(x)\,g(x)$ と書き、増加分を増分 $h\ne0$ で割ります。 $$\frac{\Delta p}{h}=g\,\frac{\Delta f}{h}+f\,\frac{\Delta g}{h}+\frac{\Delta f}{h}\,\Delta g.$$$h\to0$ のとき、最初の 2 項はそれぞれ $gf'$ と $fg'$ に近づきます。最後の項はゼロに近づきます。$\dfrac{\Delta f}{h}$ は決まった数 $f'$ に近づき、$\Delta g$ はゼロに近づくからです。したがって

Hero Image
流率:瞬間の変化をどう測るか

ある車が、90 キロ離れた別の街まで 1 時間で着きました。平均の速さは時速 90 キロです。でも速度計は、一瞬ごとに違う数字を示していました。速度計はいったい何を測っているのでしょうか。速さは距離を時間で割ったものですが、一瞬のあいだには距離も進まず、時間も経ちません。ゼロをゼロで割っても答えは出ません。 これこそ、1665 年にニュートンが答えようとした問いでした。その答えが流率法です。 流れる量 ニュートンは、変化する量を、川の水のように時間とともに流れるものと考えました。流れる量を流量(フルーエント)、それが流れる速さを流率(フラクション)と呼びました。流率を表すには、文字の上に小さな点を打ちました。1704 年に出版された『曲線の求積について』で、彼はこう書いています。 $x$、$y$、$z$ を流量とし、その流率をそれぞれ $\dot x$、$\dot y$、$\dot z$ で表す。 — アイザック・ニュートン『曲線の求積について』(1704) $x$ が位置なら、$\dot x$ は速度です。言いかえれば、速度は空間から「流れ出る」のです。二つの点 $\ddot x$ は流率の流率、つまり加速度を表します。 ニュートンの計算 $y=x^2$ がどう変化するかを調べるため、ニュートンはごく短い時間を流しました。それを $o$ と書きます。その間に $x$ は $x+\dot x\,o$ に、$y$ は $y+\dot y\,o$ になります。関係 $y=x^2$ は変わらず成り立つので、 $$y+\dot y\,o=(x+\dot x\,o)^2=x^2+2x\dot x\,o+\dot x^2o^2.$$両辺から $y=x^2$ を引いて $o$ で割ると、 $$\dot y=2x\dot x+\dot x^2\,o.$$ここで大胆な一歩です。$o$ は「無限に小さい」ので、ニュートンは最後の項を捨てました。残るのは $\dot y=2x\dot x$、つまり $y$ は $x$ の $2x$ 倍の速さで変化する、ということです。 消え去った量の亡霊 $o$ で割っておきながら、その後 $o$ をゼロとみなす。この一歩は多くの人を悩ませました。1734 年、アイルランドの主教ジョージ・バークリーは『解析家』を出版して微積分を攻撃し、現れたり消えたりするこの量は「消え去った量の亡霊」ではないかと問いました。批判はもっともでした。答えが出たのは 19 世紀、コーシーとワイエルシュトラスによる極限の定義によってです。

Hero Image
極大、極小、変曲点

『解析教程』の第二部は微分法にあてられており、その主な応用のひとつは、学生なら誰もが学ぶ極大と極小の求め方である。アニェージは曲線や幾何の問題の例を何十もあげてこの方法を教えるが、手順はいつも同じだ。量を式に書き、微分し、微分をゼロとおき、確かめる。 いちばん高い点 極大や極小の点では、曲線は一瞬だけ水平になる。接線の傾きがゼロになるのである。接線の傾きは導関数だから、極大と極小の候補は $y' = 0$ となる点である。 $a = 1$ のアニェージの曲線では $y = \frac{1}{1 + x^2} = (1 + x^2)^{-1}$ である。合成関数の微分法により $$y' = -(1 + x^2)^{-2} \cdot 2x = -\frac{2x}{(1 + x^2)^2}.$$導関数がゼロになるのは $x = 0$ だけである。$x < 0$ では正(曲線は上がる)、$x > 0$ では負(曲線は下がる)。したがって $x = 0$ が極大で、$y = 1$ である。 曲がり方が変わるところ 頂上の近くでは、ヴェルシエラはふたのように下向きに曲がっている。頂上から離れ、軸に近づくところでは、おわんのように上向きに曲がっている。曲がる向きが変わる点を変曲点という。アニェージは当時の数学者たちと同じく、二階の微分を使って変曲点を見つけた。$y''$ の符号が変わるところで、曲がる向きが変わるのである。 商の微分法で $y'$ を微分すると $$\begin{aligned} y'' &= \frac{-2(1 + x^2)^2 + 2x \cdot 2(1 + x^2) \cdot 2x}{(1 + x^2)^4} \\ &= \frac{-2(1 + x^2) + 8x^2}{(1 + x^2)^3} = \frac{6x^2 - 2}{(1 + x^2)^3}. \end{aligned}$$分母はつねに正だから、符号は $6x^2 - 2$ の符号で決まり、これは次の点でゼロになる。

Hero Image
最速降下線:1696 年の挑戦

鉛直な平面上に二点 A と B が与えられたとき、動く物体 M が自分の重さだけで降りて、A から B へ最も短い時間で移る曲線 AMB を求めよ。 — ヨハン・ベルヌーイ『学術紀要』(1696 年 6 月) 1696 年 6 月、ヨハン・ベルヌーイは『学術紀要』で「全世界の最も鋭敏な数学者たち」に挑戦しました。問いは遊園地の話のようです。二点のあいだでいちばん速いすべり台はどんな形か。問題の名はギリシャ語から来ています。brachistos は最も短い、chronos は時間。最速降下線、最短時間の曲線です。 ヨハンは六か月の期限を与え、自分はもう答えをもっていると告げました。だれにでも向けた挑戦でしたが、ねらいは二人でした。公然と戦争中だった兄ヤコブと、ライプニッツの友人たちが微積分を盗んだと非難していたアイザック・ニュートンです。 答えは直線ではない 直線は 最も短い 道ですが、最も速い 道ではありません。摩擦なしにすべる球は、落ちるにつれて速くなります。だから、道が長くなっても、最初に急に降りて早めに速さを得るほうが得なのです。一方で、極端に急降下すると道がのびすぎます。最善の道はその折り合いで、それを見つけることは、無数にありうる曲線のなかから曲線をまるごとひとつ見つけることです。 $x$ を水平、$y$ を 下向き にとり、出発点を $A=(0,0)$ とします。エネルギー保存から、高さ $y$ だけ落ちたあとの速さは $$\frac12mv^2=mgy\quad\Longrightarrow\quad v=\sqrt{2gy}.$$速さは高さだけで決まり、道すじにはよりません。 ヨハンの考え:球は光線だ ヨハンはすばらしいことを思いつきました。フェルマーは、光がある媒質から別の媒質に移るとき 最短時間の道 をとること、そしてそこからスネルの屈折の法則が出てくることを示していました。 $$\frac{\sin\alpha_1}{v_1}=\frac{\sin\alpha_2}{v_2}.$$ここで $\alpha$ は光線が鉛直となす角、$v$ はそれぞれの媒質での光の速さです。光もまた、できるだけ速く着きたいのです! そこでヨハンは、$A$ と $B$ のあいだの空間を、ガラス板のようなごく薄い水平の層に切り分けることを考えました。各層には下に行くほど大きくなる速さ $v=\sqrt{2gy}$ があります。層を通りぬける光線は、層ごとに折れ曲がります。層を無限に薄くすると光線はなめらかな曲線になり、スネルの法則がどの点でも成り立ちます。 $$\frac{\sin\alpha}{v}=\text{一定}.$$これが曲線の方程式です。$\alpha$ は接線が鉛直となす角なので $\sin\alpha=\dfrac{1}{\sqrt{1+y'^2}}$。$v=\sqrt{2gy}$ を代入して二乗すると、 $$\boxed{\ y\left(1+y'^2\right)=2a\ }$$となります。$a>0$ は定数です。 答え:サイクロイド ヨハンはこの方程式に見覚えがありました。サイクロイド、つまり直線の上を転がる車輪のふちの一点が描く曲線を、ここでは上下逆さにしたものです。半径 $a$ の車輪が角 $\theta$ だけ回ったとき、 $$x=a(\theta-\sin\theta),\qquad y=a(1-\cos\theta).$$確かめましょう。導関数を割ると $y'=\dfrac{\sin\theta}{1-\cos\theta}=\cot\dfrac\theta2$ で、$1-\cos\theta=2\sin^2\dfrac\theta2$ なので、

Hero Image
驚異の螺旋とレムニスケート

ライプニッツの微積分を手にしたベルヌーイ兄弟は、曲線狩りに出かけました。曲線ごとに問います。接線はどうか、長さは、面積は、曲率は?こうした曲線の多くはギリシャ人のころから知られていましたが、これらの問いに一般的な規則で答えられるようになったのはこのときからです。そのうち二つの曲線は、永遠にヤコブの名を帯びることになりました。 形の変わらない螺旋 対数 螺旋は、すでにデカルトやトリチェリが研究していました。各点を中心からの距離 $r$ と角 $\theta$ で表す極座標では、 $$r=a\,e^{b\theta}$$です。ひと回りするたびに角は $2\pi$ 増え、半径はいつも同じ倍率 $e^{2\pi b}$ で大きくなります。だから巻きの間隔は等しくありません。どの巻きも、前の巻きより同じ割合で大きいのです。 ここから、ヤコブを魅了した性質が出てきます。螺旋を角 $\alpha$ だけ 回転 させることは、$e^{b\alpha}$ 倍に 拡大 することと同じ効果をもちます。この螺旋の写真を拡大すると、回転しただけの同じ螺旋が現れます。どの縮尺でも自分自身と同じなのです。 左は、ヤコブが墓に望んだ対数螺旋。ひと巻きごとに前より広くなる。右は、石工が刻んだアルキメデスの螺旋。巻きの間隔が等しい。Euler’s Eyes 作図 一定の角 螺旋上の一点で、中心から来る半径と曲線の接線は角 $\psi$ をなします。角 $\theta$ がほんの少し $d\theta$ だけ増えると、その点は半径に垂直な方向に $r\,d\theta$、半径に沿って $dr$ 動きます。したがって $$\tan\psi=\frac{r\,d\theta}{dr}=\frac{r}{dr/d\theta}=\frac{r}{b\,r}=\frac1b.$$$r$ が消えます。角は すべての 点で同じです。そのためこの曲線は 等角螺旋 とも呼ばれます。ランプに対していつも一定の角度を保って飛ぶ虫は、蛾が月に対してそうするといわれるように、こうした螺旋を描いて、最後にはランプに落ちてしまいます。 ヤコブはさらに発見しました。螺旋の曲率中心がつくる曲線は、最初のものと同じ対数螺旋です。中心から出て螺旋で反射した光線も、また同じ螺旋をつくります。どこを見ても、曲線は同じ姿でよみがえりました。彼はこれを spira mirabilis、驚異の螺旋 と名づけました。 オウムガイの殻の断面。ひと巻きごとに部屋がほぼ同じ割合で大きくなり、対数螺旋に近い形をつくる。Florian Elias Rieser · Wikimedia Commons · CC BY-SA 4.0 自然もこの曲線を同じ理由で好みます。オウムガイのように形を変えずに層を足して成長する生き物は、対数螺旋の殻をつくります。多くの銀河の腕や台風の雲も、似た形をしています。 Eadem mutata resurgo ヤコブは螺旋に復活の象徴を見ました。からだは変わっても、人は同じものとしてよみがえる。だから彼は、Eadem mutata resurgo、「変わりながらも、私は同じものとしてよみがえる」という銘とともに、それを墓に刻んでほしいと頼んだのです。石工が刻んだのはアルキメデスの螺旋で、これにはその性質がありません。拡大すると巻きの間隔が広がり、曲線が変わってしまいます。まちがった墓石は今もバーゼル大聖堂にあります。 レムニスケート:横倒しの 8 1694 年、ヤコブは『学術紀要』の論文で新しい曲線を示しました。二つの定点、焦点 $F_1=(-c,0)$ と $F_2=(c,0)$ をとります。楕円では、点から焦点までの距離の 和 が一定です。ヤコブは和を 積 に置きかえました。

Hero Image
積分記号 ∫:和から累積へ

1675 年 10 月 29 日、ライプニッツはパリで面積の問題に取り組んでいました。それまで彼は、イタリアのカヴァリエリにならって、図形のすべての線の和を表すのに omn.(ラテン語 omnia「すべて」の略)と書いていました。ページの途中で、彼はこう書きました。 omn. のかわりに ∫ と書くと便利だろう。 — ライプニッツ、1675 年 10 月 29 日の手稿 記号 $\int$ は、summa(和)の頭文字である長い S です。当時、長い s は手書きではふつうの文字でした。それ以来、この記号が取って代わられたことは一度もありません。 薄切りを足し合わせる ライプニッツの考えは、領域をごく細い縦の薄切りに分けることでした。一枚一枚はほとんど高さ $y$、幅 $dx$ の長方形で、面積は $y\,dx$。全体の面積はすべての薄切りの和です。 $$\int y\,dx.$$この記号は一度にすべてを語ります。高さ($y$)に微小な幅($dx$)を掛けたものを全部足せ($\int$)。和の範囲は下と上に書きます。$\displaystyle\int_a^b f(x)\,dx$ は $x=a$ から $x=b$ までの薄切りの和です。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 「積分」と名づけたのは誰? ライプニッツは自分の発明を calculus summatorius、つまり和の計算と呼んでいました。積分(integral)という言葉は 1690 年のヤコブ・ベルヌーイの論文に現れました。ライプニッツとヨハン・ベルヌーイはどちらの名前を使うか話し合い、最終的に「積分」に落ち着きましたが、記号はライプニッツの S のままでした。 差を足し合わせると全体に戻る 伝記で紹介した、ホイヘンスがライプニッツに出した問題を覚えていますか? そこでは差の和がほとんど打ち消し合いました。 $$(F_1-F_0)+(F_2-F_1)+(F_3-F_2)+\cdots+(F_n-F_{n-1})=F_n-F_0.$$ある量の小さな変化をすべて足し合わせると、残るのは全体の変化、つまり最後の値から最初の値を引いたものだけです。ライプニッツは、無限に小さな差でも同じことが起こると気づきました。$dF=f(x)\,dx$ なら、 $$\int_a^b f(x)\,dx=\int_a^b dF=F(b)-F(a).$$言いかえれば、$\int$ と $d$ は互いを打ち消し合うのです。足し算と引き算のように。これが微積分の基本定理を、もっとも短く書いたものです。ニュートンは流率の道を通って同じ結論に達しました。

Hero Image
面積と積分:流率の逆の道

曲線で囲まれた図形の面積を測ることは、数学でもっとも古い問題の一つです。紀元前 250 年ごろ、アルキメデスは放物線の切片の面積が、その中に描いた三角形の面積の $\frac43$ であることを示しました。天才的な成果ですが、いわばオーダーメイドで、新しい曲線ごとに新しいアイデアが必要でした。 17 世紀には、フェルマー、カヴァリエリ、ウォリスらが、多くの $n$ について $y=x^n$ の下の面積をすでに計算できました。欠けていたのは一般的な規則です。そしてもう一つ欠けていたのが、ニュートンとライプニッツがそれぞれのやり方でたどり着いた洞察でした。面積を求めることと変化率を求めることは、互いに逆の操作である。 面積は増えていく量 曲線 $y=f(x)$ の下で、$0$ からある点 $x$ までの面積を考え、$A(x)$ と書きます。右端を $x$ から $x+h$ まで押し広げると、面積は細い帯の分だけ増えます。 この帯はほとんど高さ $f(x)$、幅 $h$ の長方形です。したがって $$A(x+h)-A(x)\approx f(x)\cdot h\qquad\Longrightarrow\qquad\frac{A(x+h)-A(x)}{h}\approx f(x).$$帯が細いほど近似はよくなります。極限をとると、 $$A'(x)=f(x).$$ニュートンの言葉で言えば、面積の流率は曲線の高さです。面積は、高さが与える速さでちょうど増えていきます。面積を求めるには、流率が $f$ になる関数を見つければよい。つまり逆向きにたどればよいのです。 厳密にするには、帯を二つの長方形ではさみます。一つはその区間での $f$ の最小の高さ、もう一つは最大の高さをもつ長方形です。$f$ が連続なら、$h\to0$ のときどちらの高さも $f(x)$ に近づき、帯はその間にはさみ込まれます。 『解析について』の規則 1669 年、ニュートンは『解析について』(De analysi)という短い論文を書きました。その第一の規則は、今日の記号で言えば、$y=ax^{m/n}$ の下で $0$ から $x$ までの面積が $$\frac{an}{m+n}\,x^{(m+n)/n}$$であるというものです。複雑に見えますが、おなじみの規則です。$x^k$ の下の面積は $\dfrac{x^{k+1}}{k+1}$。たとえば $y=x^2$ の $0$ から $2$ まででは、 $$\int_0^2 x^2\,dx=\left[\frac{x^3}{3}\right]_0^2=\frac{8}{3}.$$アルキメデスなら、この数にたどり着くのに一つの証明がまるごと必要でした。この規則なら 1 行です。 面積としての対数 この規則を一般化された二項式と組み合わせて、ニュートンは誰も計算できなかった面積を求めました。双曲線 $y=\dfrac{1}{1+x}$ はべきの和になります。 $$\frac{1}{1+x}=1-x+x^2-x^3+\cdots$$あとは各べきの下の面積を項ごとに求めるだけです。 $$\int_0^x\frac{dt}{1+t}=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots$$この面積が自然対数 $\ln(1+x)$ です。$x=0.1$ とすると、4 項で $0.0953083$、正しい値は $0.0953102$ です。

Hero Image
指数計算:x の x 乗を微分する

ライプニッツの微積分は、$x^3$ や $x^{1/2}$ のように指数が決まったべき乗なら微分できました。$x^n$ の導関数は $nx^{n-1}$ です。ところが 1694 年、ライプニッツへの手紙で、ヨハン・ベルヌーイは奇妙なものをもちだしました。 $$y=x^x$$という式です。底 と 指数が同時に変わります。指数が決まっていないので $x^n$ の規則は使えません。底が決まっていないので $a^x$ の規則も使えません。1697 年、ヨハンは『学術紀要』に「指数計算の原理」を発表し、こうしたべき乗の扱い方を示しました。指数がいろいろな値を走りぬけるので、彼はそれを 走るべき (percurrent)と呼びました。 対数のこつ べき乗を、微分のしかたを知っている積に変えるのが考えどころです。$x>0$ として、両辺の自然対数をとります。 $$\ln y=x\ln x.$$両辺を $x$ で微分します。左辺は連鎖律で $\dfrac{y'}y$。右辺は積の微分で $1\cdot\ln x+x\cdot\dfrac1x=\ln x+1$。したがって $\dfrac{y'}{y}=\ln x+1$ で、 $$\boxed{\frac{d}{dx}\,x^x=x^x\,(\ln x+1).}$$関数そのものではなくその対数を微分するこの技法は、対数微分法 と呼ばれるようになりました。$f>0$ の任意の $y=f(x)^{g(x)}$ に使えます。 $$\ln y=g\ln f\quad\Longrightarrow\quad y'=f^{\,g}\left(g'\ln f+g\,\frac{f'}f\right).$$かっこのなかの二つの項は、二つの変化を数えています。指数の変化 $g'\ln f$ と、底の変化 $g\frac{f'}f$ です。底が決まっていれば第一項だけが残って $\frac{d}{dx}a^x=a^x\ln a$ に戻り、指数が決まっていれば第二項だけが残って $nx^{n-1}$ に戻ります。 x の x 乗がいちばん小さくなるところ $x^x$ はいつも正なので、導関数の符号は $\ln x+1$ の符号です。$x<\frac1e$ では負、$x>\frac1e$ では正になります。関数は $x=\frac1e\approx0.368$ まで減り、それから増えます。最小値は $$\left(\frac1e\right)^{1/e}=e^{-1/e}\approx0.692.$$つまり、どんな正の数も、自分自身で累乗して $0.692$ より小さくなることはありません。たとえば $0.5^{0.5}=\sqrt{0.5}\approx0.707$、$0.3^{0.3}\approx0.697$ で、どちらも少し上です。

Hero Image
推測術:チャンスを数える

あることを推測するとは、その確率を測ることである。それゆえ私たちは、推測術、すなわち確率術を、事物の確率をできるかぎり正確に測る技術と定める。それによって、判断と行動において、よりよく、より満足でき、より安全で、より熟慮されたと思われるものを、いつも選び、したがうことができるように。 — ヤコブ・ベルヌーイ『推測術』(1713)第四部 1654 年、パスカルとフェルマー は、途中で打ち切られた勝負の賭け金をどう分けるかについて手紙をやりとりしました。1657 年には、オランダのクリスティアーン・ホイヘンスがサイコロ遊びの計算についての十五ページの小冊子を出版しました。どれも客間の問題でした。サイコロ、トランプ、賭け。 ヤコブ・ベルヌーイが求めたのは、ずっと大きなものでした。彼にとって確率とは 確実さ の尺度であり、0(不可能)と 1(確実)のあいだの数で、法廷で証言を量り、人がどれだけ生きるかを予測し、保険を評価し、薬が効くかどうかを判断するのに役立つはずのものでした。その方法を示す本を、彼は二十年かけて書きました。題は Ars conjectandi、『推測術』です。 『推測術』の扉。ヤコブの死から八年後の 1713 年、バーゼルで出版された。Wikimedia Commons · パブリックドメイン 四部からなる本 『推測術』は四部からなります。第一部はホイヘンスの本を再録し、原文より長いヤコブの注釈をつけたものです。第二部は 組合せ論 の完全な講義で、順列、組合せ、そしてそのなかに、今ではヤコブの名がついている べき乗の和 があります。第三部はそれらすべてを何十もの遊びに応用します。未完の第四部は、市民生活、道徳、経済における確率を扱い、そこに 黄金の定理 があります。 ベルヌーイ試行 この本のいちばん単純なアイデアが、統計学で最もよく使われるもののひとつになりました。結果が二つしかない実験を考えます。硬貨が表か否か、患者が治るか否か、部品が不良か否か。一方の結果を 成功、その確率を $p$、他方を 失敗、その確率を $q=1-p$ と呼びます。この言葉はただのラベルです。工場では、数える「成功」が不良品の発見かもしれません。 今日、このような実験は ベルヌーイ試行 と呼ばれます。ヤコブの問いはこうです。いつも同じ条件で、ある結果がほかの結果に影響しないようにして試行を $n$ 回くり返すとき、ちょうど $k$ 回成功する確率はいくらか。 公式を一歩ずつ 小さな例から始めましょう。サイコロを 3 回投げ、「成功」は 6 の目、$p=\frac16$ とします。6 がちょうど二回出る確率はいくらでしょうか。 ありうる並びのひとつは 6、6、ほか です。その確率は、各回の確率の積です。 $$\frac16\cdot\frac16\cdot\frac56=\frac5{216}.$$けれども 6 が二回出る順番はほかにもあります。6、ほか、6 と ほか、6、6 です。同じ因数が順番を変えて現れるだけなので、どれも確率は $\frac5{216}$ です。順番は 3 通りなので、 $$P(\text{6 が二回})=3\cdot\frac5{216}=\frac{15}{216}\approx6.9\%.$$順番の数は、どの 回が成功になるかを選ぶ方法の数、つまり 3 回から 2 回を選ぶ数 $\binom32=3$ です。一般に、成功 $k$ 回、失敗 $n-k$ 回の並びはそれぞれ確率 $p^kq^{n-k}$ をもち、そうした並びは $\binom nk$ 通りあります。足し合わせると、

Hero Image
接線の逆問題

微分法はひとつの問いに答える。曲線が与えられたとき、各点での接線は何か。十七世紀の数学者たちは、逆の問いのほうが難しく、しかも役に立つことにすぐ気づいた。接線がもつべき性質が与えられたとき、曲線は何か。この問題は接線の逆方法と呼ばれ、『解析教程』の第四部、最後の部の主題になっている。今日ではこれを微分方程式を解くという。 1638 年の問題 この種の問題の最初期のひとつは、1638 年にフランスの法律家で数学愛好家のフロリモン・ド・ボーヌがルネ・デカルトに出したものである。デカルトはそれを完全には解けなかった。解決したのは 1684 年、ライプニッツが微積分についての最初の論文を発表し、求める曲線が対数にかかわることを示したときだった。新しい方法が、古い幾何学の届かない問題を解けることの証明だった。 一定の接線影 当時の教科書によく見られる古典的な例に、接線影を使うものがある。曲線上の点 $(x, y)$ で接線を引き、$x$ 軸と交わるところまで延ばす。接線影とは、その交点と縦座標の足とのあいだの水平距離である。その距離のあいだに接線は $y$ だけ上がるから、傾きは $y' = \frac{y}{s}$、すなわち $$s = \frac{y}{y'}.$$接線影がどの点でも一定で $k$ に等しい曲線は何か。条件は $y' = \frac{y}{k}$ である。変数を分離する、つまり $y$ にかかわるものを一方に、$x$ にかかわるものを他方に集めると $$\frac{dy}{y} = \frac{dx}{k} \quad\Longrightarrow\quad \ln y = \frac{x}{k} + C \quad\Longrightarrow\quad y = A\,e^{x/k}.$$接線影が一定の曲線は指数関数であり、当時は「対数曲線」と呼ばれていた。 ヴェルシエラも解である アニェージの曲線そのものも、ある微分方程式の解になっている。$a = 1$ で $y = \frac{1}{1 + x^2}$ とすると、導関数は $$y' = -\frac{2x}{(1 + x^2)^2} = -2x \cdot \left(\frac{1}{1 + x^2}\right)^2 = -2x\,y^2.$$つまりヴェルシエラは、各点での接線の傾きが高さの二乗の $-2x$ 倍になる曲線なのである。下の練習では逆にたどり、この性質から出発して曲線を取りもどす。

Hero Image
仮想仕事の原理

どのような力のどのようなつりあいにおいても、力がどのように加えられていようと、正のエネルギーの和は負のエネルギーの和に等しい。 — ヨハン・ベルヌーイ、ピエール・ヴァリニョン宛の手紙(1717 年 1 月 26 日) アルキメデス以来、単純機械にはそれぞれ別の説明がありました。てこは腕の長さの法則にしたがい、斜面はステヴィンが考えた力の分解にしたがい、滑車は綱についての議論に、ねじはまた別の議論にしたがう、というぐあいです。1717 年、ヨハン・ベルヌーイはフランスの友人ピエール・ヴァリニョンへの手紙で、これらの法則がすべて ひとつの原理 の特別な場合であることを示しました。 考え方:ほんの少しだけ動かす つりあって止まっている機械を思いうかべてください。それを、頭のなかだけで、ごくわずかな距離だけ動かします。ただし拘束は守ります。てこは支点のまわりに回り、綱はのびず、ブロックは斜面から離れません。この想像上の変位は、実際には起こらないので 仮想 変位と呼ばれます。 力 $F_i$ がはたらく各点は、力の向きにほんの少し $\delta s_i$ 動きます。積 $F_i\,\delta s_i$ がその力の 仮想仕事 です。ヨハンはこれを エネルギー と呼びました。この言葉が今日に近い意味で現れたのは、これが最初です。原理はこう述べます。 $$\boxed{\ \text{つりあいでは、}\quad\sum_i F_i\,\delta s_i=0\ \text{ がすべての仮想変位について成り立つ。}\ }$$運動を助ける力の仕事は、運動に逆らう力の仕事に等しい。止まっている機械は、無から仕事をつくりだすことはできません。 アルキメデスのてこ てこの支点から距離 $a$ と $b$ のところに、重さ $P_1$ と $P_2$ があります。てこをごく小さな角 $\delta\theta$ だけ回します。$P_1$ の側は $a\,\delta\theta$ 下がり、$P_2$ の側は $b\,\delta\theta$ 上がります。下がる重さは正の仕事を、上がる重さは負の仕事をします。 $$P_1\,a\,\delta\theta-P_2\,b\,\delta\theta=0\quad\Longrightarrow\quad P_1\,a=P_2\,b.$$相似な三角形の図をひとつも使わずに、アルキメデスの法則が出てきます。$\delta\theta$ はただ消えるだけです。 滑車 滑車の組み合わせで、重さ $W$ が $n$ 本の綱で支えられ、人が自由端を力 $F$ で引くとします。重さが $\delta h$ 上がると、$n$ 本の綱はそれぞれ $\delta h$ 短くなり、その分の綱がすべて自由端から出てくるので、自由端は $n\,\delta h$ 動きます。したがって

Hero Image
黄金の定理:大数の法則

どんなに愚かな人でも、ある自然の本能によって、ひとりで、なんの教えも受けずに、観察を重ねれば重ねるほど的をはずす危険は小さくなると確信している。 — ヤコブ・ベルヌーイ『推測術』(1713)第四部 サイコロなら、それぞれの目の確率は前もってわかっています。$\frac16$ です。けれども、40 歳の男性があと二十年生きる確率は?明日雨が降る確率は?薬が効く確率は?こうした場合には、数えられる同じ面がありません。ヤコブは別の道を提案しました。何度も観察し、頻度を確率の推定に使うのです。40 歳の男性のうち半分が 60 歳まで生きたなら、その確率は半分に近いはずです。 上の引用が言うとおり、だれもがすでにそう考えていました。ヤコブの問いはもっと深いものでした。それは 証明 できるのか。観察の数が増えると、頻度はほんとうに確率に近づくのか、それとも誤差はいつまでも大きいままでありうるのか。実際上の確実さを得るには、何回の観察が必要なのか。彼は答えるのに二十年かかり、その結果をたいへん誇りにして 黄金の定理 と呼びました。 壺 ヤコブは、白い石 3 000 個と黒い石 2 000 個の入った、中の見えない壺で問題を立てました。中をのぞけない人が、白い石の割合、つまり $\frac35$ を知りたいとします。そのために石をひとつ取り出し、色を記録して戻し、これをくり返します。 $n$ 回取り出して白が $S_n$ 回なら、観察された頻度は $\frac{S_n}n$ です。正確な問いはこうなります。頻度が $\frac{29}{50}$ と $\frac{31}{50}$ のあいだ、つまり $\frac35$ との差が $\frac1{50}$ 未満になることが 道徳的に確実、すなわち $\frac{1000}{1001}$ 以上の確率で成り立つには、何回取り出せばよいか。 定理が言うこと ヤコブの答えには二つの部分があります。第一は定性的なものです。どんなに小さな誤差の幅 $\varepsilon$ をとっても、頻度が $p$ から $\varepsilon$ より大きくずれる確率は、$n$ が大きくなると 0 に近づく。今日のことばでは、 $$\boxed{\lim_{n\to\infty}P\left(\left|\frac{S_n}n-p\right|>\varepsilon\right)=0.}$$これが 大数の法則 の最初の形で、この名は 1837 年にポアソンがつけました。第二の部分は数値的なものです。ヤコブは、この壺なら 25 550 回 の取り出しで道徳的確実さに足りると計算しました。 硬貨投げのシミュレーション。はじめは表の割合が大きくゆれるが、数千回投げると 1/2 に近づく。横軸は対数目盛り。Euler’s Eyes 作図 今日の道具による証明 ヤコブの証明は、二項展開の項のあいだの不等式に何章も費やしています。今日では、ロシアのパフヌティ・チェビシェフが 1867 年に発表した不等式を使えば、同じ考えが数行で書けます。