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

第186回 シーズン19 エピソード6
古代ギリシアの数学(後編)

登場人物紹介

:数学が好きな高校生。

ユーリのいとこの中学生。 のことを《お兄ちゃん》と呼ぶ。 論理的な話は好きだが飽きっぽい。

$ \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\WIDEN}[1]{\,#1\,} \newcommand{\WIDENFRAC}[2]{\dfrac{\WIDEN{#1}}{\WIDEN{#2}}} \newcommand{\KAKUDO}[1]{{#1}^\circ} \newcommand{\KAKU}[1]{\REMTEXT{角}{#1}} \newcommand{\SANKAKU}[1]{\REMTEXT{三角形}{#1}} $

双倉図書館にて

ユーリは双倉図書館(ならびくらとしょかん)で開催されているイベント《いにしえの数学》を見学中。

このイベントでは、さまざまな国の、古い時代の数学についてパネルが展示されている。

ユーリは古代ギリシアのコーナーでピタゴラスの問題に取り組んでいた。

ユーリ「《共通の尺度》の話はおもしろかったねー。じゃっ、次のパネルに行ってみよー!」

「こっちもピタゴラスの話だな……『プロクロスは、おそらくエウデモスからの引用であろうが、 次の二つの数学上の発見をピタゴラスに帰していた。 それらは(1)正多面体の作図、(2)比例の理論である。 これをどの程度文字どおりに受け取ってよいものかどうかは疑問だが、 この言明がピタゴラス学派の思想の方向を正しく反映している可能性は十分に考えられる……』と。ボイヤー『数学の歴史』より、とのこと」

ユーリ「プロクロスとかエウデモスとかピタゴラスとか、 名前いっぱい出てきた。プロクロス is 誰」

「ほら、 ピタゴラスが書いたものは残っていないってパネルがさっきあったよね。あそこに出てきた人だ。 プロクロスは、エウデモスの数学史の要約を、ユークリッドの原論の第一巻の注釈の中に組み込んで書いた人」

ユーリ「あー、ま、いっか。それはさておき」

「さておくなよ」

ユーリ「こっちのパネルにクイズがあるよ。比例の理論、だって!」

クイズ(比例の理論)

ピタゴラス派は、比例に関連して次のようなことを考えました。

$3$ 個の量 $a,b,c$ があり、 $0 < a < b < c$ を満たすものとします。

さらに、以下の(1)で $a,b,c$ が関連づけられているとしましょう。

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{a}\qquad\REMTEXT{(1)} \end{align*} $$

この式(1)によって《$b$ が定義されている》と考えたとき、 いったい $b$ は《$a$ と $c$ に対するどんな量》だといえるでしょうか。

また、以下の(2)および(3)の式についてもそれぞれ考えてみましょう。

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{b}\qquad\REMTEXT{(2)} \\ \end{align*} $$

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{c}\qquad\REMTEXT{(3)} \\ \end{align*} $$

ユーリ「なにこれ」

「なるほど、《$b-a$ と $c-b$》の比の値が、 《$a$ と $a$》《$a$ と $b$》《$a$ と $c$》の比の値でそれぞれ表される関係を調べよということか……」

ユーリ「そんなの、考えたことないよー」

「だから、いま考えるんだよ、ユーリ」

「……」

ユーリ「あっ、お兄ちゃん。抜け駆け禁止! 式の計算始めてるね!」

「いやいや、抜け駆けとかそういうんじゃなくてね。僕たちには(1)の式が与えられている」

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{a}\qquad\REMTEXT{(1)} \end{align*} $$

「これを《$b$ を定義している式》だと考えるんだから、 $$ b = \cdots $$ という形になるように変形すればいいはず。さて……なるほどなるほど」

ユーリ「ちょっと待ってよー……ユーリも、すぐ計算するから」

「……できた?」

ユーリ「……できた! (1)は、こーでしょ?」

(1)から $b$ を定義する式を作る

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{a} && \REMTEXT{(1)より} \\ \dfrac{b - a}{c - b} &= 1 && \REMTEXT{$\frac{a}{a} = 1$だから} \\ b - a &= c - b && \REMTEXT{両辺に$c - b$を掛けた} \\ b + b &= a + c && \REMTEXT{$b$を左辺に移項し、$a$を右辺に移項した} \\ 2b &= a + c && \REMTEXT{$b+b = 2b$を計算した} \\ b &= \dfrac{a + c}{2} && \REMTEXT{両辺を$2$で割った} \\ \end{align*} $$

「そうだね。(1)の関係式は、 $$ b = \dfrac{a + c}{2} $$ になった。だから?」

ユーリ「だから、(1)で定義されている $b$ は《$a$ と $c$ の平均》なんだ! 楽勝楽勝」

「そう、それでいいはず。 $a$ と $c$ を足し合わせて、 $2$ で割っているから、平均になる。 より正確には算術平均(さんじゅつへいきん)になるね」

ユーリ「じゃっ、次は(2)やるねー。これも $b = \cdots$ にすればいーんでしょ?」

「……」

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{b}\qquad\REMTEXT{(2)} \\ \end{align*} $$

ユーリ「……できた、けど?」

(2)から $b$ を定義する式を作る

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{b} && \REMTEXT{(2)より} \\ b(b - a) &= a(c - b) && \REMTEXT{両辺に$b(c - b)$を掛けて分母を払った} \\ b^2 - ab &= ac - ab && \REMTEXT{カッコを外した} \\ b^2 &= ac && \REMTEXT{両辺に$ab$を加えた} \\ b &= \SQRT{ac} && \REMTEXT{$b > 0$だから} \\ \end{align*} $$

「うんうん。(2)は、 $$ b = \SQRT{ac} $$ になったね。そうだろうと思ったよ」

ユーリ「うわなにその発言。 $a$ と $c$ を掛けて、ルート取ったものが $b$ って……計算はできたけど、 これって何がおもしろいの?」

「さっきの(1)は算術平均だったけど、この(2)は幾何平均(きかへいきん)だよ。 $\SQRT{ac}$ は $a$ と $c$ の幾何平均。 これも平均の一種」

ユーリ「えっ、だって掛け算だよ? 足してないよ? それなのに平均なの?」

「そうだね。ほら、平均っていうのは、複数の数を《平らに均す(ならす)》のが目的だから、 その均し方にはいろいろあるんだよ。 もちろん、普通に平均といったら算術平均のことになるけどね。 幾何平均も対数取れば算術平均だし」

ユーリ「掛け算してルート取るのが均している……さっぱりわからへん」

「なぜ急にあやしい関西弁になる。 じゃ、《平らに均す》というのを、こんなふうに考えてみようよ。 算術平均は $a$ と $c$ を足して $2$ で割った。 ロープを一本釘に引っ掛けたとき、 ぶらさがっている長さが $a$ と $c$ のようにアンバランスだとする」

アンバランスなロープ

ユーリ「ロープ?」

「そう。ロープの長さはもちろん $a+c$ だよ。 そして、ロープを引っ張ってバランスを取った。 そのとき、ぶらさがっている長さは $\frac{a+c}{2}$ になる」

ユーリ「ほほー」

「言い換えると、二つの長さの和が一定という条件を付けて、 $2$ 本の長さを揃えたわけだね。これが算術平均の均し方」

算術平均では、和が一定で、長さを揃えた(ロープのバランス)

ユーリ「確かに! おもしろーい!」

「それに対して、幾何平均では $a$ と $c$ を掛けてルートを取る。 それはね、縦と横の長さが違う長方形があったとして、 その縦と横の積が一定という条件を付けて、 縦と横の長さを揃えたことになるんだ」

幾何平均では、積が一定で、縦と横を揃えた(長方形と正方形)

ユーリ「おー、そっか! 長方形と面積がおんなじ正方形を作ったってこと?」

「$2$ 個の数の幾何平均だと、そうなるね。 $b^2 = ac$ という式をよく見ると、 そのことがよくわかる。 『《二辺が $a$ と $c$ である長方形の面積》と等しい正方形の一辺は $b$ だ』と言ってるわけだから」

ユーリ「何だか、平均っぽく見えてきた!」

「最後は(3)の式だね」

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{c}\qquad\REMTEXT{(3)} \\ \end{align*} $$

ユーリ「待って待って待って。ユーリが計算するから。お兄ちゃんはそのまま、動かないで!」

(3)から $b$ を定義する式を作る

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{c} && \REMTEXT{(3)より} \\ c(b - a) &= a(c - b) && \REMTEXT{両辺に$c(c - b)$を掛けて分母を払った} \\ cb - ca &= ac - ab && \REMTEXT{カッコを外した} \\ ab - ca + cb &= ac && \REMTEXT{$b$を含む$ab$を左辺に移項} \\ ab + cb &= ac + ca && \REMTEXT{$b$を含まない$ca$を右辺に移項} \\ b(a + c) &= 2ac && \REMTEXT{$ac + ca = 2ac$だから} \\ b &= \dfrac{2ac}{a + c} && \REMTEXT{両辺を$a + c$で割った} \\ \end{align*} $$

「さてと。(3)から、 $$ b = \dfrac{2ac}{a + c} $$ という式が出てきたわけだけど」

ユーリ「今度は足し算と掛け算が混ざってる……これも、平均? 平均っぽくないよ?」

「これは、もう少し式変形をしないと、平均には見えないよ」

ユーリ「お兄ちゃんは《数式マニア》だから……いや、待って、ユーリもできるかも。だって、隠れてるもん」

「隠れてる?」

ユーリ「あのね、さんじゅちゅ……さんずちゅ……算術平均が隠れてるの。ここに!」

ユーリの式変形

「ほほう!」

ユーリ「$\frac{a+c}{2}$ の、逆数の逆数だと考えたの! 逆数が隠れてたんだよー!  $ac$ の方はわかんなかったケド」

「逆数までたどり着いたんだ、すごいな!」

ユーリ「こっから、どーすんの?」

「うん、こんな式変形をすると、見えてくるよ」

「僕」の式変形

ユーリ「逆数の逆数……」

「そうだね。《《$a$ の逆数》と《$c$ の逆数》の算術平均》の逆数。これは調和平均(ちょうわへいきん)というよ」

ユーリ「へー……」

クイズの答え(比例の理論)

$3$ 個の量 $a,b,c$ があり、 $0 < a < b < c$ を満たすものとします。

さらに、以下の(1)で $a,b,c$ が関連づけられているとしましょう。

$$ \begin{align*} \dfrac{b - a}{c - b} &= \dfrac{a}{a}\qquad\REMTEXT{(1)} \\ \dfrac{b - a}{c - b} &= \dfrac{a}{b}\qquad\REMTEXT{(2)} \\ \dfrac{b - a}{c - b} &= \dfrac{a}{c}\qquad\REMTEXT{(3)} \\ \end{align*} $$

これらの式で《$b$ が定義されている》と考えたとき、 $b$ はそれぞれ、

(1)$a$ と $c$ の算術平均、

(2)$a$ と $c$ の幾何平均、

(3)$a$ と $c$ の調和平均になります。

ピタゴラス派は、 $b - a$ と $c - b$ の比と $a,b,c$ の比の関係を使い、 平均について研究したと考えられています。

「比の値と平均が関わるって、考えたことなかったよ。 もしかしたら《共通の尺度》について考えるというのと、 比について考えるというのは関連しているんだろうか」

ユーリ「……」

「で、ユーリは何を考えているのかな」

ユーリ「……お兄ちゃん、これって階差数列みたいだね」

「おっと?」

ユーリ「《$a,b,c$》と《$b-a,c-b$》の関係って、 数列と階差数列の関係じゃん?

$b - a$ と $c - b$ の比ってゆーのは、階差数列の比を調べてるみたい!」

「なるほど、確かに。ということは、(1)の式を解読すると《階差数列の比が一定》、 (2)の式は《階差数列の比がもとの数列の第 $1$ 項と第 $2$ 項の比に等しい》、 (3)の式は《階差数列の比がもとの数列の第 $1$ 項と第 $3$ 項の比に等しい》といえる……」

ユーリ「ふむー……」

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

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


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

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

(2017年2月17日)

[icon]

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


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

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