円と三角関数の関係
初等数学公式集/初等関数の性質#三角関数も参照
三角関数の定義[編集]
単位円の図。この図では角度を変数 t としてある。
(記事の本文では角度はθだが、θで描かれた単位円の図が無いので、 t の図で代用した。記事の本文と照らし合わせる場合は t をθに置き換えて読むこと。)
xy平面上に半径1の円を考える。この円を単位円(たんいえん)という。単位円は方程式
が表す図形である。
x軸の正の部分を反時計回りに角度θだけ回転させた半直線が単位円と交わる点の座標を(x,y)とするとき、次で定まる値を角度θの三角関数(さんかくかんすう)という。



それぞれsinを正弦関数(せいげんかんすう、sine サイン)、cosを余弦関数(よげんかんすう、cosine コサイン)、tanを正接関数(せいせつかんすう、tangent タンジェント)という。サインとコサインの定義域は実数全体だが、タンジェントの定義域は実数全体ではない。タンジェントの値が定義できないような角度が存在するからである。例えば
は定義できない。
次に紹介する3つは、現代では使用が減っており、高校数学や大学受験では通常扱われないが、これらも三角関数である。



それぞれ余接関数(よせつかんすう、cotangent コタンジェント)、正割関数(せいかつかんすう、secant セカント)、余割関数(よかつかんすう、cosecant コセカント)という。この3つはどれも定義域が実数全体ではない。
サイン・コサイン・タンジェントとセカント・コセカント・コタンジェントの間には、定義から明らかに次の関係式が成り立つ。



サイン・コサイン・タンジェントに関する公式をもとにしてセカントなどに関する公式を導くことができるが、この項目ではセカントなどに関する公式は省略する。
以下に記す公式は、式のどこかに定義できない箇所があるときや、分母がゼロになるときには、使うことができない。証明においてもそのようなケースは暗黙のうちに除外していることを注意されたい。
- 例えば
のときに加法定理を用いて
を計算することはできない。
有名な三角関数の値[編集]





三角関数の基本的性質[編集]





nを整数とするとき、

三角関数のグラフ[編集]
正弦波(赤色)と余弦波(青色)の関数グラフ
は波型(サインカーブ)のグラフを描く。
加法定理[編集]
いずれの式も複号同順。



加法定理の使用例[編集]




倍角公式[編集]



倍角公式の証明[編集]
加法定理から証明できる。



半角公式[編集]



また、2乗が現れない次の公式もあるが、高校ではあまり扱われない。

半角公式の証明[編集]

∴ 
∴

∴ 
∴
この2つから

がいえる。通常は以上の3つを示しておけばよい。
残る式は、分母を払った形の式を考えれば示しやすい。

∴ 

∴
半角公式の使用例[編集]
半角公式はしばしば次数を下げるために用いられる。たとえば、

和積変換公式[編集]




和積変換公式の証明[編集]
とおく。すると
と表せる。
sin の加法定理より



他の3つも同様の方法で示せる。
積和変換公式[編集]
積和変換公式は次数を下げるために用いられる。
☆のついた公式は相互に書き換えができる。

- ☆

- ☆


積和変換公式の証明[編集]
天下り的だが、右辺から左辺へと変形すれば容易に証明される。
三倍角の公式[編集]


三倍角の公式の証明[編集]










