三角関数の公式（さんかくかんすうのこうしき）は、角度に関わらず成り立つ三角関数の恒等式である。

定義

角 
この記事内で、角は原則として , , ,  といったギリシャ文字か、 を使用する。

角度の単位としては原則としてラジアン (rad, 通常単位は省略) を用いるが、度 (°) を用いる場合もある。
 1周 = 360度 = 2ラジアン
主な角度の度とラジアンの値は以下のようになる：

記事内では主にラジアンを使用し、度の場合には別記するか度を示す記号（°）を付記する。

三角関数 
最も基本的な関数は正弦関数（サイン、sine）と余弦関数（コサイン、cosine）である。これらは ,  または括弧を略して ,  と記述される（ は対象となる角の大きさ）。

正弦関数と余弦関数の比を正接関数（タンジェント、tangent）と言い、具体的には以下の式で表される：

上記3関数の逆数関数を余割関数（コセカント、cosecant）・正割関数（セカント、secant）・余接関数（コタンジェント、cotangent）と言う。余割関数の略称には cosec と csc の2種類があり、この記事では csc を使用する。

逆関数 
三角関数の逆関数を逆三角関数と言う。日本語においては逆正弦関数のように頭に「逆」を付けて呼ぶ。式中では sin−1 のように右肩に "−1" を付けるか asin, arcsin のように "a" または "arc" を付ける。このarcは弧という意味がある。

この記事では逆関数として以下の表記を採用する：

三角関数は周期関数なので、逆関数は多価関数である。

逆関数の性質から以下が成り立つ：

その他、総和記号・総乗記号など
いくつかの数学記号は中等教育の課程（中学校の課程・高等学校の課程・中等教育学校の課程など）で紹介されていないため、詳しくは数学記号の表#代数学の記号など参照のこと。

総和記号:
総乗記号:

ピタゴラスの定理 
ピタゴラスの定理やオイラーの公式などから以下の基本的な関係が導ける。

ここで  は  を意味する。

この式を変形して、以下の式が導かれる：

関数同士の変換 
上の関係式を  と  で割ると、以下の関係式ができる：

これらの式から以下の関係を得る：

古い関数 

三角関数から求められる versine, coversine, haversine, exsecant などの各関数は、かつて測量などに用いられた。例えば haversine は球面上の2点の距離を求めるのに使用された。haversineを使用すると関数表の表をひく回数を減らすことができるからである。(参考：球面三角法) 今日ではコンピュータの発達により、これらの関数はほとんど使用されない。

versine と coversine は日本語では「正矢」「余矢」と呼ばれ、三角関数とともに八線表として1つの数表にまとめられていた。

対称性・周期性 
単位円と三角関数の関係を検討することにより、以下の性質が導かれる。

対称性 
いくつかの線に対し対称な図形を考えることにより、以下の関係式を得ることができる。

移動と周期性 
単位円の図を回転させることにより、別の関係が得られる。π/2 の回転だとすべての関数が別の関数との関係を得られる。π または 2π の回転だと、同じ関数内での関係となる。

加法定理 
以下の式は「加法定理」として知られる。これらの式は、10世紀のペルシャの数学者アブル・ワファーによって最初に示された。これらの式はオイラーの公式を用いて示すことが可能である。

上記の表において複号は同順とする。

回転行列の積 
加法定理によって、回転行列同士の積をまとめることができる。

任意の個数の和

正弦関数と余弦関数 
正弦関数と余弦関数において、以下の式が成り立つ。

 

 

いずれの場合にも、「有限個の角の正弦関数と残りの角の余弦関数の積」の和となる。無限の和に見えるが、j 以上のすべての i で θi=0 が成り立つ場合、j 以上の k は計算する必要がなく有限項の計算となる。

正接関数 
ek (k ∈ {0, ..., n}) を k次の基本対称式とする。
 
のとき i ∈ {0, ..., n} に対して以下のようになる。
 

このとき正接関数の和は以下の式で表される。
 
この e は、en まで使用する。

例
 

数学的帰納法を用いて証明が可能である。

正割関数と余割関数 
ek は前節同様正接関数の基本対称式とする。
 

例

倍角公式

倍角・三倍角・半角の公式 
以下の式は加法定理などから容易に導くことができる。

正弦関数と余弦関数の三倍角の公式は、元の関数の三次方程式で表すことができる。従って、三次方程式の解を求めることでそれらの三角関数の値を得ることができる。

幾何学的には、三倍角の公式を経由し三角関数の値を求めることは角の三等分問題に相当する。この問題は、定規とコンパスを用いた解法が特別な角を除いて存在しないことが知られている。

方程式 （正弦関数ならば  とする）の判別式は正なのでこの方程式は3つの実数解を持つ。

倍角の公式 
加法定理から、正弦関数および余弦関数の以下の倍角公式が得られる。これらの式は16世紀のフランスの数学者フランソワ・ビエトによって示された。

ここで  は二項係数である。上記の和の最初の数項を明示すれば、以下の通りである。

ビエトの公式を利用し、正接関数と余接関数の倍角公式を漸化式として与えることができる。

またド・モアブルの定理、あるいはオイラーの公式を利用し、以下のように表すことができる。

チェビシェフの方法 
パフヌティ・チェビシェフは、 倍角の正弦関数と余弦関数の値を、 倍角と  倍角の値を用いて表す方法を発見している。

 は、以下のように表される。

同様に  は以下のように表される。

 は以下のようになる。

ここで、 である。

算術平均の正接関数 
 の算術平均の正接について以下が成り立つ。

 のいずれかが 0 である場合、これは正接関数の半角公式に一致する。

ビエトの無限積 
以下の式が成り立つ。

 

最後のsincは、正弦関数を角の大きさで割ったものである。

べき乗 
余弦関数の倍角公式を変形することにより、以下の式が得られる。式の次数を下げるためによく用いられる。

ド・モアブルの定理・オイラーの公式・二項定理を用いると、以下のように一般化できる。

和積公式と積和公式 
加法定理に（θ±φ）を代入することにより、積和公式を導くことができる。これを変形すると和積公式になる。

エルミートの無限積 
シャルル・エルミートは、複素関数に関する以下の式を示した。

複素数 a1, ..., an は、どの2つをとってもその差がπの整数倍にならないものとする。

 

と置く（A1,1 のときこの値は1とする）と、以下の式が成り立つ。

 

自明でない単純な例として、n = 2 のときの例をあげる。

合成公式 
正弦関数と余弦関数の和は、正弦関数で表すことができる。

ここで、φの値は以下の式で与えられる。

または

位相の違う正弦関数を以下のように合成することができる。

ここで c と β の値は以下の式で与えられる。

その他の和に関する公式 
正弦関数と余弦関数の和に関する以下のような公式がある。

正接関数と正割関数に関して以下の式が成り立つ。

ただし、 はグーデルマン関数の逆関数である。

メビウス変換 
ƒ(x) と g(x) を以下のようなメビウス変換関数として定義する。

 
 

このとき以下が成り立つ。

 

以下のように書くこともできる。

逆三角関数に関する公式

逆三角関数同士の関係

逆三角関数の和に関する公式

逆三角関数と三角関数

複素関数 
以下において、 は虚数単位とする。

 （オイラーの公式）

 （オイラーの等式）

無限乗積による表現 

いくつかの関数は、無限乗積の形で表すことができる。は総乗を示す。

三角形 
α, β, γ が三角形の3つの角の大きさのとき、即ち α + β + γ = π を満たす場合、以下の式が成り立つ。

特定の角度に関する式 
以下の式が成り立つ。
 （モリーの法則）
この式は以下の式の特殊な場合である。

以下の式も同じ値を持つ。

正弦関数では以下の式が成り立つ。

余弦関数では以下の式が成り立つ。

上の式を利用して以下の式が得られる。

以下の式は単純である。

上の式を一般化する場合分母に21が出てくるため、単位として度よりもラジアンを使用した方がよい。

係数に登場する 1, 2, 4, 5, 8, 10 は 21/2 より小さく 21 と互いに素な全ての自然数である。この式は円分多項式に関係している。

以下の関係から導かれる式もある。

これらを組み合わせると、以下の式になる。

n を奇数に限定すると、以下の式が得られる。

πの計算 
円周率の計算において、以下のマチンの公式はよく使用される。

レオンハルト・オイラーは、以下の式を示している。

よく使用される値 
正弦関数と余弦関数において、値が  （ただし 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のｎ倍角の公式で

とおくと、

となる。ここで

が成り立つのは、

の場合なので、

のとき、

 

が成り立つ。また分子と分母で２項係数が逆順になるため、

と変形でき、下記の式が成り立つ。

脚注

関連項目 
 三角関数
 ピタゴラスの定理
 正弦定理
 余弦定理
 正接定理

外部リンク 

数学に関する記事
三角法
数式
数学の一覧