[logo] Web連載「数学ガールの秘密ノート」
Share

第167回 シーズン17 エピソード7
組み立てペンタゴン(前編)

書籍『数学ガールの秘密ノート/複素数の広がり』

この記事は『数学ガールの秘密ノート/複素数の広がり』として書籍化されています。

無料でWeb立ち読み アマゾンで購入

登場人物紹介

:数学が好きな高校生。

テトラちゃんの後輩。好奇心旺盛で根気強い《元気少女》。

$ \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\ABS}[1]{\bigl|\,#1\,\bigr|} \newcommand{\BAR}[1]{\overline{#1}} $

僕の教室

テトラちゃんが図書室で正 $5$ 角形をめぐる数学トークを続けていると、 あっというまに時間が過ぎ、下校時間になってしまった。 とりあえず図書室からいったんの教室に移動する。

「カバンはそれでいいの?」

テトラ「ええ、大丈夫です。図書室に行くときから帰りしたくしてましたから……お、お邪魔します」

「もう教室には誰もいないから大丈夫だよ。それより正 $5$ 角形」

テトラ「ですよね! ええと……」

  • あたしたちは、正 $5$ 角形を《定規とコンパス》で作図しようとしています。
  • 方程式を解いて、複素平面上にある正 $5$ 角形の頂点は得られました(第165回参照)。

正 $5$ 角形の頂点 $\zeta_0, \zeta_1, \zeta_2, \zeta_3, \zeta_4$

  • あたしたちは《定規とコンパス》で $1$ から $\frac12$ を作ることはできます。
  • ですから、与えられた長さ $a$ から $\frac{a}{2}$ を作ることもできます。
  • 与えられた直線に垂直な直線を描くこともできます。
  • それに、 $a,b$ から $a+b$ や $a-b$ を作ることもできます。
  • ということは、 $1$ から $1+1=2$ も作れます。
  • そして、 $1$ と $2$ があれば、重要な数 $\sqrt{5}$ を作ることができます!

$1$ と $2$ があれば、 $\sqrt{5}$ は《定規とコンパス》で作れる

「足し算、引き算、割り算、 $\sqrt{5}$ ができるから、正 $5$ 角形ができそうだね」

テトラ「はい。あっ!」

「どうしたの?」

テトラ「瑞谷先生の宣言で、あわてて図書室出てきちゃいました! 《正 $5$ 角形の作図》が書かれた数学の本を探しておけばよかったですね……」

「ああ、そのこと? 確かに、答え合わせができるのはいいけれど、 本が手元にあると、つい見てしまいたくなるからなあ」

テトラ「あ、先輩もそうなんですか。あたしもそういう誘惑があります。 問題集で問題を解いていて、行き詰まったときに解答を見たくなりますね」

「うん。いつ答えを見るかの見極めはむずかしいよね。 問題を見てすぐに答えを見ては何にもならないし、 でもいまの自分で解けない問題に時間を掛けすぎてもね」

テトラ「はい……そうなんです。問題を見ても解けなくて、時間ばかり経っていくと 『こんなことしても時間の無駄なのでは』と思ってしまいます」

「でも、結局さいごには答えを見るにせよ、 ある程度は考えてからのほうがいいのは確かだよ。 何も考えずに答えを見ちゃうと、答えが理解できなかったり、 ポイントがわからなかったり、 自分がどこまでわかっているのか確かめられなかったりすることが多いから。 少しも考えずにすぐ答え見ちゃうのはよくないよね」

テトラ「ははあ……確かにそうかもしれません。……って、 それより正 $5$ 角形を描きましょう、先輩!」

「うん、そうだね。計算もできているんだから、本など見なくてもできるよ、きっと。 下校確認の先生が来る前になんとか描きたいな」

テトラ「あたし、考えてたんですが、 正 $5$ 角形の頂点の一つ $\zeta_1$ さえ描ければ、他の点も描けますよね。 正 $6$ 角形と同じようにコンパスを使って、すい、すい、すいと……」

「僕もそう思うよ。ということは、この点に注目だ」

$$ \zeta_1 = \dfrac{-1+\sqrt{5}}{4}+i\dfrac{\sqrt{10+2\sqrt{5}}}{4} $$

テトラ「はい。これは実部を $x$ 座標、虚部を $y$ 座標とみなす点と思っていいですよね。これです」

$$ \left(\dfrac{-1+\sqrt{5}}{4}, \dfrac{\sqrt{10+2\sqrt{5}}}{4}\right) $$

「そうそう。複素平面を $xy$ 平面だと考えればそれで正しいよ。 だから……」

テトラ「だから、この二つの数を《定規とコンパス》で作りますっ! 一つ一つ順番に作っていけばできますよ。コンパスもここにありますし」

「ちょっと待って。実際にコンパスで描き始める前に、 手順を確認したほうがいいよ。でないと図がごちゃごちゃしそうだ。 まずは、 $x$ 座標の、 $$ \dfrac{-1 + \sqrt{5}}{4} \qquad \REMTEXT{($\zeta_1$ の実部)} $$ を作ろう」

テトラ「$\sqrt{5}$ が作れることがわかってますから、 これは簡単にできます。この手順になります」

  • $1$ から $1+1$ で $2$ を作ります。
  • 斜辺以外の辺の長さが $1$ と $2$ になっている直角三角形を作ります。
  • そうすると、斜辺の長さは $\sqrt{5}$ になります。
  • $\sqrt{5}$ と $1$ で $\sqrt{5}-1$ が作れます。
  • $\sqrt{5}-1$ を $2$ で割って $\frac{\sqrt{5}-1}{2}$ が作れます。
  • さらにそれを $2$ で割って $\frac{\sqrt{5}-1}{4}$ が作れますっ!

「うんうん、そうだね。じゃあ次は、 $y$ 座標の $$ \dfrac{\sqrt{10+2\sqrt{5}}}{4} $$ だね」

テトラ「こちらも $\sqrt{5}$ ができますから、簡単です」

  • もうすでに $\sqrt{5}$ は作れています。
  • $2\sqrt{5}$ は $\sqrt{5}+\sqrt{5}$ ですから、これも作れます。
  • 次に $10$ を作るのは $1+1+1+\cdots+1$ でできますね。
  • でも、ちょっと、大変ですね……。
  • あっ、それより、こうしましょう。 $2+1$ で $3$ を作り、 $3+2$ で $5$ を作り、 $5+5$ で $10$ が作れます!
  • ここまでで $2\sqrt{5}$ と $10$ ができましたから、両方加えて $10 + 2\sqrt{5}$ ができました。
  • $4$ で割るのは、さっきと同じように $2$ で割るのを $2$ 回繰り返せばいいですね!

「ちょっと待って、テトラちゃんの手順、何だか変だよ。 $10 + 2\sqrt{5}$ を作ったところまではいいんだけど、 その次がどうして $4$ で割る話になるの?」

テトラ「ええと? だって、 $y$ 座標の分母は $4$ ですよね?

$$ \dfrac{\sqrt{10+2\sqrt{5}}}{4} $$

「そうなんだけど、 $10+2\sqrt{5}$ を $4$ で割るわけじゃなくて、 $\sqrt{10+2\sqrt{5}}$ を $4$ で割るんだけど……」

テトラ「あっ、そうでした。えええっ、 $10+2\sqrt{5}$ のルートを取る? これ、《定規とコンパス》でできるんでしょうか」

「うーん……これはちょっと難しいな。そうだ、こういうときの定石は《二重根号を外す》だよ」

テトラ「二重根号……」

「ほら $\sqrt{A+2\sqrt{B}}$ という形になっているよね。根号、つまりルートが二重になってる。 これは $(\sqrt{a} + \sqrt{b})^2$ を展開する恒等式から考えれば解けるよ。つまり、 $a \geqq 0, b \geqq 0$ として、 $$ (\sqrt{a} + \sqrt{b})^2 = (a + b) + 2\sqrt{ab} $$ が成り立つことを利用するんだ。ここから、 $$ \sqrt{(a+b) + 2\sqrt{ab}} = \sqrt{a} + \sqrt{b} $$ という恒等式ができる。ね? 二重になっていた根号がばらばらになったよね」

テトラ「あ、これ授業でやったことあります」

「いま僕たちは $\sqrt{10 + 2\sqrt{5}}$ を $\sqrt{a} + \sqrt{b}$ という形にしたい。 そのためには、 $a+b = 10$ で $ab = 5$ という $0$ 以上の数 $a,b$ を求めればいいわけだ……けど」

テトラ「でも、 $ab = 5$ だとすると、 $a = 5, b = 1$ か $a = 1, b = 5$ ですよね。 これだと、 $a + b = 10$ にはなりませんが……」

「いや、整数とは限らないから。 $a+b = 10$ で $ab = 5$ ということは、 二次方程式を解けば $a,b$ は得られるよ。 解と係数の関係から、 こういう二次方程式。 $$ x^2 - (a+b)x + ab = 0 $$ つまり、 $$ x^2 - 10x + 5 = 0 $$ を解けばいい」

テトラ「解の公式から $\frac{10\pm\sqrt{100-20}}{2}$ ですね……計算して、 $5 \pm 2\sqrt{5}$ ですか?」

「あれれ? だめだなあ。それが $a,b$ だとすると、 $\sqrt{10 + 2\sqrt{5}}$ の二重根号は外れないね。だって、ほら……」

$$ \sqrt{10 + 2\sqrt{5}} = \sqrt{5 + 2\sqrt{5}} + \sqrt{5 - 2\sqrt{5}} $$

テトラ「……」

「……困ったな。今日はいったんお開きにしようか、テトラちゃん」

テトラ「……いいえ」

「え?」

テトラ「だって、正 $5$ 角形まで、もう少し。もう少し、なんですから。 $x$ 座標が《定規とコンパス》で描けることはわかりました。 $y$ 座標も、あとこの $\sqrt{10 + 2\sqrt{5}}$ さえ描ければ! そうすれば、 $4$ で割るだけなんです」

「テトラちゃん……わかった。もう少しがんばろうか」

テトラ「はいっ!」

「でもね、こういうときは、落ち着いて考えなくちゃいけない。 だって、もともとの方向がまちがっているかもしれないから。 さっき僕は $\sqrt{10 + 2\sqrt{5}}$ を見て《二重根号を外す》のが定石だといったけど、 そっちに進んだのがそもそもまちがいだったかも」

テトラ「なるほど……」

テトラちゃんはいくつか計算をしたけれど、決定打はなかなか見つからない。


テトラちゃんは、またコンパスを取り出して正 $6$ 角形を描き始めた。すい、すい、すい……

「……」

テトラ「今日は……ミルカさんはもうお帰りになったんでしょうか……」

無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。

ひと月500円で「読み放題プラン」へご参加いただきますと、 420本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。


参加済みの方/すぐに参加したい方はこちら

結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加

(2016年8月19日)

書籍『数学ガールの秘密ノート/複素数の広がり』

この記事は『数学ガールの秘密ノート/複素数の広がり』として書籍化されています。

書籍化にあたっては、加筆修正をたくさん行い、 練習問題や研究問題も追加しました。

どの巻からでも読み始められますので、 ぜひどうぞ!

無料でWeb立ち読み アマゾンで購入

[icon]

結城浩(ゆうき・ひろし) @hyuki


『数学ガール』作者。 結城メルマガWeb連載を毎週書いてます。 文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Twitter note 結城メルマガ Mastodon Bluesky Threads Home