結城浩です。いつもご愛読ありがとうございます。
書籍化第一弾として『数学ガールの秘密ノート／式とグラフ』が 2013年7月に刊行されます。ぜひ応援してくださいね！
なお、書籍化第二弾は2013年12月刊行の予定です。
（第32回からの続き）
図書室にて
僕「テトラちゃん、今日は読書なんだね」
テトラ「あ！ 先輩！ は、はい。そうなんですが、ちがうんです」
僕がテトラちゃんの読んでいる本をのぞきこむと、 たくさんの数式が書かれていた。しかも、僕にも難しいような数式だ。
僕「テトラちゃん、すごい本読んでるね！」
テトラ「いえいえ、とんでもないです。読んでるわけじゃなくて、見てるだけなんですが……」
僕「見てるだけ？」
テトラ「はい……あたし、この本に書かれてる数式が読めるわけじゃないです。ただ、その、ええと、先輩やミルカさんがよく難しい数学のお話をなさっているので、 あ、あたしも…」
僕「それで、こんな難しい数学書を読み……見始めたの？」
テトラ「はい、そうです。でも、やっぱり無謀でした。ながめていても理解できるわけではないですよね」
僕「まあ、そうだけど。そういうふうに難しい本をのぞいてみるのは僕もやることがあるよ。さすがにこの本は僕にも難しすぎるかな」
テトラ「あ、そうなんですね！」
数式の不思議な文字並び
僕がテトラちゃんの隣の席に座ると、 テトラちゃんはちょっと首をかしげながら話し出した。
テトラ「数式って不思議な文字の並び方していますよね」
僕「文字の並び方ってどういうこと？」
テトラ「あのですね、普通の文……たとえば英文って、"This is a sentence." のように一列に並ぶじゃないですか」
僕「一列？ ……まあそうだけど」
テトラ「でも、数学だと文字が上に行ったり下に行ったりします」
僕「ああ、そういうこと？ そうだね。テトラちゃんがいうのはこういうことだね？」
$$ a^3 \qquad x^2 \qquad 2^n $$
テトラ「そうですそうです！」
僕「ここに書いた《上に行く文字》は冪乗で使う指数だよね。何個を掛けているかを表す数」
$$ \begin{align*} a^3 &= \underbrace{a \times a \times a}_{\text{ $3$ 個}} \\ x^2 &= \underbrace{x \times x}_{\text{ $2$ 個}} \\ 2^n &= \underbrace{2 \times 2 \times \cdots \times 2}_{\text{ $n$ 個}} \\ \end{align*} $$
テトラ「はい」
僕「《下に行く文字》のは、添字のことかな」
$$ a_3 \qquad x_2 $$
テトラ「こちらは先ほどの指数とはまったく違う意味になりますよね」
僕「そうだね。この添字は数列の『何番目』の項なのかを表したり、複数個の変数を扱う時の番号に使ったりするよね」
$$ a_1, a_2, a_3, \ldots, a_k, \ldots $$
$$ \left\{\begin{array}{llll} x_1 + x_2 + x_3 &= \alpha \\ x_1x_2 + x_2x_3 + x_3x_1 &= \beta \\ x_1x_2x_3 &= \gamma \\ \end{array}\right. $$
テトラ「はい……文字が上に行くか下に行くかでまったく意味がちがいますよね」
僕「確かに言われてみれば不思議な並び方か——慣れればそうでもないんだけどね」
テトラ「一つ一つはわかるんですが、文字がたくさん出てくると、頭の中で文字がからみあうみたいになって、頭がわああっ、となっちゃうんです」
テトラちゃんは頭を抱える。
僕「うん……ねえ、テトラちゃん。テトラちゃんは英語が得意だよね」
テトラ「はい。得意とはいえませんけど、大好きです！……それが？」
僕「ほら、同じ単語でも出てくる場所によって意味が変わる単語ってあるよね。たとえば、"that"みたいに。 長い文章のあちこちに出てくる that はその文脈に合わせて考えると意味が決まる。 でも、読み慣れていればいちいち辞書を引いて『ここでのthatの意味は……』なんて 考えなくても読めるよね」
テトラ「ははあ……なるほどです。そういえばそうですね。慣れるまでは時間がかかりますけれど」
僕「数学——数式もそれと同じだよ」
テトラ「？」
僕「慣れるまでは時間がかかる。でも慣れてくれば読めるようになる」
テトラ「ああ、そういうことですか」
僕「テトラちゃんは文字が上に行く、下に行くって話をしたけれど、あれは数式を読む人への《手がかり》になってるんだよ。 そういう意味では、英語よりも親切かもしれないね」
テトラ「文字の位置が手がかりなのですね。あっ！ それって楽譜とも似てます！」
僕「なるほど！ 確かにそうかもしれないね。数式は、いろんな文字や記号が出てきて、 その位置が読む手がかりのひとつになるところは楽譜と似てるね。 そうだそうだ、《世界共通の言葉》になってるところも楽譜と似てる」
テトラ「言葉！ 数式が言葉！？」
僕「そうだよ。知らない外国語——たとえばロシア語とかフランス語とか——で書かれた数学の本でも、本文は読めなくても数式は読める。 数式だけを見ていって何の話なのかわかることもあるよ」
テトラ「へ、へえ……外国語で書かれた数学の本。あたりまえですけど、そういうものもあるわけですか！」
僕「うん、この図書室にもあるよ。一回ぱらぱらっと見たことがある」
驚異のシグマ
テトラ「一つの文字が指数のように上に行ったり、添字のように下に行ったりするくらいならいいんですが、ときどきものすごい式がありますよね。たとえば、先輩、こういうものです。 こんな式、どう読めばいいんでしょう？」
僕「どれ？」
テトラ「こういう数式が出てくると、つい『うわわわっ、こんな難しい数式、あたしにはだめですっ！』と 思ってしまうんです」
僕「これはそんなに難しくないよ」
テトラ「先輩、ひとめでわかるんですか！」
僕「いやいや、この数式がほんとうには何をいいたいのかは、この本の前後を読んでみないとわからないけれど、 この数式をどう読み解くかはそんなに難しい話じゃない。 あれだよ、テトラちゃん。英語の構文解釈。あれと似てるよ」
テトラ「といいますと？」
僕「うん。英文で使われている名詞の意味がわからなくても、主語はこれで、目的語はこれだなとわかることがあるよね。 それと似てる。この数式 $\sum_{k=1}^n f_k(x)$ を読んでみようか？」
テトラ「お願いします！」
数式を解読する
僕「それじゃ、 $\sum_{k=1}^n f_k(x)$ を解読してみよう」
テトラ「はい！」
僕「最初に出てくる $\sum$ （シグマ）は、数式に慣れていない人から嫌われるんだよね」
テトラ「その気持ち、ちょっぴりわかります。大声で『難しいぞ！』といってますよね、このギリシア文字！ 顔文字で 驚きの気持ちを表すときにも使いますし！」
僕「ははは、確かにそうだね。いまテトラちゃんは $\sum$ のことを文字っていったけど、 ここでは $\sum$ は文字というよりも和を求める記号として使われているんだよ」
テトラ「和を求める記号……ですか」
僕「そうだね。和——つまり足し算の結果を求めるという記号。だから $\sum$ が出てきてもむやみにこわがる必要はないんだ。足し算なんだから」
テトラ「ははあ……」
練習してみよう
僕「たとえば、 $\sum$ を使った簡単な数式で練習しよう。 $\sum_{k=1}^{3} k$ という数式は、 $1+2+3$ を表している。 $1$ と $2$ と $3$ の和だね」
$$ \sum_{k=1}^{3}k = 1 + 2 + 3 $$
テトラ「先輩先輩先輩！ この数式、左辺と右辺の難しさにすごおくギャップがあります！」
僕「うんうん、そうだね。左辺の $\sum_{k=1}^3 k$ は難しそうだけど、右辺の $1+2+3$ は易しそうだ。というか実際に易しい」
テトラ「どんなふうに読めばいいんでしょうか」
僕「 $\sum_{k=1}^{3}k$ という数式では、小さな数式が三か所に分けて書かれているよね。 $k=1$ と、 $3$ と、 $k$ のことだよ」
テトラ「はい、そうですね」
僕「さっきテトラちゃんは、数式が上に行ったり下に行ったりするっていってたけど、ここでもそうだね」
テトラ「あ、確かに。位置によって意味が決まる……？」
僕「そうそう。 $\sum_{k=1}^{3}k$ の下にある $k=1$ と、上にある $3$ は《和を求める範囲》を表しているんだ」
テトラ「和を求める範囲……これだと、 $1$ と $3$ の範囲ということですか？」
僕「そうそう！ そういうこと。 $\sum$ を使った数式は、複数のものの和を求める数式になるんだけど、 $\sum$ の下と上にある小さな数式 《 $k = 1$ 》と《 $3$ 》で《変数 $k$ は $1$ 以上 $3$ 以下の範囲の整数》ですよ、と表現している。 つまり、《 $k=1,k=2,k=3$ という範囲で動かして和を求めなさい》と表現している。表現というか、指定というか」
テトラ「先輩のお話をうかがっていると、なんだか $\sum$ も易しいみたい……です！」
僕「実際、書き方についていえばとっても簡単な話なんだよ。でね、じゃあその $k$ を動かして和を求めたい数式は何かというと、それが $\sum$ の右側に書いてある《ここ》になる。これを《和の本体》というんだ」
テトラ「はい……よくわかりました。ですから結局、 $\sum_{k=1}^{3}k$ は $1$ と $2$ と $3$ の和を求めることになるんですね」
僕「うん。一般的に書けば、 $\sum$ はこうなる」
次の式は、 【ア】以上【イ】以下の範囲で整数 $k$ を動かしたときの【ウ】の和を表す。
$$ \sum_{k=\text{【ア】}}^{\text{【イ】}} \text{【ウ】} $$
※【ウ】のことを《和の本体》と呼ぶ。
テトラ「よくわかりました！」
僕「いくつか例を見てみようか。あのね……」
テトラ「あ、あたしが作ってみます。《例示は理解の試金石》ですから！」
僕「おお！」
・適切な例を作ることができたなら、自分は理解している。
・適切な例を作ることができなかったら、自分は理解していない。
テトラ「 $\sum$ を使った数式の例を作りますっ！ まず、先ほど先輩が書いてくださったものと同じ式です」
$$ \sum_{k=1}^{3}k = 1 + 2 + 3 $$
僕「……」
テトラ「それから、たとえば、そうですね、次は、こういうのではだめでしょうか？」
$$ \sum_{k=1}^{3}k^2 = 1^2 + 2^2 + 3^2 $$
僕「いいよ、とてもいいね。《和の本体》に $a_k$ を使ったらどうなる？」
テトラ「 $a_k$ ですか……はい、 $k$ を $1,2,3$ と変えればいいんですよね」
$$ \sum_{k=1}^{3}a_k = a_1 + a_2 + a_3 $$
僕「そうだね！」
テトラ「調子がでてきましたよう！ こんなのも」
$$ \sum_{k=1}^{5}2^k = 2^1 + 2^2 + 2^3 + 2^4 + 2^5 $$
僕「いいね。今度は範囲も変えてみたんだね」
テトラ「はい！」
僕「それじゃ、ミルカさんの真似をして《クイズ》を出すね」
次の式を計算してみよう。
$$ \sum_{k=1}^{3} 1 $$
テトラ「簡単ですよっ！……え、ええ？」
Photo by Hiroshi Yuki.
cakesは定額読み放題のコンテンツ配信サイトです。簡単なお手続きで、サイト内のすべての記事を読むことができます。cakesには他にも以下のような記事があります。
