公式集-基礎数学-3
3.三角関数
三角関数の基本公式
公式: 三角関数の基本公式(I)
この法則は三平方の定理から導き出せます。(その逆も然り)
上のように、半径とx座標、y座標は常に直角三角形を作り、三平方の定理が成り立ちます。
では下で、三平方の定理の証明方法を紹介します。
図の、一辺が の正方形の面積 を二通りの方法で表す。
-
一辺が の正方形だから
-
一辺が の正方形の面積と、4つの直角三角形の面積の和だから
よって、
高校数学の美しい物語というWEBサイトではこのほかに2つの証明方法を掲載していますので見たかったらこちらを参考にしてください。
僕はこの証明を見て、「こんな簡単な式にこれほどの証明が果たして必要だろうか。」と思っており、高1の時にdesmosを使って三平方の定理を原理的に追及しようとしました。(そのおかげでテストがズタズタになったわけですが)
すると分かったことがあって、 (単位円の軌跡を描く の座標に をかけたもの) の軌跡が下のように、半円を描くことがわかったんです。
●
●
つまり、次のような式が成り立つわけです。
なぜ右辺はこのような式になるのか?
まず、軌跡が半円になっているのだから の係数は 。
● の一回転につき、● が2回転するから の係数は 。
● が のとき、● は 。
軌跡の中心が 。
これらが組み合わさり、右辺のような式になる。
上の式の証明をします。
証明1: 計算
だから
2倍角の公式より だから
証明2: 図式化
の 座標を とする。
仮定より ・・・①
・・・②
①②より、 ・・・③
仮定より ・・・④
③④より、 ・・・⑤
仮定より ・・・⑥
⑤⑥より、 ・・・⑦
⑦より、半径 とおくと、
の 座標
よって成り立つ。
では、 ではどうなるかというと、
●
●
●
次のような式が成り立ちます。
上の式の証明は省略します。
上のアニメーションを見ればわかるように、● と ● は、 を対称軸として、線対称に動いています。
つまり、 と の平均は だということです。
もうわかると思いますが、その和は になります。
計算では次のようになります。
実際にDESMOSで表示してみました。実際にDESMOSに移動していろいろ遊んでみたい方はこちらをクリックしてください。
これを見たらわかるように、DESMOSってhtmlへの埋め込みが可能なんですね。今までSVGで頑張ってた僕はなんなんでしょうか。