Hero Image
サイクロイド:歯痛の曲線

自転車のタイヤに点を一つ描き、まっすぐに押して進んでみましょう。点は上がっていき、アーチを描いて、また下りてきて地面に触れます。車輪が一回転するごとにこれをくり返します。この点が描く曲線をサイクロイドといいます。 17 世紀には、これが流行の曲線でした。フランス人は ルレット と呼びました。あまりに多くの数学者がこの曲線についての発見をめぐって争ったので、あだ名までつきました。トロイア戦争を引き起こしたヘレネーにちなんで、幾何学者たちのヘレネーです。 車輪の方程式 半径 $r$ の車輪が直線の上をすべらずに転がるとします。車輪が角 $t$(ラジアンで測る)だけ回ると、中心は距離 $rt$ だけ進みます。これは地面に触れた縁の長さです。いちばん下から出発した点は、そのとき $$x=r(t-\sin t),\qquad y=r(1-\cos t).$$の位置にあります。$t=0$ から $t=2\pi$ までで、車輪はちょうど一回転します。アーチの幅は車輪の周の長さに等しい $2\pi r$、いちばん高いところは直径の $2r$ です。 半径 1 の車輪が描くサイクロイドの一つのアーチ。アーチの下の面積は 3π で、車輪の面積の三倍です。ブログのオリジナル図版。 ガリレオ、曲線の重さを量る 1599 年ごろ、ガリレオはこの曲線に名前をつけ、一つのアーチの下の面積を知りたいと考えました。計算できなかったので、同じ材料の板からサイクロイドと、それを生み出す円とを切り抜いて、重さを量りました。サイクロイドは円のほぼ三倍の重さでした。ガリレオは、比はちょうど 3 ではないのではないかと疑い、そこでやめてしまいました。 比はちょうど 3 でした。ジル・ド・ロベルヴァルが 1634 年にそれを証明し、今ではその計算は数行で済みます。 微積分で面積を求める 曲線の下の面積は、高さ $y$、幅 $dx$ の細い帯の和です。$dx=r(1-\cos t)\,dt$ なので、 $$A=\int_0^{2\pi}y\,\frac{dx}{dt}\,dt=r^2\int_0^{2\pi}(1-\cos t)^2\,dt.$$二乗を展開すると、三つの部分が残ります。 $$\int_0^{2\pi}1\,dt=2\pi,\qquad \int_0^{2\pi}-2\cos t\,dt=0,\qquad \int_0^{2\pi}\cos^2t\,dt=\pi.$$最後のものは $\cos^2t=\frac{1+\cos2t}{2}$ から出てきます。合計すると $$A=r^2(2\pi+0+\pi)=3\pi r^2.$$サイクロイドの一つのアーチの下の面積は、それを描いた車輪の面積の三倍です。ガリレオの切り抜きは正しかったのです。 1658 年の夜 1658 年には、パスカルが数学から離れて四年がたっていました。姉ジルベルトによると、ある夜、彼はひどい歯痛で眠れませんでした。痛みを忘れようとして、サイクロイドについて考え始めると、痛みが消えました。パスカルはそれを研究を続けてよいという許しと受けとり、八日のうちに、誰も解いたことのない問題を解きました。曲線の各部分の面積、その重心、そして曲線を軸のまわりに回転させてできる立体の体積です。 それから彼は、アモス・デトンヴィルという偽名で、ヨーロッパ中に公開の挑戦状を出しました。一位には金貨 40 ピストル、二位には 20 ピストルを出すとし、締め切りは 1658 年 10 月 1 日でした。

Hero Image
ジョン・ナッシュの遺産

統計的に見れば、66 歳の数学者や科学者が、研究を続けることによって以前の業績に多くを付け加えられるとは考えにくいだろう。しかし私はまだ努力を続けている。 — ジョン・ナッシュ、ノーベル財団のための自伝(1994) ジョン・ナッシュは、経済学と数学の二つの最高の栄誉であるノーベル賞とアーベル賞を、ともに受けたただ一人の人です。彼の仕事の二つの半分には、何の共通点もないように見えます。一方は人間の決定について、もう一方は曲面と方程式についてです。二つを結ぶのはスタイルです。だれもが不可能だと思っていた問題に、だれも思いつかなかったアイデアで挑むことです。 いたるところにあるゲーム理論 ナッシュ均衡は経済学の共通語になりました。同じ交差点の二つのガソリンスタンドがほとんど同じ値段をつける理由、だれも広告を出さなければ全員が得をするのに企業が広告を出す理由、気候の合意がこれほど難しい理由を説明してくれます。1990 年代、いくつもの国の政府が、携帯電話の周波数帯を、ゲーム理論で設計したオークションで売るようになり、数百億ドルを集めました。 生物学では、イギリスのジョン・メイナード=スミスが 1970 年代に、進化もナッシュ均衡を生み出すことを示しました。集団の中で生き残る行動の戦略は、どんな突然変異も改善できない戦略なのです。政治学では、均衡は選挙や戦争や議会の投票を理解するのに役立ちます。計算機科学では、インターネットの経路制御や、デジタル市場のためのアルゴリズムの設計に現れます。1994 年以来、ノーベル経済学賞はゲーム理論の仕事に何度も与えられてきました。 純粋数学 埋め込み定理とナッシュ=モーザーの方法は、幾何学と解析学を変えました。ナッシュが $C^1$ の場合のために考案した技法は、ロシアのミハイル・グロモフが凸積分と名づけたもので、「剛性と柔軟性」の現象という一つの分野全体を生み出し、2018 年には流体の乱流に関するラルス・オンサーガーの予想の証明に使われました。ド・ジョルジ=ナッシュの定理は、複合材料や多孔質の媒質を記述する、不規則な係数をもつ微分方程式の現代理論の土台です。 病と回復 ナッシュは精神疾患についての教訓も残しました。三十年の間、彼は終わった人と見なされていました。ゆっくりとした部分的な回復は、統合失調症が必ずしも最終的な宣告ではないことを示しました。ノーベル賞のあと、彼とアリシアはよりよい治療と偏見の減少を訴えるようになりました。二人の息子ジョン・チャールズも数学者で、統合失調症を患っていました。 残ったもの ゲーム理論。 あらゆる種類のゲームに対するナッシュ均衡、混合戦略での存在、そして交渉解。 盤上ゲーム。 ヘックス、戦略盗用論法、そして不動点定理とのつながり。 幾何学。 $C^1$ と滑らかな場合の等長埋め込み定理、そして凸積分。 解析学。 ド・ジョルジ=ナッシュの定理と、非線形方程式のためのナッシュ=モーザーの方法。 応用科学。 経済学、進化生物学、政治学、オークション、計算機科学。 NSA への手紙 1955 年、ナッシュはアメリカ国家安全保障局(NSA)に手紙を書き、暗号方式を提案しました。2012 年になってようやく公開されたその手紙で、彼は、暗号を破るのにかかる時間が鍵の長さとともに指数関数的に増え、使うのにかかる時間はわずかしか増えないなら、その暗号は安全だと論じています。これはまさに現代の暗号の基礎にある考えであり、ナッシュはそれが計算の理論に現れる二十年近く前にこれを述べていたのです。 覚えておきたいこと ジョン・ナッシュは 1928 年から 2015 年まで生きた。おもな仕事は 20 歳から 30 歳の間に、プリンストンと MIT で行った。 ヘックスには引き分けがなく、先手はいつでも勝てる。これが戦略盗用論法である。 ナッシュ均衡では、だれも一人で変えて得をすることはない。囚人のジレンマのように、均衡が全員にとって悪いこともある。 すべての有限ゲームには混合戦略の均衡がある。指の偶奇当てでは、各自が 50% の確率でくじを引く。 ナッシュ交渉では、決裂点からの利得の積を最大にし、各自は決裂点の利得に余剰の一部を加えたものを受け取る。 どんなリーマン多様体もユークリッド空間にゆがみなく描ける。一階の滑らかさだけでよければ、平坦トーラスでさえふつうの空間に収まる。 不規則な物質の中でも、熱はならす。解はヘルダー連続である。 出典: Sylvia Nasar、A Beautiful Mind(Simon & Schuster、1998)· ジョン・ナッシュの自伝、ノーベル財団 · ナッシュの NSA への手紙(1955)、2012 年に同局が公開。

Hero Image
第五公準とほかの幾何学

私は無から、奇妙な新しい宇宙をつくりだしました。 — ボヤイ・ヤーノシュ、父への手紙(1823 年 11 月 3 日) ユークリッドの最初の四つの公準は短く、明らかです。直線を引く、それを延ばす、円を描く、すべての直角は等しい。五つ目はちがいます。 一本の直線が二本の直線と交わり、同じ側の内角の和が二直角より小さいならば、その二本の直線を限りなく延長すると、その側で交わる。 長いうえに、だれにも確かめられないことを語っています。限りなく 延ばした二本の直線がどうなるか、です。ユークリッド自身もこれを疑わしく思っていたようで、できるかぎり使うのを避け、命題 I.29 になってはじめて使っています。 プレイフェアの形 もっと覚えやすい形があり、1795 年にスコットランドのジョン・プレイフェアが広めました。直線の外の一点を通って、その直線に平行な直線はただ一本ある。ほかの公準のもとでは、二つの形は同値です。一方を認める人は、もう一方も認めなければなりません。 三角形の角 第五公準の最も有名な帰結は命題 I.32、三角形の内角の和は二直角、つまり $180°$ に等しい です。このサイトの旧三角法講座は、これを第一の「規範」と呼んでいました。 $$\boxed{\alpha+\beta+\gamma=180°.}$$証明はこうです。三角形 $ABC$ の頂点 $C$ を通って、底辺 $AB$ に平行な線を引きます。この平行線が辺 $CA$、$CB$ となす角は、錯角 なので、三角形の角 $\alpha$ と $\beta$ に等しくなります(I.29)。角 $\gamma$ とあわせて、三つの角は平行線の上にならび、平角 $180°$ をつくります。錯角が等しいという段階こそ、第五公準が入ってくるところです。 二千年の証明の試み 二千年のあいだ、数学者たちは、第五公準は公準ではなく定理であるべきだ、ほかの四つから証明できるはずだ、と考えていました。プトレマイオス、プロクロス、ペルシャのウマル・ハイヤーム、同じくペルシャのナスィールッディーン・トゥースィー、イギリスのジョン・ウォリスが挑みましたが、みな失敗しました。どの「証明」も、どこかに公準そのものと同値な仮定を隠しもっていたのです。 1733 年、イエズス会の司祭ジローラモ・サッケーリは別の道を試しました。公準が まちがっている と仮定して、矛盾にいたろうとしたのです。彼は、角の和が $180°$ より小さい三角形など、奇妙な定理を何十も導きました。矛盾はひとつも見つかりませんでしたが、矛盾は必ずあるはずだと信じていた彼は、その結果を「直線の本性に反する」と宣言し、『あらゆる汚点から清められたユークリッド』という題で本を出しました。発見まであと一歩だったのに、それが見えなかったのです。 新しい幾何学 十九世紀のはじめ、三人がそれぞれ独立に、欠けていた一歩を踏みだしました。第五公準のない幾何学も ユークリッドの幾何学と同じくらい矛盾がない と認めることです。ガウスは 1820 年ごろそこにたどりつきましたが、反響をおそれて発表しませんでした。ロシアのニコライ・ロバチェフスキーは 1829 年、カザン大学の雑誌に発表しました。数学者の息子だったハンガリーのボヤイ・ヤーノシュは、1832 年、父の本の付録として発表しました。 ボヤイの父ファルカシュは、生涯をかけて第五公準を証明しようとしていました。息子が同じ道を進んでいると知ると、あきらめてくれと頼む手紙を書きました。「後生だから、平行線のことはほうっておきなさい。みだらな情熱のように忌みきらいなさい。それはおまえの時間も、健康も、心の平安も、人生の幸福も、すべて奪いかねないのだから」。ヤーノシュはあきらめず、1823 年、この記事の冒頭の言葉で返事をしました。 この 双曲幾何学 では、直線の外の一点を通る平行線は 無限に あり、三角形の角の和はいつも $180°$ より 小さく なります。三角形が大きいほど、和は小さくなります。 球面の幾何学 反対の場合もあります。球の表面では、「直線」つまり最短の道は、赤道や子午線のような 大円 です。二つの大円はいつも交わるので、平行線はありません。赤道と、北極から $90°$ 離れて出る二本の子午線でできる三角形を考えましょう。三つの角はどれも直角で、和は

Hero Image
パスカルの原理:水で力を何倍にもする

ゾウとハイヒールをはいた女性。やわらかい地面に深く沈むのはどちらでしょうか。女性のほうかもしれません。ゾウは五十倍も重いのですが、その重さは四本の大きな足に広がっています。女性の重さは、細いヒールの先に集中しています。 地面を沈ませるのは力ではなく圧力です。圧力とは、力をそれがかかる面積で割ったものです。 $$p=\frac FA.$$圧力の単位はパスカルです。$1\ \text{Pa}=1\ \text{N/m}^2$、つまり 1 ニュートンの力が 1 平方メートルに広がった圧力です。これはとても小さな圧力で、海面での大気の圧力は約 $100\,000$ Pa です。 液体についての論文 1653 年ごろ、パスカルは『流体の平衡について』を書きました。出版されたのは彼の死後の 1663 年です。そこには、今日パスカルの原理と呼ばれる規則が書かれています。 閉じこめられて静止している液体の一点に加えられた圧力の増加は、液体のすべての点と容器の壁に、等しく伝わる。 歯みがきのチューブの真ん中を押すと、口から中身が出てきます。指の圧力がそこまで届いたのです。風船に水を入れ、何か所か穴をあけて押すと、すべての穴から、あらゆる方向に水が噴き出します。 破裂した樽 パスカルが有名な実演をしたという話があります。水をいっぱいに入れてしっかり閉じた樽のふたに、高さ約 10 メートルの細くて長い管を差し込みました。バルコニーに上がって管に水を注ぐと、1 リットルあまりで樽が破裂したというのです。 この場面が本当にそのとおりだったかはわかりませんが、計算するとありえたことがわかります。高さ $h$ の液柱の底での圧力は $$p=\rho gh,$$です。$\rho$ は液体の密度、$g\approx9.8\ \text{m/s}^2$ です。高さ 10 メートルの水なら、$\rho=1000\ \text{kg/m}^3$ として $$p=1000\cdot9.8\cdot10=98\,000\ \text{Pa}.$$大事なのは水柱の高さで、水の量ではありません。管の断面積が $1\ \text{cm}^2$ なら、10 メートルの水はたった $1$ リットルです。ところが、この $98\,000$ Pa は樽のふた全体に伝わります。ふたの面積が $0.2\ \text{m}^2$ なら、ふたにかかる力は $$F=pA=98\,000\cdot0.2=19\,600\ \text{N},$$2 トンのものの重さに相当します。細い管の中のたった 1 リットルの水が、自動車が載っているような力でふたを押すのです。 水圧機 パスカルは、この原理を使えば力を何倍にもできることに気づきました。水を満たした二つの円筒が底でつながり、それぞれピストンでふさがれているとします。一方は細く、もう一方は太い。細いピストンを力 $F_1$ で押すと、圧力は $F_1/A_1$ だけ増え、その同じ増加が太いピストンに伝わります。 $$\frac{F_1}{A_1}=\frac{F_2}{A_2}\quad\Longrightarrow\quad F_2=F_1\cdot\frac{A_2}{A_1}.$$ 小さなピストンを押す一人の人は、百倍広いピストンを押す百人の人の力に等しくなる。 — ブレーズ・パスカル『流体の平衡について』 小さいほうの面積が $2\ \text{cm}^2$、大きいほうが $8\ \text{cm}^2$ なら、比は $4$ です。小さいピストンに $50$ N の力をかけると、大きいピストンでは $200$ N になります。車を持ち上げる油圧ジャッキも、足一本の力で車を止めるブレーキも、ショベルカーも、この仕組みで動いています。

Hero Image
ユークリッドの遺産

彼は下院議員になってから、ユークリッドの六巻を学び、ほぼものにした。 — エイブラハム・リンカーン、自伝的覚え書き(1860) 『原論』は、聖書についで、歴史上最も多く書き写され、訳され、印刷された本のひとつです。1482 年にヴェネツィアで最初の印刷版が出て以来、版は千を超えます。二千年以上のあいだ、「幾何学を学ぶ」とは「ユークリッドを学ぶ」ことでした。 1482 年にヴェネツィアでエアハルト・ラトドルトがつくった『原論』の最初の印刷版。ラテン語訳。図は本文のわきの余白にある。昔の読者がページを書きこみで埋めている。Folger Shakespeare Library · Wikimedia Commons · CC BY-SA 4.0 一冊の本の多くの顔 このサイトの旧三角法講座は、ユークリッドの見せ方を変えたいくつかの版を集めていました。 年 人物 版 1120 年ごろ バースのアデラード アラビア語からラテン語への翻訳 1482 エアハルト・ラトドルト 最初の印刷版、ヴェネツィア 1570 ヘンリー・ビリングズリー 最初の英訳。折ると立体になる紙の図つき 1607 マテオ・リッチと徐光啓 最初の六巻の中国語訳、北京 1698 ザムエル・ライヤー Euclides… mit algebraischen Zeichen、代数記号で書いたユークリッド 1847 オリヴァー・バーン The First Six Books of the Elements of Euclid、文字を色に置きかえた版 バーン の版は、これまでに印刷された最も美しい本のひとつです。「三角形 $ABC$」と書くかわりに、彼は三角形を黄、赤、青で描き、証明は小さな色つきの図の連なりになります。当時は売れませんでしたが、今では博物館の所蔵品であり、デザイナーたちのインスピレーションの源です。 ナスィールッディーン・トゥースィーの版による『原論』のアラビア語版。1594 年にローマで印刷された。ハーヴァード大学ホートン図書館 · Wikimedia Commons · パブリックドメイン 方法 定理よりも大切だったのは 方法 でした。アイザック・ニュートンは『原論』にならって『プリンキピア』(1687)を書きました。定義、運動の法則と名づけた公理、そして一つひとつ証明される命題です。スピノザは『エチカ』(1677)を「幾何学的秩序にしたがって」書き、神と魂について定義と公理と命題を立てました。アメリカの独立宣言は、公理のように自明とされる真理から始まり、そこから独立の権利を導いています。

Hero Image
空気の重さ:ピュイ・ド・ドームの実験

二千年ものあいだ、学者たちはアリストテレスの言葉をくり返してきました。自然は真空を嫌う。ストローで空気を吸うと液体が上がってくるのは、自然がそこを空っぽのままにしておかないからだ、というのです。これですべてが説明できるように思えました。 ところが、フィレンツェの井戸掘り職人たちは困っていました。どんなに頑張っても、吸い上げポンプでは水を約 10 メートルより高く上げられなかったのです。自然の真空嫌いが、なぜ 10 メートルで止まるのでしょうか。 トリチェリの管 1643 年、ガリレオの弟子だったイタリアのエヴァンジェリスタ・トリチェリは、一方の端を閉じた長さ 1 メートルのガラス管に水銀を満たしました。もう一方の端を指でふさぎ、管を逆さにして水銀を入れた盆に立て、指を離しました。水銀は下がって約 76 cm の高さで止まり、管の上部に何もない空間が残りました。 トリチェリの説明は大胆なものでした。水銀柱を支えているのは真空嫌いではなく、盆の表面を押している空気の重さだというのです。私たちは空気の海の底に住んでいる、と彼は書きました。水銀は水の約 13.6 倍の密度があり、$76\ \text{cm}\times13.6\approx10.3$ m です。フィレンツェのポンプの限界と同じ値です。 パスカル、実験を高いところへ パスカルは 1646 年にこの実験のことを聞き、ルーアンで水やワインを満たした巨大なガラス管を使って再現しました。しかし彼は決定的な検証をしたいと考えました。彼の推論はこうです。もし水銀を支えているのが空気の重さなら、上にある空気が少ない山の頂上では、水銀柱は低くなるはずだ。もし原因が真空嫌いなら、高さは何の違いももたらさないはずだ。 パスカルはパリに住んでいて、体も弱かったので、1647 年 11 月、クレルモンに住む義兄フロラン・ペリエに手紙を書きました。クレルモンは、高さ 1500 メートル近い死火山ピュイ・ド・ドームのふもとにある町です。 1648 年 9 月 19 日 ペリエは証人になってもらうために、クレルモンの神父や名士たちと一緒に山に登りました。管を二本と水銀を持っていきました。この実験には現代的な発想がありました。登る前に、町でいちばん低いところにあるミニム会修道院の庭で二本の管を組み立て、同じ高さになることを確かめたのです。一本はそこに残し、シャスタン神父という修道士に一日じゅう見張ってもらいました。もう一本を持って山に登りました。 ピュイ・ド・ドームの山頂にある 1648 年の実験の記念碑。パスカル生誕三百年の 1923 年に撮影。Agence Rol、1923 年 · フランス国立図書館 · Wikimedia Commons · パブリックドメイン 当時の単位での測定結果は次のとおりです。 場所 水銀の高さ クレルモンのミニム会修道院の庭 26 プース 3½ リーニュ ピュイ・ド・ドームの山頂(約 500 トワーズ上) 23 プース 2 リーニュ フランスの 1 プースは約 $27.07$ mm、1 リーニュは 1 プースの $\frac1{12}$ です。換算すると

Hero Image
画像クレジット

歴史的な画像 すべてウィキメディア・コモンズから取りました。コモンズが提供するサムネイルを、編集せずに使っています。ユークリッドの生前に描かれた肖像はひとつもありません。出まわっている彼の姿は、ずっとあとの画家たちの想像です。 オクシリンコスのパピルス、命題 II.5、紀元 100 年ごろ、ペンシルヴェニア大学博物館:元のページ · パブリックドメイン。 『アテナイの学堂』の部分、ラファエロ、1509–1511 年:元のページ · パブリックドメイン。 オリヴァー・バーン版の命題 I.47、ロンドン、1847 年、Mirko Junge によるスキャン:元のページ · パブリックドメイン。 『原論』の最初の印刷版、エアハルト・ラトドルト、ヴェネツィア、1482 年、Folger Shakespeare Library:元のページ · CC BY-SA 4.0。 『原論』のアラビア語版、ナスィールッディーン・トゥースィーの版、ローマ、1594 年、ホートン図書館:元のページ · パブリックドメイン。 ブログの図 表紙、正三角形の作図、ピタゴラスの定理の図、平方完成の図は、このサイトのオリジナルのイラストで、サイトの各言語の版があります。平方完成の例 $x^2+10x=39$ と練習問題 $x^2+8x=65$ は、このサイトの旧二次方程式講座から取り、図は描きなおしました。3、4、5 と 6、8、10 の例と版の表は、旧幾何学講座と旧三角法講座から来ています。 記録 ファイル data/euclides_imagens.json には、ダウンロードした各画像の出所、ライセンス、確認日、SHA-256 ハッシュが記録されています。各トピックの歴史的な出典は、それぞれの記事の末尾にあります。 ユークリッドの全トピック · ← ユークリッドの遺産

Hero Image
パスカルの遺産

心には、理性の知らない理由がある。 — ブレーズ・パスカル『パンセ』 パスカルが完成させた本はわずかです。数学について書いたもののほとんどは、一枚刷りや手紙の形で、あるいは死後に発表されました。それでも、これほど多くの場所に顔を出す著者はめったにいません。学校で習う三角形、天気予報、車のブレーキ、保険の計算、そしてプログラミング言語の名前にまで。 賭け 『パンセ』の中で最も有名な一節は、幾何学についてのものではありませんが、パスカルがフェルマーと生み出したばかりの数学を使っています。それがパスカルの賭けです。これは神の存在を証明しようとするものではありません。パスカルは、理性ではこの問いに決着がつかないと述べ、期待値のように得と損を見込みで重みづけて、どちらに賭けるほうが得かを問います。信仰の側の利得が無限大なら、正の確率でさえあれば十分です。この議論とその三つの形、ディドロとヴォルテールの反論はパスカルの賭けにまとめました。これは、不確かさのもとで選ぶための数学である意思決定理論の最初の文章とみなされています。 短くする時間がなかった 第 16 の『プロヴァンシアル』の終わりで、パスカルは読者にこう詫びています。「この手紙が長くなったのは、短くする時間がなかったからにほかなりません。」 この一文は、急いでよい文章を書かなければならない人たちに、今も引用されています。 フェルマーへの最後の手紙 1660 年、フェルマーは、トゥールーズとクレルモンのあいだの道のりを半分ずつ旅して会おうと提案しました。病気だったパスカルはそれを断り、その手紙には晩年の彼が数学をどう見ていたかが表れています。 率直に申しますと、幾何学は精神の最高の鍛錬だと思います。しかし同時に、それがあまりに役に立たないものだとも知っていますので、ただの幾何学者と腕のよい職人とのあいだに、ほとんど違いを認めません。 — ブレーズ・パスカル、フェルマーへの手紙(1660 年 8 月 10 日) 二人はついに会うことはありませんでした。 残されたもの 確率論。 1654 年の書簡はホイヘンスを刺激し、彼は 1657 年にこの分野で最初の本を出版しました。その後にヤコブ・ベルヌーイ、ド・モアブル、ラプラスが続きます。保険、宝くじ、統計学、データサイエンスは、あの手紙の子孫です。 組合せ論と帰納法。 『算術三角形論』は組合せを整理し、数学的帰納法をはじめてはっきりと述べました。 射影幾何学。 神秘の六角形は射影幾何学の基礎となる定理の一つとなり、19 世紀にポンスレやブリアンションによって再び取り上げられました。 微積分。 ライプニッツは、パスカルの四分円についての著作を読んでいるときに特性三角形の考えを得たと語っています。これは微積分への一歩でした。 物理学。 真空の実験とピュイ・ド・ドームの実験は真空嫌いの説に終止符を打ち、気圧計と高度計を生みました。パスカルの原理は、あらゆる油圧装置に使われています。 計算機。 パスカリーヌは、製造され販売された最初の計算機でした。 残った名前 1971 年、国際単位系の圧力の単位はパスカル(Pa)と名づけられました。天気予報で「1013 ヘクトパスカル」と言うとき、それは $101\,300$ Pa、つまりパスカルが義兄に測らせた海面の気圧のことです。 1970 年、スイスの計算機科学者ニクラウス・ヴィルトは、プログラミングをわかりやすく教えるための言語を作り、パスカリーヌの発明者をたたえて Pascal と名づけました。何世代もの学生がこの言語でプログラミングを学びました。 考える葦 このコースの冒頭の言葉には続きがあります。「彼をおしつぶすために、宇宙全体が武装する必要はない。一吹きの蒸気、一滴の水でも彼を殺すには十分である。だが、たとえ宇宙が彼をおしつぶしても、人間は彼を殺すものより尊い。人間は自分が死ぬことを知っているからである。」 これを書いたのは、18 歳のときから自分が長くは生きられないと知っていた人でした。 まとめ パスカルは 1623 年から 1662 年まで生きた。16 歳で六角形の定理を発表し、19 歳でパスカリーヌを作り始めた。 算術三角形では、各数はその上の二つの数の和で、$n$ 行目の和は $2^n$、そしてその数は組合せの数 $\binom nk$ である。 この三角形はパスカル以前にインド、ペルシア、中国、ヨーロッパで知られていた。彼はそれを深く研究した。 1654 年、パスカルはフェルマーとともに確率論と期待値の考えを生み出した。 サイクロイドの一つのアーチの下の面積は $3\pi r^2$ で、車輪の面積の三倍である。 静止した液体では、圧力の増加はすべての点に等しく伝わる。水圧機は力を何倍にもするが、仕事は増やさない。 ピュイ・ド・ドームの山頂では、水銀が 8.5 cm 下がった。空気には重さがある。 練習:5 レアルのくじが、25 分の 1 の確率で 100 レアルになります。期待値で考えると、買う価値はありますか?期待される利得は $100\cdot\frac{1}{25}=4$ レアルです。くじは 5 レアルなので、一枚あたりの期待値は $4-5=-1$ レアルです。平均すると、一枚ごとに 1 レアル損をします。

Hero Image
パスカルの画像クレジット

歴史的な画像 すべて Wikimedia Commons から取得しました。Commons が提供するサムネイルを、編集せずに使っています。 ブレーズ・パスカルの肖像、作者不詳、1690 年ごろ、ヴェルサイユ:出典ページ · パブリックドメイン。 楊輝の三角形、朱世傑の 1303 年の書物より:出典ページ · パブリックドメイン。 『算術三角形』(Triangulus arithmeticus)の最初のページ、クレルモン・オーヴェルニュ・メトロポール所蔵本:出典ページ · CC BY-SA 4.0。 パリ工芸博物館のパスカリーヌ、David Monniaux 撮影、2005 年:出典ページ · CC BY-SA 3.0。 ピュイ・ド・ドームの実験の記念碑、Agence Rol、1923 年、フランス国立図書館:出典ページ · パブリックドメイン。 サン・テティエンヌ・デュ・モン教会の墓所の銘板、Agence Meurisse、1923 年、フランス国立図書館:出典ページ · パブリックドメイン。 『パンセ』の自筆原稿、フランス国立図書館の展覧会、ActuaLitté 撮影、2016 年:出典ページ · CC BY-SA 2.0。 『パンセ』の最初のページ、1670 年版の海賊版、クレルモン・オーヴェルニュ・メトロポール所蔵:出典ページ · CC BY-SA 4.0。 ブログの図版 表紙、鉢の噴水、繰り上がりの図、サイクロイドのアーチはオリジナルの図版です。三角形、賭け金の分配、水圧機の操作パネルは、このコースのために作ったものです。これらは学習のための補助で、写本の複製でも、パスカリーヌの内部機構の再現でもありません。 記録 ファイル data/pascal_imagens.json には、ダウンロードした各画像の出典、ライセンス、確認日、SHA-256 ハッシュが記録されています。各テーマの歴史的な出典は、それぞれの記事の最後に載せています。 パスカルの全トピック · ← パスカルの遺産

Hero Image
四次元:見えないものを描く

この章の図にはすべて一つの利点があった。表す対象を、なんらかの仕方で紙の上に置けたことである。しかし数学は、四次元、十次元、百万次元の空間についても平然と語る。代数には何の困難もない。四次元空間の点とは、四つの数のリスト $(x,y,z,w)$ にすぎない。だが目は三次元に住んでいる。見えないものをどう描けばよいのか。 フラットランド 『フラットランド:多次元の物語』の扉。著者は「一つの正方形」とされている。1885 年のアメリカ版。本当の著者はイギリスの校長エドウィン・アボットである。Edwin A. Abbott · Wikimedia Commons · パブリックドメイン 1884 年、ロンドンのある学校の校長エドウィン・アボットは、一つの正方形という筆名で『フラットランド』という小説を出版した。語り手は二次元の世界に住む正方形で、そこには三角形、正方形、五角形、円が住んでいる。住民に見えるのは線分だけである。横から見れば、どの多角形も一本の線なのだ。 ある日、一つの球がフラットランドにやってくる。正方形は、一つの点が現れ、円に育ち、また縮んで消えるのを見る。それは平面を通り抜ける球の切り口だった。彼は球が何なのか理解できなかったが、平面から連れ出され、自分の世界を上から見て、ようやく理解する。戻った彼は三次元について語ろうとし、異端の罪で投獄されてしまう。 アボット自身が描いたフラットランドの家の平面図。五角形で、男性用と女性用の二つの扉がある。住民にとって、これが家を見るただ一つの見方である。Edwin A. Abbott · Wikimedia Commons · パブリックドメイン アボットの教えは一つの方法である。類比によって推論することだ。私たちは球を前にしたあの正方形である。私たちの空間を通り抜ける四次元の物体は、大きくなってはまた小さくなる三次元の切り口の列として現れるだろう。その全体を見ることはできない。だが問うことはできる。一つ下の次元の住民には、それはどう見えるだろうか。 見ずに数える 数を使えば、類比はさらによく働く。各次元の「立方体」の列を見てみよう。 次元 対象 頂点 辺 0 点 1 0 1 線分 2 1 2 正方形 4 4 3 立方体 8 12 4 超立方体 16 32 ある次元から次の次元へ移るには、対象を一つ写し、各頂点をその写しと結べばよい。頂点の数は倍になる。$2^n$ である。辺の数は、もとの辺と写しの辺と新しい結び線を合わせたもの、$2E+V$ である。立方体から超立方体へは $2\cdot12+8=32$。超立方体の 32 本の辺を見た人は誰もいないが、この数え方は確かである。記号と推論は、目の届かないところまで届く。超立方体のもう一つの名前テッセラクト(tesseract)は、イギリスの数学者チャールズ・ハワード・ヒントンが 1888 年に作った言葉である。 超立方体の影 描けるのは影である。立方体の紙の上の影は、頂点どうしを結んだ二つの正方形だ。超立方体の私たちの空間での影は、頂点どうしを結んだ二つの立方体で、一方が他方の中に入っている。そしてその影の紙の上の影が、下の図である。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。

Hero Image
正弦・直角をはさむ辺・斜辺:三角法と失われた名前

ほとんどの生徒は、「サイン」「コサイン」「斜辺」といった言葉の意味を知らないまま使えるようになります。知らない町の通りの名前のように、覚えるためのラベルです。けれども、どの言葉もかつては何かを説明していて、なかには思いがけない物語を隠しているものもあります。たとえばサインは、うまくいかなかった翻訳の産物なのです。 ラテン語のピタゴラス 幾何学でいちばん有名な定理は、長いあいだ、三角形の辺の上にかかれた本物の正方形についての文でした。このサイトの以前の記事は、それを中世風にこう書いていました。 $$\textit{quadratum lateris } a \textit{ et quadratum lateris } b \textit{ aequalis quadratum lateris } c,$$「辺 $a$ の正方形と辺 $b$ の正方形は、辺 $c$ の正方形に等しい」。辺が $3$、$4$、$5$ なら、正方形の面積は $9$、$16$、$25$ で、たしかに $9+16=25$ です。$6$、$8$、$10$ なら $36+64=100$。今日では $$a^2+b^2=c^2$$と書きます。指数 $^2$ は、その呼び名「2 乗」(英語では squared、正方形にする)に、自分が出てきた図をまだ宿しています。この定理はギリシアだけのものではありません。紀元前 1800 年ごろのバビロニアの粘土板「プリンプトン 322」は、この関係をみたす数の組を並べていますし、中国の『周髀算経』は「勾股」と呼ばれる図で $3$、$4$、$5$ の場合を示しています。勾と股は、中国語での短い二辺の名前です。 カテトスとヒュポテヌーサ ヨーロッパの言語では、直角三角形の辺の名前はギリシア語から来ていて、位置を説明するものでした。直角をはさむ辺を表す cathetus は káthetos「垂れ下がるもの」から来ていて、大工のおもりの糸(下げ振り)を指す言葉でもあります。もう一方の辺に対して垂直に落ちる辺なのです。斜辺 hypotenuse は hypoteínousa「下にはりわたされたもの」から来ていて、直角の下を端から端まで、弓の弦のようにのびる辺です。 これらの名前は言葉によるイコンで、それぞれの辺がどこにあるかを言っていました。ラベルになったとき、絵は失われました。ギリシア語がわかる人には「斜辺はいちばん長い辺」はほとんど当たり前ですが、言葉を覚えただけの人には、また一つの規則にすぎません。日本語の「斜辺」も、ななめの辺という絵を残しています。 正三角形と特別な角 学校で覚えさせられるサインやコサインの値、$\frac12$、$\frac{\sqrt3}{2}$、$\frac{\sqrt2}{2}$ などは、二つの図から出てきます。一辺 $a$ の正三角形を高さ $h$ で半分に切ると、角が $30^\circ$、$60^\circ$、$90^\circ$ で、斜辺が $a$、一つの辺が $\frac a2$ の直角三角形が二つできます。ピタゴラスの定理から $$h^2+\left(\frac a2\right)^2=a^2\quad\Longrightarrow\quad h^2=\frac{3a^2}{4}\quad\Longrightarrow\quad h=\frac{a}{2}\sqrt3.$$斜辺を $1$ とすると、$30^\circ$ の向かいの辺は $\frac12$、$60^\circ$ の向かいの辺は $\frac{\sqrt3}2$ です。正方形を対角線で切れば $45^\circ$ が現れ、二辺はどちらも $\frac{\sqrt2}2$ です。覚えさせられる表は、二つの図を読んだものにすぎないのです。