Hero Image
アレクサンドリアのユークリッド:顔のない著者

年表 前 530 年ごろピタゴラスとその弟子たちが南イタリアで数と図形を研究する。 前 387 年ごろプラトンがアテナイにアカデメイアを開く。言い伝えでは、門に「幾何学を知らぬ者入るべからず」。 前 331 年アレクサンドロス大王がナイル川のデルタにアレクサンドリアを建設する。 前 300 年ごろユークリッドがプトレマイオス一世の時代にアレクサンドリアで教え、『原論』を書く。 前 250 年ごろシュラクサイのアルキメデスが『原論』を引用する。 後 100 年ごろエジプトのオクシリンコスで見つかったパピルスに、第二巻の一節が残る。 370 年ごろアレクサンドリアのテオンが版を整え、それが以後何世紀も写されていく。 450 年ごろプロクロスが第一巻の注釈を書き、ユークリッドについてのわずかな情報を残す。 800 年ごろ『原論』がバグダードでアラビア語に訳される。 1120 年ごろバースのアデラードがアラビア語版をラテン語に訳す。 1482 年エアハルト・ラトドルトがヴェネツィアで最初の印刷版を出す。 ◀ 前へ 旅をたどる 次へ ▶ c. 387 a.C. アテネプラトンがアカデメイアを創設する。ユークリッドがまとめる幾何学は、ギリシアの学園で育った。 c. 300 a.C. アレクサンドリアユークリッドがプトレマイオス 1 世の時代に教え、『原論』全十三巻を書く。 c. 250 a.C. シラクサアルキメデスがすでに著作の中で『原論』を引用している。 c. 100 オクシリンコス町のごみ捨て場から見つかったパピルスに、第 2 巻の一節が図とともに残っている。 c. 370 アレクサンドリアアレクサンドリアのテオンが、その後千年にわたって写される版を作る。 c. 450 アテネプロクロスが第 1 巻の注釈を書く。ユークリッドについてのわずかな情報はここにある。 c. 800 バグダード知恵の館で、『原論』がアラビア語に訳される。 c. 1120 バースバースのアデラードがアラビア語の本文をラテン語に訳し、本はヨーロッパに戻る。 1482 ヴェネツィアエアハルト・ラトドルトが、余白に図を入れた最初の版を印刷する。その後、千を超える版が続いた。 地図を見るには JavaScript を有効にしてください。各地点は下の一覧にあります。 アテネとアレクサンドリアから、ヴェネツィアの最初の印刷本まで。『原論』の旅。 地図:© OpenStreetMap 協力者

Hero Image
ジョン・ナッシュの生涯

年表 19286 月 13 日、アメリカ合衆国ウェストバージニア州ブルーフィールドに生まれる。 1945ピッツバーグのカーネギー工科大学に入学し、化学工学を学ぶ。のちに数学へ移る。 1948プリンストンに来る。仲間が「ナッシュ」と呼んだゲーム、今日のヘックスを考案する。 1950博士論文「非協力ゲーム」でナッシュ均衡を示す。「交渉問題」を発表する。 1951MIT の講師になる。 1956等長埋め込み定理を発表する。 1957MIT の物理学科の学生アリシア・ラルデと結婚する。 1958放物型方程式の正則性に関する結果を発表する。 1959初めて精神科に入院する。三十年にわたる病が始まる。 1994ジョン・ハーサニ、ラインハルト・ゼルテンとともにノーベル経済学賞を受ける。 2001アリシアと再婚する。映画『ビューティフル・マインド』が公開される。 2015ルイス・ニーレンバーグとともにアーベル賞を受ける。5 月 23 日、アリシアとともに交通事故で亡くなる。 ◀ 前へ 旅をたどる 次へ ▶ 1928–1945 ブルーフィールド鉄道と石炭の町で育つ。『数学をつくった人びと』を読み、フェルマーの小定理を独力で証明する。 1945–1948 ピッツバーグカーネギー工科大学で化学工学から数学に移り、交渉の考えを思いつく。 1948–1951 プリンストンヘックスを考案し、ナッシュ均衡をふくむ 28 ページの博士論文を提出する。 1951–1959 MITMIT で教える。埋め込み定理と放物型方程式の結果を証明する。1959 年、病が始まる。 1970–2015 プリンストン「ファイン・ホールの幽霊」として廊下をさまよい、1980 年代の終わりに回復する。 1994 ストックホルムジョン・ハーサニ、ラインハルト・ゼルテンとともにノーベル経済学賞を受ける。 2015 オスロルイス・ニーレンバーグとともにアーベル賞を受ける。帰国した 5 月 23 日、ニュージャージー州のタクシー事故でアリシアとともに亡くなる。 地図を見るには JavaScript を有効にしてください。各地点は下の一覧にあります。 ブルーフィールドからプリンストンへ。ジョン・ナッシュの場所と、ノーベル賞・アーベル賞を受けに行った旅。 地図:© OpenStreetMap 協力者

Hero Image
ブレーズ・パスカルの生涯

年表 16236 月 19 日、フランスのオーヴェルニュ地方のクレルモンに生まれる。 1626母アントワネット・ベゴンが亡くなる。ブレーズは 3 歳。 1631父エティエンヌ・パスカルが三人の子どもを連れてパリへ移る。 163512 歳で、三角形の内角の和が二直角に等しいことを独力で再発見する。 164016 歳で『円錐曲線試論』を発表。六角形の定理が含まれていた。 1642ルーアンで徴税官をしていた父を助けるため、計算機の製作を始める。 1647『真空に関する新実験』を発表。デカルトが訪ねてくる。 1648義兄フロラン・ペリエがピュイ・ド・ドームに登り、空気の重さを測る。 1654賭けの問題についてフェルマーと手紙を交わし、『算術三角形論』を書く。11 月 23 日に「火の夜」を体験する。 1656偽名で『プロヴァンシアル』の刊行を始める。 1658サイクロイドの問題を解き、それについての懸賞を出す。 1662パリで乗合馬車の路線を開く。8 月 19 日、39 歳で亡くなる。 1670友人たちが、彼のメモをまとめた『パンセ』を出版する。 ◀ 前へ 旅をたどる 次へ ▶ 1623–1631 クレルモンオーヴェルニュのクレルモンに生まれる。三歳で母を亡くす。 1631–1639 パリ父が家で教育し、メルセンヌの集まりに連れて行く。16 歳で『円錐曲線試論』を書く。 1640–1647 ルーアン父はノルマンディーの徴税官。父を助けるためにブレーズはパスカリーヌを作り、真空の実験を行う。 1648 ピュイ・ド・ドームパスカルに頼まれ、義兄フロラン・ペリエが気圧計を持って山に登り、山頂では空気が軽いことを示す。 1647–1662 パリ賭けについてのフェルマーとの往復書簡、火の夜、『プロヴァンシアル』、サイクロイド、乗合馬車。1662 年、39 歳で亡くなる。 1655 ポール・ロワイヤル・デ・シャン火の夜のあと、妹ジャクリーヌのいる修道院にたびたび滞在し、イエズス会に対してポール・ロワイヤルを擁護する。 地図を見るには JavaScript を有効にしてください。各地点は下の一覧にあります。 クレルモン、パリ、ルーアンを行き来したパスカルと、空気の重さを量った山。 地図:© OpenStreetMap 協力者 1623–1631 · クレルモン1631–1639 · パリ1640–1647 · ルーアン1648 · ピュイ・ド・ドーム1647–1662 · パリ1655 · ポール・ロワイヤル・デ・シャン クレルモン、パリ、ルーアンを行き来したパスカルと、空気の重さを量った山。 ブレーズ・パスカルの肖像。作者不詳、1690 年ごろ、ヴェルサイユ所蔵。彼の死後に描かれた複製です。作者不詳 · Wikimedia Commons · パブリックドメイン 幾何学の本を隠した父 ブレーズ・パスカルは 1623 年、フランス中部のクレルモンで生まれました。3 歳のときに母が亡くなり、数学好きの裁判官だった父エティエンヌは、ジルベルト、ブレーズ、ジャクリーヌの三人の子どもを自分で教育することにしました。1631 年、一家はパリに移ります。

Hero Image
『原論』:定義、公準、公理

点とは部分をもたないものである。線とは幅のない長さである。 — ユークリッド『原論』第一巻、定義 1 と 2 三角形の角の和がいつも 180° になることを、疑いの余地なくだれかに納得させたいとしましょう。測るだけでは足りません。分度器には誤差があり、測れる三角形もいくつかにすぎません。必要なのは 論証 です。けれども、どんな論証もどこかから出発します。どこから出発すればよいのでしょう。どの主張も別の主張で正当化しなければならず、その主張もまた別の主張で、となれば、鎖は決して終わりません。 ユークリッドの解決は、最初のページで、どこから出発するのかを正確に宣言することでした。ほかのことはすべて証明しなければならないのです。 三つの部品 『原論』第一巻は三つのリストで始まります。 定義(第一巻に 23):何について話すのかを述べる。「点とは部分をもたないものである」。「円とは一本の線に囲まれた平面図形で、その内部の一点からその線へ引いたすべての直線が等しいものである」。 公準(5):幾何学で何ができるかについて、読者に認めてもらうこと。 公理(共通概念、5):幾何学にかぎらず、どんな量についても成り立つ一般的な真理。 五つの 公準 を意訳すると、 任意の点から任意の点へ直線を引くことができる。 有限の直線を連続して一直線に延長することができる。 任意の中心と任意の半径で円を描くことができる。 すべての直角はたがいに等しい。 一本の直線が二本の直線と交わり、同じ側の内角の和が二直角より小さいならば、その二本の直線を限りなく延長すると、その側で交わる。 最初の三つは、目盛りのない定規 と コンパス でできること、つまり直線を引く、延長する、円を描くことを述べています。『原論』のすべての作図は、この二つの道具だけを使います。四つ目は直角が標準の尺度であることを保証します。五つ目はほかよりも長く、自明さも劣ります。これが有名な 平行線公準 です。 五つの 公理 は、 同じものに等しいものは、たがいに等しい。 等しいものに等しいものを加えれば、全体は等しい。 等しいものから等しいものを引けば、残りは等しい。 たがいに重なりあうものは、たがいに等しい。 全体は部分より大きい。 一つ目は、今日なら「$a=c$ かつ $b=c$ ならば $a=b$」と書くことです。これは 最初の命題 でさっそく使われます。 十三巻の地図 巻 内容 I 三角形、平行線、ピタゴラスの定理 II 幾何学的代数:長方形と正方形の面積 III、IV 円と内接多角形 V エウドクソスの比例論 VI 相似な図形 VII〜IX 数論:最大公約数、素数、完全数 X $\sqrt2$ のような通約できない量 XI〜XIII 立体幾何学と五つの正多面体 本は、正多面体がちょうど 五つ、正四面体、立方体、正八面体、正十二面体、正二十面体しかないことを証明して終わります。プラトンはそれらを自然の元素と結びつけていて、本全体がそこにたどりつくために書かれたと考える人もいます。 円と取り尽くし法 第 12 巻は、とても古い問いに答えています。円の面積はいくらか。エジプト人にはやり方がありました。紀元前 1550 年ごろのリンド・パピルスでは、直径 9 の丸い畑の面積は一辺 8 の正方形の面積とされており、これは $\pi\approx\frac{256}{81}\approx3.16$ を使うのと同じです。聖書では、ソロモンの神殿の大きな青銅の「海」は「縁から縁まで十アンマ」で、「周囲は縄で測ると三十アンマ」でした(列王記上 7 章 23 節)。そこでは $\pi=3$ です。

Hero Image
ヘックス:なぜ先手が勝つのか

1948 年、プリンストンの数学棟の談話室では、教授や学生が午後にチェスや囲碁を打っていました。そこでジョン・ナッシュは新しいゲームを披露しました。盤はひし形で、ハチの巣のような六角形のマスで覆われています。赤と青の二人が交互に、一つずつ、空いたマスに石を置きます。石は二度と動きません。赤は上の辺と下の辺を赤い石の列でつなぎたい。青は左右の辺を青い石の列でつなぎたいのです。 仲間はこのゲームを「ナッシュ」と呼びました。彼は、デンマークのピート・ハインが 1942 年に Polygon という名前でこれを考案していたことを知りませんでした。1952 年、パーカー・ブラザーズ社が、今も残る名前で発売しました。ヘックス(Hex)です。 7×7 のヘックスの盤。赤の勝ち:黄色で強調した赤いマスの列が、上と下の辺をつないでいる。Euler’s Eyes 作図 引き分けは決してない 最初の驚くべき性質:ヘックスでは、埋まった盤には必ず勝者がいます。だれも列を作らずにすべてのマスを埋めることはできません。 直観はこうです。赤が上から下へ渡るのを止めるには、青は盤を端から端まで横切る「壁」が必要です。そして、一方の辺から他方の辺まで続く青いマスの壁は、まさに勝ちになる青い列です。赤が勝っていないなら、それは青にふさがれたからであり、ふさぐことは勝つことなのです。 これはマスが六角形であることによります。チェス盤のような正方形の盤では、二つのマスが角だけで接することがあり、色の違う二本の道が斜めに交差して、どちらも完成しないことがあります。六角形では各頂点で三つのマスが出会うので、そのような交差は起こりません。1979 年、数学者デイヴィッド・ゲールは、ヘックスに引き分けがないことがブラウワーの不動点定理と同値であることを示しました。ナッシュがゲームの均衡に使うのと同じ種類の結果です。 戦略の盗用 二つ目の性質はさらに奇妙です。ナッシュは、先手には必勝戦略があること、つまり完璧に打てば必ず勝てることを証明しました。しかし証明は、その戦略が何であるかを教えてくれません。戦略盗用と呼ばれるこの論法は、次のとおりです。 ゲームは有限で、引き分けがない。したがって二人のうちどちらかが必勝戦略をもつ。どの局面で何を打つかを決め、どんな守りに対しても勝ちを保証する規則である。 背理法のために、必勝戦略をもつのが後手だと仮定する。 すると先手はそれを「盗む」ことができる。最初に好きな手を打ち、あとは余分な石を無視して自分が後手であるかのようにふるまい、後手の必勝戦略に従う。 もし戦略が、余分な石のあるマスに打てと言ったら、どこか別のマスに打てばよい。その新しい石が余分な石になる。 ヘックスでは、盤上に石が一つ多くても不利になることはない。だから盗んだ戦略に従う先手は勝つ。 しかしこれは、後手が必勝戦略をもつという仮定に矛盾する。よって必勝戦略をもつのは先手である。 $$\boxed{\text{ヘックスでは、先手はいつでも勝てる。}}$$これは存在証明です。戦略が存在することは保証しますが、それを示しはしません。9×9 までの盤については、コンピューターが具体的な必勝戦略を見つけています。標準の 11×11 の盤については、だれも知りません。 パイ・ルール 先手が有利なので、ヘックスの大会ではパイ・ルールを使います。二人の子どもがパイを公平に分ける方法、一人が切り、もう一人が選ぶ、にならったものです。ヘックスでは、先手が最初の一手を打ち、後手はその手を色を入れ替えて引き取るか、そのままにするかを決めます。そこで先手は、よすぎず悪すぎない手を打つことになります。 練習問題:1×1 と 2×2 のヘックスの盤で、先手はどう勝つか。1×1 の盤では、ただ一つのマスが四つの辺すべてに接しているので、先手は最初の一手で勝ちます。2×2 の盤では、赤が先手なら、勝ちの一手はひし形の二つの鈍角の隅のマスのどちらかです。そのマスはもう一方の列の二つのマスの両方に接しており、青はそのうち一つしかふさげません。次の手で赤は列を完成させます。 練習問題:戦略盗用論法は三目並べで使えるか。チェスではどうか。三目並べでも石が一つ多くて不利になることはなく、論法は後手が必勝戦略をもてないことを示します。しかし三目並べは引き分けがありえて、実際、完璧に打てば引き分けになります。論法が保証するのは先手が負けないことだけです。チェスでは論法は最初から成り立ちません。駒が一つ多いことが不利になりうるからです。動かなければならないこと自体が不利になる、いわゆるツークツワンクです。 出典: David Gale、“The game of Hex and the Brouwer fixed-point theorem”、The American Mathematical Monthly 86(1979)· Martin Gardner、“The game of Hex”、Hexaflexagons and Other Mathematical Diversions(Chicago、1988)所収 · Sylvia Nasar、A Beautiful Mind(Simon & Schuster、1998)、第 11 章。

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
ナッシュ均衡:だれも一人では得をしない

均衡点とは、ほかのプレイヤーの戦略を固定したとき、各プレイヤーの混合戦略が自分の利得を最大にするような n 組である。 — ジョン・ナッシュ、米国科学アカデミー紀要(1950) 1944 年、ジョン・フォン・ノイマンと経済学者オスカー・モルゲンシュテルンは『ゲームの理論と経済行動』を出版しました。トランプ遊び、戦争、市場といった戦略的な決定を数学に変える大著です。フォン・ノイマンの大きな結果は、二人のゼロサム・ゲーム、つまり一方の得が他方の損になるゲーム、たとえばチェスやポーカーに当てはまるものでした。しかし人生の大部分はそうではありません。貿易協定でも、交渉でも、交通でも、両者がいっしょに得をすることも、いっしょに損をすることもあります。 1949 年、21 歳の学生が、どんなゲームにも、何人のプレイヤーにも使えるアイデアを見つけました。 アイデア ゲームでは、各プレイヤーが戦略を選び、各自の結果は全員の選択によって決まります。ナッシュ均衡とは、ほかの人が戦略を変えないとき、どのプレイヤーも一人で戦略を変えて得をすることができないような戦略の組み合わせです。 記号で書きましょう。$s_i^*$ をプレイヤー $i$ の戦略、$s_{-i}^*$ をほかの人の戦略、$u_i$ をプレイヤー $i$ の利得とすると、 $$\boxed{u_i(s_i^*,s_{-i}^*)\geq u_i(s_i,s_{-i}^*)\quad\text{すべてのプレイヤー }i\text{ とすべての戦略 }s_i\text{ について}.}$$均衡では、各自がほかの人のしていることを前提にして、できる最善のことをしています。だれも自分の選択を後悔しません。 広場かカフェか アナとブルーノは午後に会う約束をしましたが、場所を決め忘れ、二人とも携帯電話を持っていません。それぞれ広場かカフェに行けます。二人ともカフェのほうが好きですが、いちばん大事なのは会えることです。利得(先がアナ、後がブルーノ)は次のとおりです。 アナ / ブルーノ 広場 カフェ 広場 (2, 2) (0, 0) カフェ (0, 0) (3, 3) それぞれの組み合わせを調べましょう。(カフェ、カフェ)で、アナが一人で広場に変えると 3 から 0 になります。ブルーノも同じです。だれも変えたくない:均衡です。(広場、広場)でも、一人で変えるとそれぞれ 2 から 0 になります。これも均衡です! 一方(広場、カフェ)では、アナはカフェに行けば得をするので、均衡ではありません。 このゲームには均衡が二つあり、一方は両者にとってもう一方よりよいものです。ナッシュの概念はどの組み合わせが安定かを教えてくれますが、そのどれが起こるかは教えてくれません。実際には、慣習や習慣、二人がいつも行く場所が決めます。 囚人のジレンマ ナッシュの論文と同じ 1950 年、ランド研究所の二人の研究者メリル・フラッドとメルヴィン・ドレシャーが、このアイデアを試すためのゲームを考え、数学者アルバート・タッカーがそれを二人の囚人の物語として語りました。警察が二人の共犯者を逮捕し、別々の部屋で取り調べます。それぞれ黙秘するか、相手を自白で売るかを選べます。刑期(年)は次のとおりです。 A / B 黙秘 自白 黙秘 (1, 1) (10, 0) 自白 (0, 10) (5, 5) 囚人 A の立場で考えましょう。B が黙秘するなら、A は黙秘で 1 年、自白で 0 年:自白のほうがよい。B が自白するなら、A は黙秘で 10 年、自白で 5 年:やはり自白のほうがよい。B が何を選んでも、A にとっては自白のほうがよいのです。 同じ推論が B にも当てはまります。ナッシュ均衡は(自白、自白)ただ一つで、それぞれ 5 年です。

Hero Image
最初の命題:正三角形

与えられた有限の直線の上に、正三角形をつくること。 — ユークリッド『原論』命題 I.1 定義、公準、公理のあと、『原論』は小さくて美しい問題で始まります。線分 $AB$ があります。定規とコンパスだけで、三辺がすべて $AB$ に等しい三角形をつくりたい。本の 465 の命題の最初のもので、ほかのすべての命題がどう進むのかを、わずかな行で示してくれます。 作図 ユークリッドは最初の三つの公準だけを使います。 $A$ を中心、$AB$ を半径として円を描く(公準 3)。 $B$ を中心、同じ半径 $BA$ でもうひとつ円を描く(公準 3)。 二つの円は点 $C$ で交わる。 直線 $CA$ と $CB$ を引く(公準 1)。 三角形 $ABC$ が求める三角形です。 命題 I.1 の作図。緑の円の中心は A、青い円の中心は B。どちらも半径 AB で、C で交わる。Euler’s Eyes 作図 証明 つくるだけでは足りません。三角形が正三角形であることを 証明 しなければなりません。証明は三段階で、それぞれ根拠を挙げます。 $C$ は $A$ を中心とする円の上にあるので、$AC=AB$。円の定義により、半径はすべて等しい。 $C$ は $B$ を中心とする円の上にあるので、$BC=BA$。同じ理由による。 $AC$ と $BC$ はどちらも $AB$ に等しいので、$AC=BC$。公理 1、同じものに等しいものはたがいに等しい、による。 したがって

Hero Image
組合せ:書き出さずに数える

ブラジルの宝くじ「メガセナ」では、60 個の数から 6 個を選びます。異なる選び方は何通りあるでしょうか。全部書き出していたら一生かかります。五千万通り以上あるのです。でも書き出さずに数えることはできますし、パスカルがその方法を示しました。 順番を気にせずに選ぶ 小さな例から始めましょう。5 人のグループから委員を 2 人選ぶ方法は何通りでしょうか。 順番が問題になるなら、1 人目は $5$ 通り、2 人目は $4$ 通りで、$5\cdot4=20$ 通りです。でも委員会では「アナとブルーノ」も「ブルーノとアナ」も同じなので、どの組も二回ずつ数えられています。委員会は $20/2=10$ 通りです。 一般に、$n$ 個のものから順番を気にせず $k$ 個を選ぶ方法の数は $$\binom nk=\frac{n!}{k!\,(n-k)!},$$です。ここで $n!=n\cdot(n-1)\cdots2\cdot1$ です。「$n$ 個から $k$ 個を選ぶ組合せの数」と読みます。委員会の場合は $\binom52=\frac{120}{2\cdot6}=10$ です。 なぜ三角形の数になるのか パスカルは、$\binom nk$ がちょうど算術三角形の数 $C(n,k)$ であることに気づきました。理由は同じ足し算の規則です。 グループの中から一人、たとえばアナを選んでおきます。$n$ 人から選んだ $k$ 人の委員会は、アナを含むか、含まないかのどちらかです。含むなら、残りの $n-1$ 人から $k-1$ 人を選べばよく、含まないなら、$k$ 人全員が残りの $n-1$ 人から選ばれます。したがって $$\binom nk=\binom{n-1}{k-1}+\binom{n-1}{k},$$これはまさに三角形の規則です。どちらも端は同じ $1$ で始まり、同じ規則に従うので、同じ表になります。 メガセナ これで大きな計算も簡単です。 $$\binom{60}{6}=\frac{60\cdot59\cdot58\cdot57\cdot56\cdot55}{6\cdot5\cdot4\cdot3\cdot2\cdot1}=50\,063\,860.$$一口の当選確率は五千万分の一あまりです。毎週一口ずつ買っても、当たるまでに平均で百万年近く待つことになります。 和の累乗 同じ考え方で、三角形のもう一つの登場の仕方も説明できます。 $$(a+b)^3=(a+b)(a+b)(a+b)$$を展開すると、結果の各項は、三つのかっこのそれぞれから $a$ か $b$ を一つずつ選んでできます。$a^2b$ を得るには、三つのうちちょうど一つのかっこで $b$ を選べばよく、その選び方は $\binom31=3$ 通りです。だから $$(a+b)^3=a^3+3a^2b+3ab^2+b^3,$$となり、一般には $$(a+b)^n=\sum_{k=0}^n\binom nk a^{n-k}b^k.$$です。$a=b=1$ とすると左辺は $2^n$ になり、またしても $n$ 行目の和です。この公式は指数が整数のときに成り立ちます。十年後、ニュートンは指数が分数のときどうなるかを発見しました。一般化された二項式を見てください。

Hero Image
ユークリッド流のピタゴラスの定理

直角三角形において、直角に対する辺の上の正方形は、直角をはさむ辺の上の正方形の和に等しい。 — ユークリッド『原論』命題 I.47 ギリシャ人よりずっと前、ナイル川の氾濫のたびに畑の境界を引きなおしたエジプトの測量師たちは、縄張り師 と呼ばれていました。言い伝えでは、等間隔に 12 の結び目をつけた縄を使い、それを三辺 3、4、5 の三角形に張ると直角ができたといいます。バビロニア人はもっと多くを知っていました。紀元前 1800 年ごろの粘土板 プリンプトン 322 には、辺が整数の直角三角形がならび、なかには 3 367、3 456、4 825 のような大きなものもあります。 このサイトの旧幾何学講座は、いちばん簡単な例から始めていました。 $$3^2+4^2=9+16=25=5^2,\qquad 6^2+8^2=36+64=100=10^2.$$エジプト人やバビロニア人に欠けていたのは、この関係が すべての 直角三角形で成り立つという 証明 でした。伝統はそれを紀元前六世紀のピタゴラスに帰していますが、彼の証明は残っていません。私たちがもっている最も古い証明はユークリッドのもので、第一巻の最後から二番目の命題です。(日本ではこの関係を「三平方の定理」とも呼びます。) 風車の証明 $ABC$ を $A$ で直角となる三角形とし、直角をはさむ辺を $AB=c$、$AC=b$、斜辺を $BC=a$ とします。各辺の上に正方形をつくります。できあがった図が風車に似ているので、この証明はその愛称で呼ばれます。アラビアの数学者たちは「花嫁の椅子」と呼びました。 命題 I.47 の図。A から下ろした高さ(点線)が斜辺の上の正方形を二つの長方形に分ける。左の長方形は AB の上の正方形と、右の長方形は AC の上の正方形と面積が等しい。Euler’s Eyes 作図 ユークリッドの考えは、$A$ を通って $BC$ に垂直な線を引き、$BC$ の上の大きな正方形を二つの長方形に分け、それぞれの長方形が小さな正方形のひとつと面積が等しいことを示すことです。証明に使うのは、すでに証明された二つの事実だけです。 I.4:二辺とそのあいだの角がそれぞれ等しい二つの三角形は合同であり、面積も等しい。 I.41:平行四辺形と底辺と高さが同じ三角形は、平行四辺形の半分の面積をもつ。 左の長方形については、ユークリッドは $B$ を頂点とする二つの三角形を見ます。一つ目は、$B$、$A$、そして下の正方形の $B$ の真下にある頂点でできる三角形。二つ目は、$B$、$C$、そして $AB$ の上の正方形の、$B$ のとなりにあって $A$ でない頂点でできる三角形です。この二つの三角形は、$AB$ の上の正方形の一辺と $BC$ の上の正方形の一辺という二辺が等しく、そのあいだの角も等しくなっています。どちらも三角形の一つの角に直角を足したものです。I.4 により、面積は等しくなります。

Hero Image
混合戦略:PK と指の偶奇当て

すべての有限ゲームには均衡点がある。 — ジョン・ナッシュ、博士論文「非協力ゲーム」(1950) ゲームによっては、各プレイヤーが決まった手を選ぶかぎり、均衡がまったくないものがあります。いちばん簡単なのは指の偶奇当てです。アナは「偶数」、ブルーノは「奇数」に賭け、それぞれ指を一本か二本出します。合計が偶数ならアナが 1 点、奇数ならブルーノが 1 点を得ます。各自の選択を指「一本」か「二本」にしぼると、利得は次のとおりです。 アナ / ブルーノ 1 本 2 本 1 本 (1, −1) (−1, 1) 2 本 (−1, 1) (1, −1) 四つの組み合わせを調べてみましょう。どの場合も、負けた側が手を変えれば得をします。決まった手では均衡はありません。もっともな話です。いつも同じ手を出す人は、相手に気づかれたとたんに負けるのです。 くじを引くのが最善の戦略 抜け道は混ぜることです。ある確率で、でたらめに選ぶのです。混合戦略とは、手の上の確率分布のことです。アナは確率 $p$ で指を 1 本、ブルーノは確率 $q$ で 1 本出し、互いに独立にくじを引くとします。 アナが 1 本出すと、期待利得は $q\cdot1+(1-q)\cdot(-1)=2q-1$。2 本出すと $q\cdot(-1)+(1-q)\cdot1=1-2q$ です。アナが二つの手を混ぜてもよいと思うのは、両方が同じ利得をもたらすとき、つまりブルーノがアナを無差別にするときだけです。 $$2q-1=1-2q\quad\Longrightarrow\quad q=\frac12.$$同じ理由で、ブルーノが混ぜるのは $p=\frac12$ のときだけです。ただ一つの均衡は、各自が 50% の確率で指を 1 本か 2 本出すことです。この混合に対しては、純粋でも混合でも、どんな戦略も相手に 0 より大きい期待利得を与えません。 ナッシュの定理 これが 1950 年の博士論文の大きな結果です。プレイヤーの数も手の数も有限なゲームには、混合戦略を許せば、ナッシュ均衡が少なくとも一つある。 証明には不動点定理を使います。混合戦略の各組み合わせに対して、各プレイヤーが自分の混合を利得の高い手のほうへ少しずらした別の組み合わせを作ります。これで、組み合わせの集合からそれ自身への連続関数が決まります。この集合は穴のない球のようなもので、ブラウワーの定理によれば、球からそれ自身へのどんな連続関数にも不動点、つまり関数が動かさない組み合わせがあります。動かない点とは、まさにだれも変えたくない組み合わせ、すなわち均衡です。 定理は均衡が存在することを保証しますが、それがただ一つだとも、計算しやすいとも言っていません。今日では、大きなゲームでナッシュ均衡を見つけることは、計算の上できわめて難しい問題になりうることが知られています。 PK 混合戦略のいちばん有名な例はスタジアムで起こります。PK では、キッカーがコースを選び、ゴールキーパーはボールを見る前に跳ばなければなりません。右利きのキッカーにとって得意なコースは自分の左、つまりキーパーの右です。ゴールの確率が次のとおりだとしましょう。 キッカー / キーパー キーパーが得意コースへ跳ぶ キーパーが反対へ跳ぶ 得意コースへ蹴る 60% 95% 反対へ蹴る 90% 70% 数字は丸めてありますが、ヨーロッパのサッカーの実際のデータに近いものです。キーパーが逆に跳べば、キッカーはまず外しません。得意コースはいちばん蹴りやすいコースですが、キーパーが方向を読んだときにいちばん止められやすいコースでもあります。

Hero Image
シュヴァリエ・ド・メレのサイコロと公平な分配

シュヴァリエ・ド・メレと名乗っていたアントワーヌ・ゴンボーは、フランス宮廷の文筆家で、熱心な賭博師でもありました。1654 年ごろ、彼はパスカルに賭けについての問いを二つ持ち込みました。パスカルはその問いがとても良いと思い、ピエール・ド・フェルマーに手紙を書きました。確率論はその手紙のやりとりから生まれたのです。 この友人について、パスカルはフェルマーにこう書いています。 彼はとても頭がよいのですが、幾何学者ではありません。それは、ご存じのとおり、大きな欠点です。 — ブレーズ・パスカル、フェルマーへの手紙(1654 年 7 月 29 日) 第一の問題:6 の目と 6 のぞろ目 ド・メレは得をする賭け方を知っていました。サイコロを一つ 4 回振り、少なくとも一回 6 が出るほうに賭けるのです。彼は負けるより勝つほうが多かったのです。 そこで彼はこう考えました。サイコロ二つで 6 のぞろ目が出るのは、サイコロ一つで 6 が出るより 6 倍まれだ。それなら 6 倍多く振れば埋め合わせられる。$4\cdot6=24$ 回です。「サイコロ二つを 24 回振って、少なくとも一回 6 のぞろ目が出る」という賭けは、最初の賭けと同じくらい有利なはずだ、と。 そうはなりませんでした。ド・メレはお金を失い、その理由がわかりませんでした。 正しい計算は、反対の出来事から考えます。サイコロ一つで 6 が出ない確率は $\frac56$ です。独立に 4 回振って一度も 6 が出ない確率は $\left(\frac56\right)^4$ です。したがって $$P(\text{4 回で少なくとも一回 6})=1-\left(\frac56\right)^4=1-\frac{625}{1296}\approx0.518.$$サイコロ二つの出方は $36$ 通りで、6 のぞろ目はそのうち一つだけです。一回振って 6 のぞろ目が出ない確率は $\frac{35}{36}$ です。 $$P(\text{24 回で少なくとも一回 6 のぞろ目})=1-\left(\frac{35}{36}\right)^{24}\approx0.491.$$最初の賭けは 51.8% の割合で勝ち、二つ目は 49.1% しか勝てません。ド・メレの比例の規則はもっともらしく見えましたが、確率はそのようには足し算できないのです。25 回振れば、確率はようやく半分を超えます。$1-\left(\frac{35}{36}\right)^{25}\approx0.506$ です。 賭けているだけで気づけるか? ほとんど無理です。49.1% と 50% の差はとても小さく、確実に気づくには何千回も賭ける必要があります。そのため歴史家たちは、ド・メレが疑ったのは財布ではなく計算のほうだったと考えています。正しいと信じていた二つの規則が違う答えを出したので、どちらが間違っているのかを知りたかったのです。