登場人物紹介
僕:数学が好きな高校生。
ユーリ:僕のいとこの中学生。 僕のことを《お兄ちゃん》と呼ぶ。 論理的な話は好きだが飽きっぽい。
ここは僕の部屋。
僕とユーリは、与えられた立方体の二倍の体積を持つ立方体を作図する問題(立方体倍積問題)に取り組んでいた(第355回参照)。
立方体倍積問題
定規とコンパスを有限回だけ使って、 与えられた立方体の二倍の体積を持つ立方体を作図してください。
立方体倍積問題は有名な作図問題で、定規とコンパスを有限回使うだけでは解けないことが証明されている。
でも僕たちは数学史の本を読みながら、いにしえの人たちの考えに触れようとしている。
そう、本の《予言者読み》を通して……
僕「ここまで読んできたことをヒントにして、本の先に何が書いてあるのかを読む前に言い当てる。 ……そんな本の読み方を、僕は《予言者読み》と呼んでるんだ。 まるで予言者のように先に書いてあることを当てられたらおもしろいよね。 特に、数式という巨大なヒントを見ちゃったあとなら、ガチで考えることができる」
ユーリ「本の《予言者読み》、何だかおもしろくなってきた。 答えを見ないように、見ないように少しずつ読んでくんでしょ? もっとやろーよ!」
僕「じゃあ、引き続き、先を読んでいくか。 二つの比例中項 $a:x = x:y = y:b$ を求める問題が、 どうして立方体倍積問題に出てくるのかはよくわかった(第355回参照)から、 その続きを読んでいこう」
ユーリ「そして、数式が出てきたら、お兄ちゃんは叫び声を上げて、ばたっと本を閉じる!」
僕「いや、もう叫ばないし、本を閉じるのもやめるよ。この紙で先の部分を隠しながら、少しずつ読んでいこう!」
ユーリ「おー!」
僕「ヒオスのヒポクラテスが二つの比例中項を考えたところの次から……」
僕とユーリは、数学史の本のページを紙で隠し、少しずつ下に滑らせて一行ずつゆっくり読んでいった。
何かおもしろそうな《予言者読み》ができそうなところまで進むのだ。
ユーリ「メナイクモスの解法だって」
メナイクモスの解法
……ヒオスのヒポクラテスが発見した二つの比例中項は、 立方体倍積問題を解こうとするものにとってのランドマークとなった。
すなわち、 $a,b$ が与えられたときに $a:x = x:y = y:b$ を満たす $x,y$ を求める作図法へと人々を向かわせた。
メナイクモスは、二つの比例中項を求める問題を、円錐曲線の性質を用いて解いた。 その意味で、メナイクモスは円錐曲線の性質を発見していたといえる。
メナイクモスが使った円錐曲線は、放物線と双曲線である。 まず……
僕「っと、ここで止めよう! ここまでで《予言者読み》ができそうだよ」
ユーリ「えーっ、もうちょっと先まで読んだら解法がわかるのに?」
僕「だからだよ。もう十分にヒントが出てる。考えようよ」
ユーリ「まだ数式出てきてないよ。ナントカ曲線が出てきただけじゃん」
僕「メナイクモスは放物線と双曲線を使ったって書いてある。 放物線と双曲線を使って、 $a:x = x:y = y:b$ の $x,y$ を求めるんだ。これはできるよ」
ユーリ「さっぱりわからん」
僕「さっき、ユーリが書いてくれた連立方程式のことだよ(第355回参照)」
$$ \begin{cases} ay &= x^2 \\ bx &= y^2 \end{cases} $$
ユーリ「これが放物線?」
僕「$ay = x^2$ から、$$y = \tfrac{1}{a}x^2$$が得られるから、このグラフを描けば放物線になるよね」
ユーリ「あー、その式で一つの放物線になるってことね」
僕「グラフを描くってことは、 $x$ 座標の値と $y$ 座標の値の関係を曲線として表していることになる。 このグラフの場合、この曲線上にある点 $(x,y)$ は必ず、 $ay = x^2$ という関係を満たしているし、 この曲線上にない点はその関係を満たしていないといえるから」
$ay = x^2$ のグラフは放物線になる
ユーリ「$bx = y^2$ はどーなんの?」
僕「こっちも放物線だね」
$bx = y^2$ のグラフも放物線になる
ユーリ「$bx = y^2$ だと、放物線は横に転がるってことかー」
僕「そうだね。『横に転がった』と言っても悪くないけど、どちらかといえば『鏡に映すように反転した』かな」
ユーリ「細かい突っ込み入った」
僕「$bx = y^2$ から、$$x = \tfrac{1}{b}y^2$$が得られるけど、この放物線は、$$y = \tfrac{1}{b}x^2$$の $x$ と $y$ が入れ替わった形になってる。ちょうど $y = x$ という直線に鏡を置いて、そこに映した形になるんだね」
$bx = y^2$ のグラフと $by = x^2$ のグラフの関係
ユーリ「あ、そーゆー意味か」
僕「それで、この連立方程式を満たす $x$ と $y$ を見つければ $a:x = x:y = y:b$ の $x,y$ を求めたことになる。 それは、 $ay = x^2$ と $bx = y^2$ という二つの放物線が交わった交点を求めることになる。 それは二つの放物線の交点は、両方の関係を満たしていることになるから」
$$ \begin{cases} ay &= x^2 \\ bx &= y^2 \end{cases} $$
ユーリ「えーと……なにをしたいんだっけ」
僕「もちろん、立方体倍積問題だよ」
ユーリ「んー……てことは放物線の交点の $x$ 座標が答え?」
僕「そうだね。 $b = 2a$ として、二つの放物線の交点を求める。すると、その $x$ 座標は $\sqrt[3]{2}$ になっている……というのが、メナイクモスの解法なんだと思うよ!」
$b = 2a$ のとき、 $ay = x^2$ と $bx = y^2$ の交点から $\sqrt[3]{2}$ を得る
ユーリ「お兄ちゃんの《予言者読み》ってすげー! 本読む必要ないじゃん!」
僕「いやいや、そんなことないよ。本からヒントをたっぷりもらって、最後の一歩を考えただけだから」
ユーリ「だって、本には数式、何も書いてなかったよね」
僕「放物線を使ったと書いてあったから、あとは知識でいける。 じゃあ、本の続きを読んで《予言者読み》の答え合わせをしよう!」
ユーリ「あっ!!」
無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。
ひと月500円で「読み放題プラン」へご参加いただきますと、 434本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。
参加済みの方/すぐに参加したい方はこちら
結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加(2022年5月6日)