三平方の定理
3辺が をみたせば、その三角形は直角三角形。
3辺の長さが ・・( がいちばん長い)の三角形で、 が成り立つなら、その三角形は を斜辺とする直角三角形になるよ。三平方の定理が「直角 → 辺の関係」だったのに対し、こちらは「辺の関係 → 直角」と向きが逆。だから、角度を測らなくても、長さの計算だけで直角を見抜けるんだ。
いちばん長い辺を に選ぶのがポイント。・・ なら なので直角三角形、・・ なら なので直角にはならない。等号が成り立つかどうかだけを見ればいい。
別に「2辺 ・ で直角をはさんだ三角形」を作り、それがもとの三角形と合同になることを示す。
調べたい三角形とは別に、長さ ・ の2辺で直角をはさむ直角三角形をもう1つ作るよ。
新しく作ったほうは直角三角形だから、三平方の定理が使える。斜辺の長さは だね。
ここで前提の を入れると、斜辺はちょうど に等しくなる。つまり新しい三角形の3辺は ・・ だ。
するともとの三角形と3辺がそれぞれ等しいから、3辺相等で2つは合同だよ。
合同なら対応する角も等しい。新しい三角形で ・ がはさむ角は直角だったので、もとの三角形でも の向かいの角は直角。だから直角三角形だと言えるんだ。
「逆の逆」はもとの三平方の定理そのもの。直角三角形なら必ず が成り立つ。両方そろって『直角 ⇔ 』と、行き来できる関係になっているよ。
と の大小で角のようすもわかる。 なら の向かいの角は鋭角、 なら鈍角。ちょうど等しいときだけ直角、という境目だと考えると覚えやすいよ(背景は余弦定理)。
言葉で読んだら、動くアニメと自分の手で確かめてみよう。
この定理が、実際の問題でどう効くのかを見てみよう。