初等数学公式集/初等関数の性質#三角関数も参照
xy平面上に半径1の円を考える。この円を単位円(たんいえん)という。単位円は方程式 が表す図形である。
x軸の正の部分を反時計回りに角度θだけ回転させた半直線が単位円と交わる点の座標を(x,y)とするとき、次で定まる値を角度θの三角関数(さんかくかんすう)という。
それぞれsinを正弦関数(せいげんかんすう、sine サイン)、cosを余弦関数(よげんかんすう、cosine コサイン)、tanを正接関数(せいせつかんすう、tangent タンジェント)という。サインとコサインの定義域は実数全体だが、タンジェントの定義域は実数全体ではない。タンジェントの値が定義できないような角度が存在するからである。例えば は定義できない。
次に紹介する3つは、現代では使用が減っており、高校数学や大学受験では通常扱われないが、これらも三角関数である。
それぞれ余接関数(よせつかんすう、cotangent コタンジェント)、正割関数(せいかつかんすう、secant セカント)、余割関数(よかつかんすう、cosecant コセカント)という。この3つはどれも定義域が実数全体ではない。
サイン・コサイン・タンジェントとセカント・コセカント・コタンジェントの間には、定義から明らかに次の関係式が成り立つ。
サイン・コサイン・タンジェントに関する公式をもとにしてセカントなどに関する公式を導くことができるが、この項目ではセカントなどに関する公式は省略する。
以下に記す公式は、式のどこかに定義できない箇所があるときや、分母がゼロになるときには、使うことができない。証明においてもそのようなケースは暗黙のうちに除外していることを注意されたい。
- 例えば のときに加法定理を用いて を計算することはできない。
nを整数とするとき、
は波型(サインカーブ)のグラフを描く。
いずれの式も複号同順。
加法定理から証明できる。
また、2乗が現れない次の公式もあるが、高校ではあまり扱われない。
∴
∴
∴
∴
この2つから
がいえる。通常は以上の3つを示しておけばよい。
残る式は、分母を払った形の式を考えれば示しやすい。
∴
∴
半角公式はしばしば次数を下げるために用いられる。たとえば、
とおく。すると と表せる。
sin の加法定理より
他の3つも同様の方法で示せる。
積和変換公式は次数を下げるために用いられる。
☆のついた公式は相互に書き換えができる。
- ☆
- ☆
天下り的だが、右辺から左辺へと変形すれば容易に証明される。