2

三角法を用いた三平方の定理の証明←JKにできて俺にできないわけないだろ

29
0

 どうも、全然ブログを更新しない12匁(ボカロP)です。

 活動してこなかった理由としては、数学以外のことを頑張ってたことも、そもそも数学のほうで芳しい成果を上げられなかったこともあるので、どうかお許しを!!!!

 んで、今回挑戦してみたテーマ、それは、「三平方の定理」です。

 え? 三平方の定理?

 そうです、三平方の定理です。あの、中学生が習う三平方の定理です。

 とにかく、今回は三平方の定理を証明していくんですが、三角法(sinとかcosとか)を用いた証明をしてみました!!

 三平方の定理と三角法について、アメリカのJKがなんかすごいことしたらしいので、JKにできて俺にできないことはないだろ的なノリでやってみたら、できちゃったので紹介します。

 んじゃ、早速本編へレッツゴー!!!!

三平方の定理の証明

 中学校3年生の最後に学習する定理、それは、以下に示す「三平方の定理(ピタゴラスの定理)」だ。

三平方の定理(ピタゴラスの定理)

 直角三角形の各辺に対し、cを斜辺とするとa2+b2=c2が成り立つ

 三平方の定理は、様々な証明方法があり、つい最近(2024年)、三角法を用いた証明が為された。証明の概要は、相似な直角三角形で別の直角三角形の内部を埋め尽くし、級数と正弦定理で式変形して導くものだった。

 話は変わって、高校生になると余弦定理というものを学習する。

余弦定理

 三角形のある角θをとり、向かい合う辺をcとすると、a2+b22abcosθ=c2 が成り立つ

 よく考えなくてもわかるが、余弦定理は、三平方の定理の拡張であり、三平方の定理よりも強い
 つまり、余弦定理を示すことができれば、自然に三平方の定理が示せたことになる。無論、示す過程で三平方の定理を仮定してはならない(過程と仮定())。

 以下、余弦定理を示す。

0<θ<π2 のとき

考える図 考える図

 ここで、ABCACDCBEとなるような点D,Eをとる。

D,Eをとる D,Eをとる

 このとき、AD,BE,CD,CEを、a,b,cを用いて表してみよう。

 AD=b2a,BE=c2a,CD=CE=bca

 この情報を頭に焼き付けてほしい。

 また、もちろんDAC=θである。

 次に、BAの延長上に、AD=AFとなるようなFをとる。

Fをとったら二等辺三角形ができる Fをとったら二等辺三角形ができる

 AD=AF、つまりAF=b2aとなったとき、二等辺三角形の底角は等しいため、AFD=ADFであり、頂角の外角は2θだから、

AFD=ADF=BAC=CAD=θ

が成り立つ。よって、AC//FDである。

 続いて、ABの延長上にACDACGとなるように点Gをとり、GCの延長とFDの延長の交点をHとする。

GとHを追加 GとHを追加

 ここで、合同よりAD=AGで、AG=AFかつ、AC//FHだから、GFHについて中点連結定理が使える。よって、

FH=2b,CG=CH=CD=bca

が成り立つ。

 分かりやすさのため、EHを書き足す。

EとHを結ぶ EとHを結ぶ

 このとき、GC=EC=HC=bcaより、3点G,E,Hは、Cを中心とした円周上にある。GHはその円の直径になるため、円周角の定理より
GEH=π2すなわちFEH=π2が成り立つ。
FH=2bと併せると、FE=2bcosθが成り立つ。

 今、BE=AB+AFFEが成り立つため、

c2a=a+b2a2bcosθ,両辺a倍して、c2=a2+b22abcosθである。

余弦定理(θは鋭角)

0<θ<π2のとき、余弦定理は成り立つ。

 なんと!余弦定理の一部を三平方の定理を使わずに示せました!
 今回用いた図では、θ 以外の角も鋭角でしたが、そこは同じ手順を踏めば鈍角でも直角でも成り立ちます。また、a<cでも成り立ちます。
 次に、θが鈍角のときを考えてあげましょう!

π2<θ<πのとき

 先ほどと同じように作図をしていくと、ADF=πθとなり、同様の結果が得られます。なお、cos(πθ)=cosθとなることは、単位円によるcosの定義より明らかです。

 しかし!!「同様に」とだけ記しても、楽しくないので、別のアプローチをしてみましょう!

 下のような図を考える。

θが鈍角の図 θが鈍角の図

 ここで、ACDACDであり、θが鈍角であるときπθは鋭角であるため、ACDに対して余弦定理(鋭角の場合は示した)を使い、整理すると
cos(πθ)=a2b2+c22abすなわち2abcosθ=a2b2+c2が成り立つ。
なお、cos(πθ)=cosθであることは前述のとおり定義より明らかである。

 この結果を用いてABCに対し、a2+b22abcosθを計算するとc2になり、θが鈍角の場合でも余弦定理が成り立つことがわかる。

余弦定理(θは鈍角)

π2<θ<πのとき、余弦定理は成り立つ。

 ただし!!!まだ、θ=π2のときが示せていない!!
 さらに!図形を用いて個別に証明すると、それはただの三平方の定理の証明になってしまう!!!

 ここで、極限を用いてはさみうちの定理で鮮やかに解決しようと思う。

 その前に、aとbが固定されているとき、cはθの関数であり、c(θ)が単調増加関数であることを示す。

cとθの関係 cとθの関係

  • AとBの距離がaである
  • Bを中心に半径bの円Bをとる
  • Bを中心にABを時計回りにθ度回転させた直線と円Bの交点をCとする。
  • Aを中心として、AC=cを半径とした円Aをとる

 当然θ>θをとると、新たにできる交点Cは円Aの外側にあるためc(θ)は単調増加関数だとわかる。

 c(θ)が関数であるということは、そもそもc2θの関数であって、c2(θ)も単調増加関数である。

 ここから、はさみうちの定理に入ります!!!!

 どんなθに対しても、2|π2θ|>π2θであり、θ>π22|π2θ|が成り立つ。また、2|π2θ|>θπ2であり、θ<π2+2|π2θ|が成り立つ。

 よって、π22|π2θ|<θ<π2+2|π2θ|が成り立ち、θπ2を考えてみる。

 わかりやすさのため、φ=π2θとすると、π22|φ|<π2φ<π2+2|φ|で、φ0を考えることとする。

 もちろん、π22|φ|は鋭角、π2+2|φ|は鈍角であるため、それぞれ余弦定理を使える。

 ここで、c2(θ)は単調増加関数であったため、c2(π22|φ|)<c2(π2φ)<c2(π2+2|φ|)が成り立ち、φを正から近づけても負から近づけてもa2+b2c2(π2)a2+b2が成り立つ。

 よって、c2(π2)=a2+b2が成り立ち、

 たった今!!!

 0<θ<πの範囲で余弦定理が成り立つことと同時に!!

 θ=π2のとき、a2+b2=c2が成り立った!!!!

余弦定理と三平方の定理

0<θ<πに対して、a2+b22cosθ=c2が成り立つ。

また、特にθ=π2のとき、a2+b2=c2が成り立つ。

ふぁ~~!!遂に三平方の定理を三角法を用いて証明することができました!!

お疲れ様です!!

まとめ

 もとは、アメリカのJKに負けてたまるかと1週間を捧げて本気になって考えていた証明が、実際に完成して、こうやってブログにかけるのがとてつもなく嬉しいです。だから、若者たちは時間があるうちに、気になったことを探求していって、成果を残していってほしいと思います。
 あと、普通に余弦定理はベクトルの内積とかで証明できるらしいので、この証明はたいして美しくなさそうです。残念...なんで証明した後に気が付くんだ...。
 ともかく、このブログを通して、少しでも参考になった人がいれば、それで十分です。特に、極限とかを除けばほぼ中学3年生で習うことをベースに証明を構成したので数学に詳しくない人でも読みやすかったのではないかと思います。
 それでは、またどこかで!!

投稿日:2024年12月4日
更新日:27日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

12匁
12匁
3
1805
直和の定義見て"集合として等しい"を知らずに背伸びしていたことに気づいたことがある。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中