

博士、連立方程式や一次関数の勉強が終わって、今度は図形の証明に入ったんだけど、さっそく意味が分からなくて困ってるんだ。

ほぅ、計算して数字の答えを出す勉強から、理由を筋道立てて説明する証明への転換じゃな。
どこに引っかかっておるのじゃ?

教科書に「2つの三角形が合同であることを証明しなさい」って問題があるんだけど、図を見れば形も大きさも全く同じって一目で分かるよ。
見れば分かるのに、どうしてわざわざ言葉や記号で長い文章を書かなきゃいけないの?

ふむ、実に自然で鋭い着眼点じゃよ。
多くの人が最初につまずく疑問じゃな。

答えが最初から見えているのに、わざわざ説明を書かされる意味が分からないんだよね。

一見すると無駄な作業に見えるのぅ。じゃが、数学において「見た目」ほど当てにならないものはないのじゃ。
なぜ証明が必要なのか、まずはその理由から順番に見ていこうかの。
見た目で同じなのに証明する理由

「見た目が当てにならない」って、どういうことなの?

人間の目には「錯覚」があるからの。たとえば、全く同じ長さの2本の直線でも、矢印の向きを外向きと内向きにつけるだけで、片方がずっと長く見えてしまう有名な錯覚(ミュラー・リヤー錯視)があるじゃろ。

あ、それ知ってる!教科書で見たことあるよ。
目の錯覚って本当に起きるよね。

そうじゃ。もし「見た目で同じに見えるから同じです」を認めてしまうと、人によって「いや、私には右のほうが少し大きく見える」「角度が少し尖って見える」という主観の言い争いになってしまうのじゃよ。

なるほど……。
人によって見え方が違ったら、どれが正しいか決められないね。

その通りじゃ。
数学で証明をする目的は、「誰が見ても、どんな重箱の隅をつついても絶対に反論できない客観的なルール」を積み上げて、事実を確定させることにあるのじゃよ。

どんな人でも納得せざるを得ない証拠を揃えるのが、証明なんだね!

その通りじゃ。
そして三角形において、その「反論できない証拠」となるのが「合同条件」なのじゃよ。
三角形の合同条件が決まる仕組み
3つの条件だけで形が1つに固まる理由

合同条件って、確か3つあったよね。
「3組の辺がそれぞれ等しい」とか。

よく覚えておるな。ここで一つ考えてみてほしいのじゃ。
三角形には「辺が3つ」と「角が3つ」で、合わせて6つのパーツがあるじゃろ?

うん、合計6個だね。

2つの三角形が完全に重なる(合同である)ことを確かめるには、本来ならその6個すべてが等しいか調べなければならないはずじゃ。

あ、そうか!
辺も角も全部調べるとなると、調べるのがすごく大変だね。

そうじゃ。じゃが、三角形には不思議な性質があってな。
6個全部を調べなくても、特定の「3つのパーツ」が揃うだけで、残りの3つも自動的に同じ形に固定されてしまうのじゃよ。

えっ!
3つ決めるだけで、残りも勝手に決まっちゃうの?

そうじゃ。たとえば長さの決まった3本の棒を用意して三角形を作ろうとすると、形はたった1通りにしか組めない。
いくら角を曲げようとしても、グラグラ動かずにカチッと形が固まるじゃろ?

確かに!四角形だと斜めにペチャンコに潰せるけど、三角形は棒を3本繋いだら絶対に形が動かないね。

その通りじゃ。3本の棒の長さが決まれば、角の大きさまでカチッと決まって形が絶対に動かない。
つまり合同条件とは、丸暗記の呪文ではなく、「最小限の3つの情報だけで、図形の形を1通りに固定できる確実な道具」なんじゃよ。
なぜ間の角でないと形がズレるのか

でも博士、2つ目の合同条件にある「2組の辺とその間の角がそれぞれ等しい」ってやつ、どうしてわざわざ「間の角」って指定があるの?

これまた本質を突く良い問いじゃな。
多くの人が「2本の辺と、どこかの角が1つ等しければ合同になるのでは?」と油断してしまうところじゃ。

うん、角が1つ合っていれば大丈夫そうな気がしちゃうんだけど。

もし「間の角」ではなく「間ではない別の角」だと、2通りの三角形が作れてしまう場合があるのじゃよ。

えっ!形が1つに決まらないの?

想像してみてごらん。長さが決まった2本の棒の一方を底辺として置き、その端にもう1本の棒を角度を決めて立てる。これが「間の角」じゃ。
この場合、開いた2つの先端を結ぶ線は1本しか引けないじゃろ?

うん。2本の棒の開き具合がガチッと決まってるから、残りの1辺は決まった長さでしか結べないね。

そうじゃな。じゃが、角度が決まっているのが「間の角」ではなく別の端っこだった場合、もう1本の棒をコンパスのように円を描いて回すと、底辺と交わる点が2箇所生まれてしまうことがあるのじゃ。

あ!棒が手前に傾く場合と、奥に倒れる場合の2種類ができちゃうんだ!

その通りじゃ。「鋭角三角形」と「鈍角三角形」の2つが同じ条件から作れてしまう。
だからこそ、形をたった1通りに固定するためには、必ず「2つの辺に挟まれた間の角」でなければならないのじゃよ。
証明の基本手順と隠れた条件の探し方
問題文にない共通な辺と対頂角の探し方

理屈はすごくよく分かったよ!
でもね博士、いざ問題を解こうとすると手が止まっちゃうんだ。

ほぅ、どこで手が止まるのじゃ?

問題文を読んでも、「AB = DE」「AC = DF」みたいに、条件が2つしか書いてないんだよ!
合同条件は3つ必要なのに、あと1つがどこにも書いてないの。

それこそが多くの学習者が頭を抱える「見えない条件の壁」じゃよ。

やっぱりみんな悩んでるんだ!
どうすればあと1つの条件を見つけられるの?

問題文に文字で書いていない条件は、「図形そのものが持っている当たり前の性質」から自力で拾い出すのじゃ。
中2の証明で出てくる隠れた条件は、主に次の3つしかないのじゃよ。

たった3つなの!?
教えて博士!

1つ目は「共通な辺(または角)」じゃ。
2つの三角形が背中合わせになっていたり、同じ辺を分け合って重なっている場合じゃな。「重なっているのだから同じ長さに決まっている」という当たり前の事実じゃ。

なるほど!
最初から同じ線を使ってるんだから、長さが等しいのは当たり前だね。

2つ目は「対頂角」じゃ。
2本の直線がクロス(X字)に交わっているとき、向かい合う角は必ず等しくなる。これも問題文には書いてくれんが、図を見れば確実に言える事実じゃな。

クロスしてる角だね!

そして3つ目が「平行線の錯角・同位角」じゃ。
問題文に「平行」という言葉や記号があれば、ゼット(Z)の形になる錯角や、同じ位置にある同位角が等しい証拠として使えるのじゃ。

「問題文にない3つ目の証拠」は、「共通」「対頂角」「平行線」のどれかを探せばいいんだね!
急に見通しが立ってきたよ!
仮定から合同条件へ繋ぐ3ステップの型

探し方が分かったところで、あとは答案用紙に書く「型(テンプレート)」を身につけるだけじゃ。
証明の書き方は、どんな問題でも必ず次の3ステップで組み立てるのじゃよ。

どんな3ステップなの?

- ステップ1:「舞台となる2つの三角形」を宣言する。
- ステップ2:「3つの証拠」を理由つきで箇条書きにし、(1)(2)(3)と番号を振る。
- ステップ3:「合同条件」を宣言して、「合同(結論)」を結ぶ。

すごくシンプルだね!
これなら順番通りに書けそうだな。

もう一つ、絶対に気をつけなければならない大事なルールがあるのじゃ。
三角形の名前を書くときは、「対応する頂点のアルファベット順」を絶対に揃えねばならん。

あ、学校の先生も「順番を間違えたら減点する」って言ってた!どうして順番が大事なの?

合同とは「重ね合わせたときに完全に一致する」という意味じゃ。
もし \triangle ABC \equiv \triangle DEF と書いた場合、頂点AとD、BとE、CとFがぴったり重なることを宣言しておる。もし順番をバラバラにしてしまうと、「どことどこが重なるのか」という論理が狂ってしまうからなんじゃよ。

ただのアルファベットの並びじゃなくて、「どの角とどの角が重なるか」を表す地図になってるんだね!

その通りじゃ。
では、この手順を使って実際に証明問題を解いてみようかの。
演習問題
三角形の合同の証明について確認していきましょう。
問題 1 の解答・解説
【証明】
\triangle AOC と \triangle BOD において、
仮定より、
AO = BO \quad \cdots (1)
CO = DO \quad \cdots (2)
対頂角は等しいので、
\angle AOC = \angle BOD \quad \cdots (3)
(1)、(2)、(3) より、
2組の辺とその間の角がそれぞれ等しいので、
\triangle AOC \equiv \triangle BOD
問題 2 の解答・解説
【証明】
\triangle ABO と \triangle DCO において、
仮定より、
AB = CD \quad \cdots (1)
AB /\!/ CD より、平行線の錯角は等しいので、
\angle OAB = \angle ODC \quad \cdots (2)
\angle OBA = \angle OCD \quad \cdots (3)
(1)、(2)、(3) より、
1組の辺とその両端の角がそれぞれ等しいので、
\triangle ABO \equiv \triangle DCO
まとめ

博士、証明って「ただの面倒な作文」だと思ってたけど、パズルみたいに証拠を集めて論理を組み立てる作業だったんだね!

そうじゃよ。見た目の曖昧さに頼らず、反論できない客観的な証拠(合同条件)を揃えて結論を導く。
これこそが数学の論理的思考の第一歩なのじゃ。

「共通な辺」「対頂角」「平行線」という3つの隠れた証拠の探し方が分かったから、もう問題文に条件が2つしかなくても迷わずに探せそうだよ!

頼もしいのぅ。今回は合同条件を道具として使って証明を書いたが、次回ステップ2では「なぜ合同条件はこの3つだけなのか?」「他の組み合わせではなぜダメなのか?」という、図形が1つに決まる不思議な仕組みをさらに掘り下げて解説するのじゃよ。

三角形の形が決まる秘密をもっと知りたいな!
次回も楽しみだよ、博士!



コメント