等号「＝」の意味を答えられますか？ ～春から大学数学を学ぶ人へ～

※①③の答えについては末尾にある 追加 もご覧ください。（2022.3.25 追加）

数学で等号 "$=$" は基本中の基本ともいえる記号ですが、いろいろな使われ方をします。

次の問題に答えてみてください。

問題　次の①～⑥の等号の意味をそれぞれ答えてください。

問題のついでに等号を学んだ歴史もみてみましょう。

最初に学ぶ等号は ① $1+1=2$ ですね。この延長に方程式や関数があります。

次に学ぶ等号は ②$AB=DE,\: ∠A=∠B, \: \triangle{ABC}=\triangle{DEF}$ などです。

そしてその次は ③ $\pi =180^\circ$ (高校数学Ⅱ) の弧度法と度数法の関係です。

同時期に ④ $\vec{a}=\vec{b}$ と ⑤ $\vec{a}=(a_1, \: a_2)$ (高校数学B) のベクトルも学びます。

高校数学ではほとんど活躍しませんが、集合における ⑥$A=B$ です。 

このように問題にされると困りませんか。中学・高校までの数学だとあまり意識せずに等号を使っていると思います。私が⑤⑥をきちんと理解したのは大学２年だったと思います。

では答えを書きます。

①自然数の定義です。

②順に、線分の長さが等しい、角の大きさが等しい、三角形の面積が等しい　です。

③弧度法の角の大きさと度数法の角の大きさが等しいという意味です。

④ベクトルが等しいということなので、向きと大きさが等しいということです。

⑤$\vec{a}$ を基本ベクトル$\vec{e_1}, \: \vec{e_2}$で表示した$\vec{a}=a_1\vec{e_1}+a_2\vec{e_2}$ と 数の組$(a_1, \: a_2)$ が一対一対応することによる同一視です。

⑥集合が等しいということなので、$A\subset B$ かつ $A\supset B$ ということです。

ここで $A\subset B$ の定義が気になるところですが、これも答えられますか。大学数学では基本中の基本になります。

集合$A$の任意の元$x$が集合$B$の元であることです。記号で書くと

　　　　　　　　　　　　任意の $x \in A \Rightarrow x \in B$

です。"任意" というのが大切なところです。

例えば、$A=\{2,\: 4 \}, \: B=\{1,\: 2,\: 3,\: 4,\: 5 \}$ であれば $A \subset B$ 

ですが、$C=\{2,\: 4, \: 6 \}, \: D=\{1,\: 2,\: 3,\: 4,\: 5 \}$ であれば $C \not \subset D$ です。

$6 \in C$ ですが $6 \notin D$ だからです。

等号は定義や同一視の意味で上のように乱用されます。乱用されるのは演算記号 "$+, \: \cdot$" も同じなので、どのように定義されたのかに気をつけてください。早ければ大学１年の線形代数、たいていは大学２年で 集合と位相 または 代数学 を学んだときに定義の大切さに気付くと思います。いや、既に気づいているのでしょうか。大学１年の微分積分は高校数学の延長のように計算主体で進めると思うので、気づき難いと思います。最近は実数論を１年の後半か２年で学ぶからです。

最後に、以前「角の大きさと自然な弧度法」でも書きましたが、私は③のような表現はしません。どうしても表現したい場合は  $\pi \leftrightarrow 180^\circ$ のように表現します。理由は、弧度法と度数法では世界が異なるからです。だから一対一対応の意味を維持した $\leftrightarrow$ を使います。▢

追加：Twitter で指摘を受けました。①③は私の認識に問題があるようです。ここからこの記事を紹介したツイートに入り、引用ツイートおよびそれに連なるコメントを参考にしてください。より深く理解できると思います。

オイラの式を鑑賞する ～現代数学～

小川洋子さんの作品『博士の愛した数式』のお陰で小説や映画を通して数学ブームが起こりました。雑誌『数学セミナー』でも関連した数学が取り上げられたりしました。

オイラーの関係式と呼ばれる

　　　　　　　　　　　　　　　　　$e^{i\pi}+1=0$

も広く知られるようになったと思います。さてこの式ですが

自然対数の底 $e$, 虚数単位の $i$, 円周率の$\pi$, 数のはじまりである自然数の $1$, 偉大なる発見である整数の $0$。これらが足し算で結ばれ一体となっている

と読み取れます。高校数学Ⅲの無限級数までにこれらの記号はすべて登場し、一つ一つみると確かにそう捉えるのが自然だに思います。

このオイラーの関係式を一般向けに紹介している本はいろいろあるので読んでみるとおもしろいと思います。それから専門書を読むときちんと理解できると思います。

さてこの式の意味をどこまで知って満足するかですが、前回の話「整数の１と有理数の１は違うもの」くらいには目を瞑るのなら、高校数学Ⅲまたは１変数の微分から一気にオイラーの関係式を導くという手法でいいと思います。一般向け解説書はこのルートを辿っていると思います。

少し難しくなりますが、細かい証明は後回しにして１変数の微積分から複素関数を読んでしまうという方法もあります。ここまでくると複素関数論で

　　　　　　　　　　　　　　　　　$e^z$ または $e^{i\pi}$ 

をどのように扱うかが気になります。謎の数学者さんがこの点に関する動画「オイラーの公式は定義？」を上げられているのでそちらをご覧ください。

もちろん、１変数・多変数の微積分をきちんと学び、複素関数論を読めば式の意味を知ることができます。この道を辿った場合は "複素関数論" に惹かれると思います。

一方、代数的な見方をすると実数から複素数の構成が気になる所です(※1)。
もう一度

　　　　　　　　　　　　　　　　　$e^{i\pi}+1=0$

の式を見ますが、この式は複素数 $\mathbb C$ における等式なので、先に述べた

"自然対数の底 $e$, 虚数単位の $i$, 円周率の$\pi$, 数のはじまりである自然数の $1$, 偉大なる発見である整数の $0$。これらが足し算で結ばれ一体となっている"

というのは問題があります。数学に興味を持たせるためのものとしてなら構わないと思うのですが、$+,1, =, 0$ の部分でさえ小学算数で習うものとは違うものです。便宜上同じ記号を使っているだけです。

前回の話はこういう見方を説明するための前振りでした。この感覚を代数学で知り衝撃を受けたものです。▢

※１　整数から有理数、有理数から実数の構成を理解した人なら楽に読めると思います。

整数の１と有理数の１は同じ？ ～現代数学の基礎 集合４～

問題１　整数の $1 \in \mathbb Z$ と有理数の $1 \in \mathbb Q$ は同じ $1$ ですか？ 

　　　　　　　「同じ $1$ でしょ？違うの？」
　　　　　　　「整数は有理数の部分集合なんだから同じ $1$」
　　　　　　　「有理数は整数に分数を加えたものでしょ。だから同じ」

などさまざまな反応があると思いますがもう１問考えてください。

問題２　等式 0.3＋0.7＝1.0 は誤りですか？ 

注：これから書く話は現代数学の目から見たものです。集合と代数の話なので易しくありません。分かってほしいのは、長い歴史を辿って数学が整備されているということです。

問題１をみて「あっ！違う $1$ かもしれないなあ。整数と有理数は違う世界だから」と小中高で学んできた数学しか知らない人がこのように考えられるものでしょうか。

問題２は問題１と繋がりがあるのですが、それが伝わっているでしょうか。

問題１は異なる $1$ であること、 問題２は自然な式であることを説明しようと思います。

 

考えるために有理数$\mathbb Q$ の定義を思い出しましょう。簡単に言えば、分数で表せる数でしたね。これを集合で表現すると

　　　　　　　　　　　　　$\mathbb Q:=\{ \dfrac{m}{n} \mid m \in \mathbb Z, \: n \in \mathbb Z_{>0} \}$

です(※0)。さてそうすると $1$ は分数でないので $1 \in \mathbb Q$ はかなり怪しいですね。$1$ は分数で表すとどのようになるのでしょうか。

　　　　　　　　　　　　　　　　　　$1=\dfrac{1}{\: 1 \:}$

と考えるのが自然だと思いますが、整数 $1$ と分数 $\frac{1}{\: 1 \:}$ を "=" で結んでいますが異なる世界の数ですよね、問題ないのでしょうか。さらに $\frac{2}{\: 2 \:}, \: \frac{3}{\: 3 \:}, \: \frac{4}{\: 4 \:}, \dots $ などは $1$ とは別の数なのでしょうか。

　　　　　　　　　「それくらい目を瞑ってもいいじゃん」
　　　　　　　　　「学校で $1=\frac{1}{\: 1 \:}$ と教えられたよ」
　　　　　　　　　「学校で教えられたのは、ホントは間違ってるの？」

と思ってしまいますよね。不十分ではありますが小学算数でこのことについて言及したはずです。小４算数で分数の概念を学ぶと思いますが次のように導入されていませんでしたか。

　　　　　　　　　　　　　　$1=\dfrac{1}{\: 1 \:}=\dfrac{2}{\: 2 \:}=\dfrac{3}{\: 3 \:}=\cdots $

　　　　　　　　　　　　　$2=\dfrac{2}{\: 1 \:}, \: 3=\dfrac{3}{\: 1 \:}, \: 4=\dfrac{4}{\: 1 \:}, \dots $

を述べた後に約分についても書かれていたと思います。上の式と約分は約束事で、代数学では

　　　　　　（♪1）　　　一対一対応 $a \leftrightarrow \dfrac{a}{\: 1 \:}$　を　$a =\dfrac{a}{\: 1 \:}$ 

と書き
　　　　　　（♪2）　　　　　$\dfrac{a}{\: b \:}=\dfrac{c}{\: d \:} \overset{def}{\Longleftrightarrow} ad=bc$

によって約束します。(♪1) は一対一対応による同一視で、(♪2) は同値関係を与えたのです(※2)。

これによって、

　　　　　　　　　　　　　$1=\dfrac{1}{1}=\dfrac{2}{2}=\dfrac{3}{3}=\dfrac{4}{4}=\cdots$
　　　　　　　　　　　 　　　↕ 約束
　　　　　　　　　　　　　$3=\dfrac{3}{1}=\dfrac{6}{2}=\dfrac{9}{3}=\dfrac{12}{4}=\cdots$

が保証されているのです。この他に演算についても触れなければならないのですが、まだこの『数学雑談』で群(ｸﾞﾝ)しか紹介していないのでここまでにします(※1)。

このように整数の $1$ と有理数の $1$ は別のものなのですが、同一視によって同じものと考えましょうとしているのです。なので抽象代数学のはじめの頃は、明確に区別するために整数の $1$ を $1_{\mathbb Z}$, 有理数の $1$ を $1_{\mathbb Q}$ のように表記したりします。最初、このように書かれて何を難しくしているのかと思いましたが、実際は明確にしていたのです。

次に、代数の見地からすると問題２の式はとても自然です。それは等号の左辺は有理数の中での足し算で、右辺は有理数だからです。もしも右辺を１と書いたら整数の１にしか見えません。つまり、有理数と整数を等号で結んでしまっています。集合が異なっているので自然ではないのです。理科の視点(有効数字)でも自然な式です。

小学算数では $1.0=1$ だと教えますが、理科の視点(有効数字)でも数学の視点でも自然なものではないのです。なのでテストで $1.0$ と書いてあっても✖を付けず〇とし、「いまは１と書くようにしましょう」とコメントを付けておけば十分だと思います。成長するにつれ改善されるし、理科で有効数字を習ったときや抽象代数学を学んだときに理解が深まると思います。「あのときの話はこういうことだったのか」と。▢

補足
$0.1$ が有理数ということを言い忘れていました。$\dfrac{1}{10}$ と $0.1$ は等しいと約束したのです。これにより10進表記が可能になっています。10進表記というのは日常的に使っている10で１つ位を上げる方法で数を表すことです。10進数の方が馴染みがあるでしょうか。

　　　　　　　　　　$0.3+0.7 \leftrightarrow \dfrac{3}{10} + \dfrac{7}{10} = \dfrac{10}{10}  \leftrightarrow 1.0$

ということです。

※０　$n \in \mathbb Z, \neq 0$ でも構いません。

※１　(♪1) は、本来、次のような写像を考えます。

　　　　　　　　　　　　　$\mathbb Z \ni a \mapsto \dfrac{a}{\: 1 \:} \in \mathbb Q$

これは包含写像(ﾎｳｶﾞﾝ ｼｬｿﾞｳ)と呼ばれるものです。写像は関数と思ってよく、『数学事始め』のシリーズ15の１｢名を正す｣の※３でかんたんに説明しています。

※２　同値関係は同じとはどういうことかを数学的に定めたもので、集合論を学ぶと始めの方に書かれています。ここではかんたんに述べるに留めます。

集合$A$ の２元$a, \: b$ に何らかの関係 ~ が与えられいて、$a, \: b$ に関係が成り立っていることを $a \sim b$ と書くことにし、次の３条件が成り立つとき $\sim$ を同値関係といいます：

　　　条件１　$a \sim a$,
　　　条件２　$a \sim b \Rightarrow b \sim a$,
　　　条件３　$a \sim b$ かつ $b \sim c \Rightarrow a \sim c$. ただし、$a, b, c \in A$ である。

~ が = のときがもっとも分かり易い例になります。ふつうの = は同値関係です。

この同値関係があるとこれにより集合Aをうまく分類できるのです。少し高度な例だと、整数が高校数学Aで取り上げられたので合同式を知っている人も多くなったと思いますが、mod3で合同≡を定義すると同値関係が得られ、これによって整数を３の倍数、３で割ると余り１、３で割ると余り２ となるものの３つに分類できますね。

この説明では不足していますが、こういうことができるのです。

今回の内容は集合の同値関係と分類です。注意しなければならないことは、有理数を構成しただけで演算については触れていません。有理数どうしの足し算や掛け算などを導入するには、少なくとも群および環の準同型定理を理解する必要があります。結構険しい山を乗り越えることになりますが、これを乗り越えるとパッと視界が開けます。

数の集合と演算 (代数系入門) ～現代数学の基礎 集合３～

集合は話の前提を与えるので、数学を考える上では大切なものです。高校数学で集合を学ぶのだから数の演算との関係についても触れてほしいのですが、どんどん削らる授業時間数の影響によって余裕がないのだと思います。とても残念です。

０を含む自然数の世界 $\mathbb N$ を見てみます(※-1)。足し算、掛け算はどんな２数を選んでも結果が自然数ですが、引き算と割り算の結果はいつでも自然数になるとは限りません。こういうとき、自然数は和と積に関して閉じてるが、差と商に関しては閉じてないと表現します。

では整数 $\mathbb Z$ ではどうなっているでしょうか。足し算、引き算、掛け算に関しては閉じていますが、割り算に関しては閉じていません。整数は割り算で閉じていませんが、代数学的には 環 (カン)と呼ばれ大切なものの一つです。

問題　有理数 $\mathbb Q$、実数 $\mathbb R$、複素数 $\mathbb C$ は四則演算について閉じてますか。

いずれも四則演算について閉じてます。これらは代数の言葉では 体 (タイ)と呼ばれます。同じ体ですが違いがあります。集合の包含関係では $\mathbb Q \subset \mathbb R \subset \mathbb C$。他に複素数には大小関係がなく、位相(近さ)でも異なる性質があります。

私が学んだ頃の教科書も参考書も手元にはないので、実際にどう書かれていたのか分からないのですが、集合のところでは、雑談ページも含めますが、こういう話も書かれていたように記憶しています。もしかしたらモノグラフシリーズ(※0)を読んでいたので、そちらの記憶かもしれません。ここまでが本題です。▢

【環と体の紹介】
環は、以前紹介した群のことば(※1参照)を利用すると次のように言えます。

集合 $R$ に２つの閉じた演算 和「＋」と積「・」が定義されていて

　　(1) 和に関して可換群を成し、(2) 積に関してモノイドを成し、(3) 分配律をみたす

とき、集合 $R$ は環(ｶﾝ)であると言います(※1)。特に、任意の $R$ の元 $a \neq 0$ に対して積に関する逆元が存在するとき、環 $R$ を体と言います。この逆元が四則演算の割り算に相当し、上で紹介した体と同じものです。代数の言葉できちんと言い直したのです。

天下り的ですが(※2)、整数 $\mathbb Z$ は環を成し、ここから

　　　$a \cdot 0=0 \cdot a=0, \quad a \cdot (-b)=(-a) \cdot b=-ab, \quad (-a)\cdot (-b)=ab$

という性質も得られます。これはまた別の機会にします。▮

※－1　自然数というとき、1, 2, 3, ... を考えますが、０を含めることもあります。今回は自然数と $\mathbb N$ を用いましたが、混乱を避けるために０以上の整数と $\mathbb Z_{\geq 0}$ という記号を好んで使います。

※０　モノグラフシリーズとは、科学新興社から出版されていた高校数学の参考書で、受験参考書というよりは大学数学を意識して書かれていたように思います。矢野健太郎氏が監修をされていました。文庫本で矢野健太郎氏を存じていたので、難しいながらも読んでいました。その当時は進学校の生徒たちがどのような本を読んで数学しているかを知らなかったので、受験生らしくなく、かなり寄り道して独学していたように思います。

これで思い出しましたが、ブルーバックスに『微積分に強くなる』というタイトルの本があり、たぶん高校２年の冬にこれを読んでいたのですが、最終章が理解できずに苦しみました。３年生になって改めて読んだのですが最終章は理解できませんでした。その最終章にはイプシロンｰデルタ論法が書かれていたように記憶していたのですが、ネット検索してみたところ、その章は「関数空間」のようです。

※１　条件(2) をモノイドとしたときは、単位元付き環とも呼ばれます。条件を少し弱くし半群としても環と呼ばれます。群(モノイド, 半群, 逆元)に関しては、以前 「代数学《群の紹介》」を書いているのでこちらをご覧ください。このときのために、モノイドや半群も紹介したのです。

分配律は $a \cdot (b+c)=a \cdot b + a \cdot c, \: (a+b) \cdot c=a \cdot c +b \cdot c$ のことです。分配法則という名の方が馴染みがありかもしれませんね。

※２　天下り的と表現しているのは、0を含む自然数から知られていた整数を再構成するときに上の(1),(2),(3)であることを要請し、この整数の構造に注目したのが環だからです。視点を変え、知られていた整数から環を定義し、整数は環を満たしているとしたのです。

何だかおかしな手順ですが、整数(0, ±1, ±2, ±3, ...)は長い年月をかけて組み立てられ、使われてきていたものです。この整数を新しく手に入れた "集合" でもって整数を捉えなし整備したのです。人類の偉大さを感じるのは、集合を知らずに組み立てたマイナスの計算が整合性を持っていたということです。前回紹介したオイラーの関係式も見事な発見だったと思います。

高校数学までだと環が空虚なものに見えますが、多項式全体や区間 [0, 1] 上で定義された連続関数全体や行列も環構造をもっています。高校数学Ⅱで多項式の割り算を学びますが、これにより整数と多項式は同じような性質を持っていそうであることが見え、整数のように多項式においても合同式を考えることが出来ます。大学受験数学ではこの結果を利用したりしますね。
※ 区間 [0, 1] というのは $0 \leqq x \leqq 1$ のことです。高校数学Ⅲ以降で習う記号です。

【余話】
中学数学は小学算数と高校数学の狭間にあり、小学算数の社会生活における実用性と現代数学以前の高校数学の両面を持ち合わせています。

小学算数は日常生活を意識して組み立てられている点においては、かなり工夫されていると思います。０以上の整数の話から始まり、０以上の有理数を学びます。分数、小数は大切な概念で、図形に関する知識も必要不可欠です。算数でもっとも難しいのは割合(倍で捉えること)と１当たりの量だと思います。割合も１当たりの量と捉えることは出来ますが、別なものと考える方がいいと思います。

集合を無視すると... ～現代数学の基礎 集合２～

 オイラーの関係式

　　　　　　　　　　　　　　　　$e^{i \theta}=\cos \theta +i \sin \theta$

において、$\theta$ に $\pi$ を代入することで

　　　　　　　　　　　　　　　　　　　$e^{i\pi}=-1$

という関係式が得られますが、オイラーの関係式を導くのに

（1） 　　　$e^x=1+\dfrac{x}{1!}+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots +\dfrac{x^n}{n!}+\cdots$

の $x$ に $i\theta$ を代入して

（2） 　　　$e^{i\theta}=1+\dfrac{i\theta}{1!}+\dfrac{(i\theta)^2}{2!}+\dfrac{(i\theta)^3}{3!}+\cdots +\dfrac{(i\theta)^n}{n!}+\cdots$

とし、$i^2=-1$ を利用して式を次のように整理し

　　　　　　$e^{i\theta}=\left(1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\cdots+(-1)^k \dfrac{x^{2k}}{(2k)!}+\cdots \right)+i \left( x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}- \cdots +(-1)^k \dfrac{x^{2k+1}}{(2k+1)!}+\cdots \right)$

として、前の括弧の中身が $\cos \theta$ で後の括弧の中身が $\sin \theta$ であるから

　　　　　　　　　　　　　　　$e^{i \theta}=\cos \theta +i \sin \theta$

が成り立つと説明されたりしますが、これには問題があります。

式 (1) の $e^x$ は実数上で定義されている関数で、等式は $x=0$ におけるテイラー展開で収束域が全実数という条件の下で成り立っています。だから $x$ に虚数を代入して式 (2) が成り立つとするのに問題があるのです。

発見するための一つの方法ではありますが、これを証明のように読み取ってはいけません。例えば次の説明はどうでしょうか。

ルートの公式　$\sqrt{a} \sqrt{b}=\sqrt{ab}$　において、$a, \: b$ に $-1$ を代入すると右辺は

　　　　　　　　　　　　　$\sqrt{(-1) \cdot (-1)}=\sqrt{1}=1$,

左辺は

　　　　　　　　　　　　　$\sqrt{-1} \sqrt{-1}=(\sqrt{-1})^2=-1$.

したがって、$-1=1$ となる。

これはどこに問題があるか比較的気づきやすいのですが、大学数学の線形代数におけるハミルトン･ケーリーの定理の証明で、行列 $A$ の固有多項式 $\Phi_A(\lambda)=|\lambda E-A|$ に $\lambda=A$ を代入して

　　　　　　　　　　　　　　　　　　$\Phi_A (A)=0$

としたときの誤りは気づき難いと思います。大学１年生だとまだまだ集合の考えには慣れていないからです。▢

宝の持ち腐れ ～現代数学の基礎 集合～

 高校数学Ⅰおよび A で集合を扱います(※0)。であればこれを使って小中の数学を見直すことをしてもらいたいのですが、実際は確率で使われる程度です。

集合は現代数学を学ぶ上では必須で、どのような世界で考えるかを提示する役目を負っています。例えば

問題１　①方程式 $x+8=3$ を解け。　　②方程式 $x^2=3$ を解け。

と問われたらふつう ① $x=-5$、② $x=\pm \sqrt{3}$ と答えると思いますが、本来、問題にはどの範囲で解くかの明示が必要です。

①の場合：正の整数の範囲で解けであれば解はなく、整数の範囲でなら上で示したように解けます。

②の場合：有理数の範囲で解けであれば解はなく、正の実数の範囲でなら $x=\sqrt{3}$ と解くことができます。

正の整数で解くことは人数や物の個数を求めるときですし、正の実数で解くというのは正方形の一辺の長さや時間を求めるときが考えられます。

次の問題はどうでしょうか。
問題２　次の２次関数のグラフを図示したときの $x$切片を求めよ。

① $y=x^2+4x-1$ 　　　　　　　　　② $y=x^2-2x+3$ 

高校数学Ⅰの２次関数でこのような問題を扱います。
出題者を忖度して ① $x$切片は $-2 \pm \sqrt{5}$、②は $x$軸と共有点を持たないので $x$切片はない　と答えるのでしょうが、本来は関数の定義域を明示する必要があります。

②で２次方程式 $x^2-2x+3=0$ を単に解くと虚数解が出てきます。でも $x$軸はふつう実数を想定しているのでこの値は適しません。なので式変形により $y>0$ であることを明示して $x$軸と共有点を持たないことを述べることになります。

せっかく集合を教えているのですから活用しない手はないですよね。
中高の方程式はそれまでに学んだ数の世界が前提であり、関数は実数の部分集合から実数への対応が前提のようです。であっても明確に書かれていないし、実数という用語自体あまり使われません。
そのためか、大学入試問題では有理数･実数･複素数などの用語を使い受験生の知識をテストしているように思います。なので受験生は正規の授業でなく受験勉強の中で数の集合を修得しているように思います。▢

※０　一時期はアメリカの数学教育の現代化をマネて小学算数や中学数学でも集合が教えられていました。

食べたのに減らないお餅 ～数学パズル「減らない面積」～

「ねえ、博士ー」
「なんだね、ルート」
「いま学校で折れ線グラフを習ってるんだけど、何がおもしろいの？」
「折れ線グラフはとても実用的で役に立つんだが、社会科や理科で使ったり日々の体重の変化を調べないと便利だってことには気づかないかもしれないね。さてさて...」

「いいかい。いまここに縦50㎝、横1m30㎝の大きな伸し餅(のしもち)があるね。ルートだったらどうしたいかね」

「お腹すいたから食べたい」

「私も食べたいけど、まずは手頃な大きさに切り分けよう。１辺が10㎝の正方形に切り分けたいが手伝ってくれるかい」

「うんいいよ」

「ありがとう、ルート。では怪我をしないように十分注意して切ろう」

「上手に切り分けられたね。どうだい、お腹が空いたろう。そこでだ。ここの部分（黄色の部分）の角餅を１個だけ焼いて味見してみよう」

「おいしいね、博士」

「それはよかった。さてここからがおもしろいぞ」

「おもしろいんじゃなくて、おいしいんじゃないの？」

「そりゃおいしいけど、おもしろいんだよ。見ててごらん。こうして、こうして、こう切ると５つの区画に分けられただろう（赤い線で切り口とその図形を表す）」
　（実際は青い線でも切られていますが、お餅なので再びくっついたと思ってください）

「そして更にこのように並べ替えるんだ。どうだい、おもしろいことが起こってないかい」

「ぼくが食べたお餅分が増えたように見えるけど、どこから現れたのかな？」

「増えてないよ。ルートのお腹の中に消えたのさ。おいしさが残っているだろう？」

「うん、そうだけど...食べて空白になった分が増えて見えるよ。どうしてかな？」

これは広く知られている数学パズルで、あのMr.マリックさんもご自身のYouTube動画(※1)で紹介されていました。どうして空白が消えたのかを説明する方法はいくつかあると思いますが、この話をしたのは現在 noteで連載している『数学事始め』に関連させてのことです。小学算数なら「折れ線グラフ」、中学数学なら「１次関数」の数学雑談で有効だと思っています。平面の幾何で話すことも出来ますが、この分野の方がいいと思います。

さて小学４年生、中学２年生くらいに理由を説明するならどのようにしますか。

これから解説をしますが、数学の力をつけたいのならご自身で考えるのが理想です。１時間くらい格闘すれば気づくと思いますが、きちんと説明するのはやさしくないと思います。ヒントを頼りに考えてもやさしくないと思います。上の説明に誤魔化しがあるのですがとても気づき難いのです。

解決の糸口は 直線の傾き です。

小学４年生なら、実際に紙で同じものを作って説明すると目でも確認できるので、分かりやすいと思います。折れ線グラフで直線の傾きを学んでいると思うので、完全ではないにしても気づけると思います。

中学２年生なら、計算を使って完全に理解させることができると思います。

長方形の対角線で半分にしたときの直線の傾きは$\dfrac{5}{13}$ですね。次に①と④の傾きですが、見た目は①が$\dfrac{2}{\: 5 \:}$で、④は$\dfrac{3}{\: 8 \:}$です。ここに誤魔化しがあります。本来、どちらの直線の傾きも$\dfrac{5}{13}$でなけらばなりませんね。長方形の対角線の一部だからです。それが異なっているのは、見た目によるものです。太線で格子を入れたのはそのためです。左下隅から右に５、上に２進んだところで交わっているように見えますが、実際は少し下のところを直線は通過しています。

　　　　　　　　　　　　$\dfrac{2}{\: 5 \:}-\dfrac{5}{13}=\dfrac{26-25}{65}=\dfrac{1}{65}$

が誤差で、①は高めになっています。そして

　　　　　　　　　　　　$\dfrac{3}{\: 8 \:}-\dfrac{5}{13}=\dfrac{39-40}{104}=-\dfrac{1}{104}$

がもう一つの誤差で、④は低めになっています。さらに④の底辺の長さは８ではないし、②の図形の左上の角は直角ではありません。これらによって細長い隙間が生まれます。それがルートの食べたお餅の分です。

小学４年生は通分の分数計算を習っていないので、傾きが違うことは数値で理解し、図形を重ねることで実感でき隙間に気づけます。

中学２年生なら計算もできるので、隙間の面積の合計が100$cm^2$なることまでも確認できると思います。▢

※１　こちら↓で見られます。形や見せ方は違いますが原理は同じです。知っててもおもしろいです。やはりマリックさんですね。

　　　　　【激ムズ】マリック降参！？脳トレパズルに挑戦！８歳～99歳対象