三角関数の公式の一覧
三角関数の公式（さんかくかんすうのこうしき）は、角度に関わらず成り立つ三角関数の恒等式である。
この記事内で、角は原則として , , , といったギリシャ文字か、 を使用する。
角度の単位としては原則としてラジアン (rad, 通常単位は省略) を用いるが、度 (°) を用いる場合もある。
主な角度の度とラジアンの値は以下のようになる：
記事内では主にラジアンを使用し、度の場合には別記するか度を示す記号（°）を付記する。
最も基本的な関数は正弦関数（サイン、sine）と余弦関数（コサイン、cosine）である。これらは , または括弧を略して , と記述される（ は対象となる角の大きさ）。
正弦関数と余弦関数の比を正接関数（タンジェント、tangent）と言い、具体的には以下の式で表される：
上記3関数の逆数関数を余割関数（コセカント、cosecant）・正割関数（セカント、secant）・余接関数（コタンジェント、cotangent）と言う。余割関数の略称には cosec と csc の2種類があり、この記事では csc を使用する。
三角関数の逆関数を逆三角関数と言う。日本語においては逆正弦関数のように頭に「逆」を付けて呼ぶ。式中では sin のように右肩に "−1" を付けるか asin, arcsin のように "a" または "arc" を付ける。
この記事では逆関数として以下の表記を採用する：
三角関数は周期関数なので、逆関数は多価関数である。
逆関数の性質から以下が成り立つ：
ピタゴラスの定理やオイラーの公式などから以下の基本的な関係が導ける。
ここで は を意味する。
この式を変形して、以下の式が導かれる：
上の関係式を と で割ると、以下の関係式ができる：
これらの式から以下の関係を得る：
三角関数から求められる versine, coversine, haversine, exsecant などの各関数は、かつて測量などに用いられた。例えば haversine は球面上の2点の距離を求めるのに使用された。haversineを使用すると関数表の表をひく回数を減らすことができるからである。(参考：球面三角法) 今日ではコンピュータの発達により、これらの関数はほとんど使用されない。
versine と coversine は日本語では「正矢」「余矢」と呼ばれ、三角関数とともに八線表として1つの数表にまとめられていた。
単位円と三角関数の関係を検討することにより、以下の性質が導かれる。
いくつかの線に対し対称な図形を考えることにより、以下の関係式を得ることができる。
単位円の図を回転させることにより、別の関係が得られる。π/2 の回転だとすべての関数が別の関数との関係を得られる。π または 2π の回転だと、同じ関数内での関係となる。
以下の式は「加法定理」として知られる。これらの式は、10世紀のペルシャの数学者アブル・ワファーによって最初に示された。これらの式はオイラーの公式を用いて示すことが可能である。
上記の表において複号は同順とする。
加法定理によって、回転行列同士の積をまとめることができる。
正弦関数と余弦関数において、以下の式が成り立つ。
いずれの場合にも、「有限個の角の正弦関数と残りの角の余弦関数の積」の和となる。無限の和に見えるが、j 以上のすべての i で θ=0 が成り立つ場合、j 以上の k は計算する必要がなく有限項の計算となる。
"e" ("k" ∈ {0, ..., "n"}) を "k"次の基本対称式とする。
のとき "i" ∈ {0, ..., "n"} に対して以下のようになる。
このとき正接関数の和は以下の式で表される。
この "e" は、"e" まで使用する。
例
数学的帰納法を用いて証明が可能である。
"e" は前節同様正接関数の基本対称式とする。
例
以下の式は加法定理などから容易に導くことができる。
正弦関数と余弦関数の三倍角の公式は、元の関数の三次方程式で表すことができる。従って、三次方程式の解を求めることでそれらの三角関数の値を得ることができる。
幾何学的には、三倍角の公式を経由し三角関数の値を求めることは角の三等分問題に相当する。この問題は、定規とコンパスを用いた解法が特別な角を除いて存在しないことが知られている。
方程式 （正弦関数ならば とする）の判別式は正なのでこの方程式は3つの実数解を持つ。
加法定理から、正弦関数および余弦関数の以下の倍角公式が得られる。これらの式は16世紀のフランスの数学者フランソワ・ビエトによって示された。
ここで は二項係数である。上記の和の最初の数項を明示すれば、以下の通りである。
ビエトの公式を利用し、正接関数と余接関数の倍角公式を漸化式として与えることができる。
またド・モアブルの定理、あるいはオイラーの公式を利用し、以下のように表すことができる。
パフヌティ・チェビシェフは、 倍角の正弦関数と余弦関数の値を、 倍角と 倍角の値を用いて表す方法を発見している。
同様に は以下のように表される。
の算術平均の正接について以下が成り立つ。
以下の式が成り立つ。
最後のsincは、正弦関数を角の大きさで割ったものである。
余弦関数の倍角公式を変形することにより、以下の式が得られる。式の次数を下げるために良く用いられる。
ド・モアブルの定理・オイラーの公式・二項定理を用いると、以下のように一般化できる。
加法定理に（θ±φ）を代入することにより、積和公式を導くことができる。これを変形すると和積公式になる。
シャルル・エルミートは、複素関数に関する以下の式を示した。
複素数 "a", ..., "a" は、どの2つをとってもその差がπの整数倍にならないものとする。
と置く（"A" のときこの値は1とする）と、以下の式が成り立つ。
自明でない単純な例として、"n" = 2 のときの例をあげる。
正弦関数と余弦関数の和は、正弦関数で表すことができる。
ここで、φの値は以下の式で与えられる。
位相の違う正弦関数を以下のように合成することができる。
ここで c と β の値は以下の式で与えられる。
正弦関数と余弦関数の和に関する以下のような公式がある。
正接関数と正割関数に関して以下の式が成り立つ。
ただし、formula_40 はグーデルマン関数の逆関数である。
"ƒ"("x") と "g"("x") を以下のようなメビウス変換関数として定義する。
このとき以下が成り立つ。
以下のように書くこともできる。
以下において、formula_48 は虚数単位とする。
いくつかの関数は、無限乗積の形で表すことができる。
α, β, γ が三角形の3つの角の大きさのとき、即ち α + β + γ = π を満たす場合、以下の式が成り立つ。
以下の式が成り立つ。
この式は以下の式の特殊な場合である。
以下の式も同じ値を持つ。
正弦関数では以下の式が成り立つ。
余弦関数では以下の式が成り立つ。
上の式を利用して以下の式が得られる。
以下の式は単純である。
上の式を一般化する場合分母に21が出てくるため、単位として度よりもラジアンを使用した方がよい。
係数に登場する 1, 2, 4, 5, 8, 10 は 21/2 より小さく 21 と互いに素な全ての自然数である。この式は円分多項式に関係している。
以下の関係から導かれる式もある。
これらを組み合わせると、以下の式になる。
n を奇数に限定すると、以下の式が得られる。
円周率の計算において、以下のマチンの公式はよく使用される。
レオンハルト・オイラーは、以下の式を示している。
正弦関数と余弦関数において、値が formula_96 （ただし 0 ≤ "n" ≤ 4）の形になるものは、覚えやすい値である。
一部の角に対する値は、黄金比 φ を用いて表すことができる。
ユークリッドは原論13巻で、正五角形と同じ長さの辺を持つ正方形の面積は、同じ円に内接する正六角形と正十角形の辺の長さを持つ2つの正方形の和に等しいことを示した。これを三角関数を用いて書くと以下のようになる。
微分積分学の分野においては、角度はラジアンを使用する。
微積分において、極限に関する2つの重要な式がある。1つは
である。この式ははさみうちの原理から導くことができる。もう1つは以下の式である。
これらの式と加法定理などを利用して、以下の式を導くことができる。
以下に三角関数と逆三角関数の微分を示す。
積分に関しては三角関数の原始関数の一覧を参照。
三角関数（特に正弦関数と余弦関数）の導関数と原始関数が三角関数であらわされることは、微分方程式やフーリエ解析を含む数学の多くの分野で有用である。
(Weierstrass substitution) 以下の変換は、カール・ワイエルシュトラスの名がつけられている。
とおくと、
積分の計算において、被積分関数がｘの三角関数の有理関数 R(sin x, cos x) である場合にこの変換を用いると、t についての有理関数の積分の計算に帰着することができる。
sinの3倍角の公式を加法定理で変形すると、
が成り立つ。
を入力すると、
が成り立つ。
を入力すると、
が成り立つ。
を入力すると、
が成り立つ。
cosの3倍角の公式を加法定理で変形すると、
が成り立つ。
を入力すると、
が成り立つ。
を入力すると、
が成り立つ。
を入力すると、
が成り立つ。
tanでは、
が成り立つ。
を入力すると、
整理すると、
が成り立つのが分かる。
同様に、tanの5倍角・7倍角の公式から、
が成り立つ。
一般には、２項係数を使用したtanのｎ倍角の公式で
formula_141とおくと、
formula_142
formula_143
が成り立つのは、
formula_144
の場合なので、
formula_145
formula_146
が成り立つ。また分子と分母で２項係数が逆順になるため、
formula_147
formula_148
formula_149
formula_150
formula_151
と変形でき、下記の式が成り立つ。
formula_152