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

第303回 シーズン31 エピソード3
読むための対話:条件の行方(前編)

書籍『数学ガールの秘密ノート/図形の証明』

この記事は『数学ガールの秘密ノート/図形の証明』として書籍化されています。

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

登場人物紹介

:数学が好きな高校生。

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

ノナユーリの同級生。 ベレー帽をかぶってて、丸い眼鏡を掛けていて、ひとふさだけの銀髪メッシュ。 数学は苦手だけど、興味を持ってる中学生。

$ \newcommand{\TT}[1]{\textrm{#1}} \newcommand{\ANGLE}[1]{\angle\textrm{#1}} \newcommand{\TRI}[1]{\triangle\textrm{#1}} \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\TRUE}{\textbf{true}} \newcommand{\FALSE}{\textbf{false}} \newcommand{\FOCUS}[1]{\fbox{ $#1$ }} \newcommand{\GEQ}{\geqq} \newcommand{\LEQ}{\leqq} \newcommand{\NEQ}{\neq} \newcommand{\TRIANGLE}{\triangle} \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\SET}[1]{\{\,#1\,\}} \newcommand{\EMPTYSET}{\{\,\}} \newcommand{\NONAMACROBASE}[2]{\texttt{..}{\scriptstyle #1}#2} \newcommand{\NONAMACROBASEREV}[2]{#1{\scriptstyle #2}\texttt{..}} \newcommand{\NONAMACRO}[1]{\NONAMACROBASE{#1}{#1}} \newcommand{\NONAMACROREV}[1]{\NONAMACROBASEREV{#1}{#1}} \newcommand{\NONA}{\NONAMACROBASE{\textrm o}{\textrm O}} \newcommand{\NONAX}{\NONAMACROBASE{\textrm x}{\textrm X}} \newcommand{\NONAQ}{\NONAMACRO{?}} \newcommand{\NONAQREV}{\NONAMACROREV{?}} \newcommand{\NONAEX}{\NONAMACRO{!}} \newcommand{\NONAHEART}{\NONAMACRO{\heartsuit}} $

合同な二つの三角形

「合同な二つの三角形があったとする。 では、その二つの三角形についてどんなことが言えるだろうか。 二つの三角形が合同ならば、ぴったりと重ねることができる。 だから、三組の辺の長さはそれぞれ等しくなるし、三組の角の大きさもそれぞれ等しくなるよね」

は改めて話し出す。

ユーリノナ。 僕たちの数学トークは、 ちっとも前に進まず、その場で《足踏み》しているみたいだ。

三角形の合同とは何か。頂点や辺や角に名前をつけるということ。名前と図の対応を確認すること……そこまでたどりつくだけでどれだけ時間が過ぎただろう(第302回参照)。

でも、たくさん《足踏み》したから、足場がそれだけ固まったようにも感じる。

ユーリ「どんどんいこー!」

ノナ「行こう $\NONA$」

合同な二つの三角形、 $\TRI{ABC}$ と $\TRI{DEF}$

「二つの三角形 $\TT{ABC}$ と $\TT{DEF}$ があって、頂点の対応もしっかりつけた。 そうすると自動的に、どの辺とどの辺が対応しているか、どの角とどの角が対応しているかがはっきりするね」

ユーリ「そりゃそーだ」

ノナ「$\NONA$」

ノナは、黙って図の上で指を動かしている。最初は右手の指で両方の三角形を順番になぞり、 それから両手を使って $\TT{ABC}$ と $\TT{DEF}$ を同時になぞる。ゆっくりと。

まるで、図形の対応を味わうみたいに。

辺の対応

「……たとえば、三角形 $\TT{ABC}$ のひとつの辺 $\TT{AB}$ に対応している、三角形 $\TT{DEF}$ の辺はどれ?」

ノナ「$\TT{AB}$ だと…… $\TT{DE}$ ですか $\NONAQ$」

ノナは左手で $\TT{A}$ から $\TT{B}$ までなぞると同時に、右手で $\TT{D}$ から $\TT{E}$ までをなぞって答えた。

辺 $\TT{AB}$ に対応している辺は $\TT{DE}$

「そうだね、正解! ノナちゃんは辺 $\TT{AB}$ と辺 $\TT{DE}$ の対応を確かめながら答えたんだね。それはすごく大事なこと」

ユーリ「これって、名前からすぐわかるよね」

ノナ「$\NONAQ$」

ユーリ「ほれほれ、 $\TT{ABC}$ の $\TT{AB}$ だから、 $\TT{DEF}$ なら $\TT{DE}$ じゃん?」

ノナ「だから……ここ $\NONA$」

「ユーリが言おうとしているのは、 $\TT{A},\TT{B},\TT{C}$ という頂点がそれぞれ $\TT{D},\TT{E},\TT{F}$ に対応しているんだから、 辺 $\TT{AB}$ に対応している辺は $\TT{DE}$ だとすぐにわかるということなんだよ、ノナちゃん。 名前からすぐわかるってそういう意味だろ、ユーリ?」

ユーリ「そーそー!」

名前の対応から、辺 $\TT{AB}$ と対応しているのは辺 $\TT{DE}$ だと、すぐにわかる

ノナ「まちがい……まちがいですか $\NONAQ$」

「いやいや、ノナちゃんのように図で対応を確かめて答えるのはまったくまちがいじゃないし、正しいことだよ。 ユーリのように考えて答えるのもまったくまちがいじゃないし、正しいこと。 どちらでもいいんだよ」

ユーリ「どっちも正解だし!」

ノナ「$\NONA$」

「図形が目の前にあるんだから、対応を目視で確認して答えてもいい。 頂点の名前をちゃんと対応付けたんだから、対応する辺の名前は自動的に対応がつくと考えてもいい。 どちらでも100パーセント正しい。どんな方法で考えなくちゃいけないというルールはないからね」

ユーリ「そりゃそーだ」

「でも、自分の方法だけが正しいと考えるのはよくないよね。 他の人の方法に耳をすますのも大事。たとえ答えが同じになるとしても」

ユーリ「そーだけど、速く答えが出た方がよくね?」

「スピードを競う競技ならそうだね。少しでも速く答えが出た方がいい。 テストなら確かにそうかも」

ユーリ「だよね!」

「だとしても、他の方法を知るのはいいことだよ。ひとつの方法で解いたあと、別の方法で確かめることもできるから」

ユーリ「にゃるほど。検算みたいに?」

「そうそう、そういうこと」

ノナ「もくしって何 $\NONAQ$」

「え?」

ノナ「もくし……もくしって何ですか $\NONAQ$」

「……ああ、『目視』ね。『目視』というのは『目で見る』という意味。 目視で確認するというのは、目で見て確認するという意味だよ」

ノナ「わかりました $\NONA$」

角の対応

「じゃあ、もう一つ確認。三角形 $\TT{ABC}$ が持っているひとつの角 $\TT{ACB}$ と対応している、三角形 $\TT{DEF}$ の角はどれ?」

ユーリ「はい、ノナのターン!」

ノナ「$\TT{DFE}$ ……角 $\TT{DFE}$ です $\NONA$」

ユーリ「せいかーい!」

「そうだね」

ノナ「目視……目視しました $\NONA$」

「うん、いいよ。さっきユーリが言った名前の対応を考えてももちろん同じだね」

ノナ「はい $\NONA$」

角 $ACB$ に対応している角は、角 $DFE$

名前の対応から、角 $\TT{ACB}$ と対応しているのは角 $\TT{DFE}$ だと、すぐにわかる

合同な三角形の性質

「二つの三角形 $\TT{ABC}$ と $\TT{DEF}$ は合同なので、ぴったりと重ねることができる。 だから、三組の対応する辺の長さはそれぞれ等しくなる。そのことは、こんな三本の式を使って表すことができる」

$\TRI{ABC}$ と $\TRI{DEF}$ が合同のとき、対応する三組の辺の長さはそれぞれ等しい。 $$ \begin{align*} \TT{AB} &= \TT{DE} \\ \TT{BC} &= \TT{EF} \\ \TT{CA} &= \TT{FD} \\ \end{align*} $$

※ここで、たとえば $\TT{AB}$ は、辺 $\TT{AB}$ の長さを表しているとする。 辺 $\TT{AB}$ の長さを $\overline{\TT{AB}}$ のように表すこともある。

ユーリ「カンタン、カンタン!」

ノナ「はい $\NONA$」

「$\TT{AB} = \TT{DE}$ という式で表しているのは、 辺 $\TT{AB}$ の長さと、辺 $\TT{DE}$ の長さが等しいということ。それはいいよね?」

ノナ「大丈夫……大丈夫です $\NONA$」

「同じように、三組の対応する角の大きさもそれぞれ等しくなる。そのことは、こんなふうに三本の式を使って表すことができる」

$\TRI{ABC}$ と $\TRI{DEF}$ が合同のとき、対応する三組の角の大きさはそれぞれ等しい。(?) $$ \begin{align*} \ANGLE{ABC} &= \ANGLE{DEF} \\ \ANGLE{BCA} &= \ANGLE{EFD} \\ \ANGLE{CAB} &= \ANGLE{EDF} \\ \end{align*} $$

※ここで、たとえば $\ANGLE{ABC}$ は角 $\TT{ABC}$ の大きさを表しているとする。

ユーリ「カンタン、カンタン!」

ノナ「$\NONA$」

「三角形には三つの辺と三つの角がある。 二つの三角形が合同ならば、 対応する三組の辺の長さはそれぞれ等しくて、 対応する三組の角の大きさもそれぞれ等しい。 じゃあ逆に……」

ノナ違う……違います $\NONA$」

「え?」

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

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


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

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

(2020年10月2日)

書籍『数学ガールの秘密ノート/図形の証明』

この記事は『数学ガールの秘密ノート/図形の証明』として書籍化されています。

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

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

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

[icon]

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


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

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