【中2数学】なぜ図形の証明が必要?合同条件の意味と正しい書き方

スポンサーリンク
すくぞう
すくぞう

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

博士
博士

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

どこに引っかかっておるのじゃ?

すくぞう
すくぞう

教科書に「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つに決まる不思議な仕組みをさらに掘り下げて解説するのじゃよ。

すくぞう
すくぞう

三角形の形が決まる秘密をもっと知りたいな!

次回も楽しみだよ、博士!

コメント