三角関数の公式の一覧

三角関数の公式（さんかくかんすうのこうしき）は、角度に関わらず成り立つ三角関数の恒等式である。 この記事内で、角は原則として α, β, γ, θ といったギリシア文字か、x を使用する。 角度の単位としては原則としてラジアン (rad, 通常単位は省略) を用いるが、度 (°) を用いる場合もある。 1周 = 360度 = 2πラジアン 主な角度の度とラジアンの値は以下のようになる： 記事内では主にラジアンを使用し、度の場合には別記するか度を示す記号（°）を付記する。 最も基本的な関数は正弦関数（サイン、sine）と余弦関数（コサイン、cosine）である。これらは sin(θ), cos(θ) または括弧を略して sin θ, cos θ と記述される（θ は対象となる角の大きさ）。 正弦関数と余弦関数の比を正接関数（タンジェント、tangent）と言い、具体的には以下の式で表される： tan ⁡ θ = sin ⁡ θ cos ⁡ θ {\displaystyle \tan \theta ={\frac {\sin \theta }{\cos \theta }}} 上記3関数の逆数関数を余割関数（コセカント、cosecant）・正割関数（セカント、secant）・余接関数（コタンジェント、cotangent）と言う。余割関数の略称には cosec と csc の2種類があり、この記事では csc を使用する。 sec ⁡ θ = 1 cos ⁡ θ , csc ⁡ θ = 1 sin ⁡ θ , cot ⁡ θ = 1 tan ⁡ θ = cos ⁡ θ sin ⁡ θ . {\displaystyle \sec \theta ={\frac {1}{\cos \theta }},\quad \csc \theta ={\frac {1}{\sin \theta }},\quad \cot \theta ={\frac {1}{\tan \theta }}={\frac {\cos \theta }{\sin \theta }}.} 三角関数の逆関数を逆三角関数と言う。日本語においては逆正弦関数のように頭に「逆」を付けて呼ぶ。式中では sin−1 のように右肩に "−1" を付けるか asin, arcsin のように "a" または "arc" を付ける。このarcは弧という意味がある。 この記事では逆関数として以下の表記を採用する： 三角関数は周期関数なので、逆関数は多価関数である。 逆関数の性質から以下が成り立つ： sin ⁡ ( arcsin ⁡ x ) = x , {\displaystyle \sin(\arcsin x)=x,\!} arcsin ⁡ ( sin ⁡ θ ) = θ for  − π / 2 ≤ θ ≤ π / 2. {\displaystyle \arcsin(\sin \theta )=\theta \quad {\text{for }}-\pi /2\leq \theta \leq \pi /2.} いくつかの数学記号は中等教育の課程（中学校の課程・高等学校の課程・中等教育学校の課程など）で紹介されていないため、詳しくは数学記号の表#代数学の記号など参照のこと。 総和記号: ∑ {\displaystyle \textstyle \sum } 総乗記号: ∏ {\displaystyle \textstyle \prod } ピタゴラスの定理やオイラーの公式などから以下の基本的な関係が導ける。 cos 2 ⁡ θ + sin 2 ⁡ θ = 1 {\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1\!} ここで sin2 θ は (sin(θ))2 を意味する。 この式を変形して、以下の式が導かれる： sin ⁡ θ = ± 1 − cos 2 ⁡ θ {\displaystyle \sin \theta =\pm {\sqrt {1-\cos ^{2}\theta }}} cos ⁡ θ = ± 1 − sin 2 ⁡ θ {\displaystyle \cos \theta =\pm {\sqrt {1-\sin ^{2}\theta }}} 上の関係式を cos2 θ と sin2 θ で割ると、以下の関係式ができる： 1 + tan 2 ⁡ θ = sec 2 ⁡ θ {\displaystyle 1+\tan ^{2}\theta =\sec ^{2}\theta \!} 1 + cot 2 ⁡ θ = csc 2 ⁡ θ {\displaystyle 1+\cot ^{2}\theta =\csc ^{2}\theta \!} これらの式から以下の関係を得る： 三角関数から求められる versine, coversine, haversine, exsecant などの各関数は、かつて測量などに用いられた。例えば haversine は球面上の2点の距離を求めるのに使用された。haversineを使用すると関数表の表をひく回数を減らすことができるからである。 (参考：球面三角法) 今日ではコンピュータの発達により、これらの関数はほとんど使用されない。 versine と coversine は日本語では「正矢」「余矢」と呼ばれ、三角関数とともに八線表として1つの数表にまとめられていた。 単位円と三角関数の関係を検討することにより、以下の性質が導かれる。 いくつかの線に対し対称な図形を考えることにより、以下の関係式を得ることができる。 単位円の図を回転させることにより、別の関係が得られる。π/2 の回転だとすべての関数が別の関数との関係を得られる。π または 2π の回転だと、同じ関数内での関係となる。 以下の式は「加法定理」として知られる。これらの式は、10世紀のペルシャの数学者アブル・ワファーによって最初に示された。これらの式はオイラーの公式を用いて示すことが可能である。 上記の表において複号は同順とする。 加法定理によって、回転行列同士の積をまとめることができる。 ( cos ⁡ ϕ − sin ⁡ ϕ sin ⁡ ϕ cos ⁡ ϕ ) ( cos ⁡ θ − sin ⁡ θ sin ⁡ θ cos ⁡ θ ) = ( cos ⁡ ϕ cos ⁡ θ − sin ⁡ ϕ sin ⁡ θ − cos ⁡ ϕ sin ⁡ θ − sin ⁡ ϕ cos ⁡ θ sin ⁡ ϕ cos ⁡ θ + cos ⁡ ϕ sin ⁡ θ − sin ⁡ ϕ sin ⁡ θ + cos ⁡ ϕ cos ⁡ θ ) = ( cos ⁡ ( θ + ϕ ) − sin ⁡ ( θ + ϕ ) sin ⁡ ( θ + ϕ ) cos ⁡ ( θ + ϕ ) ) {\displaystyle {\begin{aligned}&{}\quad \left({\begin{array}{rr}\cos \phi &-\sin \phi \\\sin \phi &\cos \phi \end{array}}\right)\left({\begin{array}{rr}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{array}}\right)\\[12pt]&=\left({\begin{array}{rr}\cos \phi \cos \theta -\sin \phi \sin \theta &-\cos \phi \sin \theta -\sin \phi \cos \theta \\\sin \phi \cos \theta +\cos \phi \sin \theta &-\sin \phi \sin \theta +\cos \phi \cos \theta \end{array}}\right)\\[12pt]&=\left({\begin{array}{rr}\cos(\theta +\phi )&-\sin(\theta +\phi )\\\sin(\theta +\phi )&\cos(\theta +\phi )\end{array}}\right)\end{aligned}}} 正弦関数と余弦関数において、以下の式が成り立つ。 sin ⁡ ( ∑ i = 1 ∞ θ i ) = ∑ odd   k ≥ 1 ( − 1 ) ( k − 1 ) / 2 ∑ A ⊆ { 1 , 2 , 3 , … } | A | = k ( ∏ i ∈ A sin ⁡ θ i ∏ i ∉ A cos ⁡ θ i ) {\displaystyle \sin \left(\sum _{i=1}^{\infty }\theta _{i}\right)=\sum _{{\text{odd}}\ k\geq 1}(-1)^{(k-1)/2}\sum _{\begin{smallmatrix}A\subseteq \{\,1,2,3,\dots \,\}\\\left|A\right|=k\end{smallmatrix}}\left(\prod _{i\in A}\sin \theta _{i}\prod _{i\not \in A}\cos \theta _{i}\right)} cos ⁡ ( ∑ i = 1 ∞ θ i ) = ∑ even   k ≥ 0   ( − 1 ) k / 2     ∑ A ⊆ { 1 , 2 , 3 , … } | A | = k ( ∏ i ∈ A sin ⁡ θ i ∏ i ∉ A cos ⁡ θ i ) {\displaystyle \cos \left(\sum _{i=1}^{\infty }\theta _{i}\right)=\sum _{{\text{even}}\ k\geq 0}~(-1)^{k/2}~~\sum _{\begin{smallmatrix}A\subseteq \{\,1,2,3,\dots \,\}\\\left|A\right|=k\end{smallmatrix}}\left(\prod _{i\in A}\sin \theta _{i}\prod _{i\not \in A}\cos \theta _{i}\right)} いずれの場合にも、「有限個の角の正弦関数と残りの角の余弦関数の積」の和となる。無限の和に見えるが、j 以上のすべての i で θi=0 が成り立つ場合、j 以上の k は計算する必要がなく有限項の計算となる。 ek (k ∈ {0, ..., n}) を k次の基本対称式とする。 x i = tan ⁡ θ i {\displaystyle x_{i}=\tan \theta _{i}\,} のとき i ∈ {0, ..., n} に対して以下のようになる。 e 0 = 1 e 1 = ∑ 1 ≤ i ≤ n x i = ∑ 1 ≤ i ≤ n tan ⁡ θ i e 2 = ∑ 1 ≤ i < j ≤ n x i x j = ∑ 1 ≤ i < j ≤ n tan ⁡ θ i tan ⁡ θ j e 3 = ∑ 1 ≤ i < j < k ≤ n x i x j x k = ∑ 1 ≤ i < j < k ≤ n tan ⁡ θ i tan ⁡ θ j tan ⁡ θ k     ⋮     ⋮ {\displaystyle {\begin{aligned}e_{0}&=1\\[6pt]e_{1}&=\sum _{1\leq i\leq n}x_{i}&&=\sum _{1\leq i\leq n}\tan \theta _{i}\\[6pt]e_{2}&=\sum _{1\leq i<j\leq n}x_{i}x_{j}&&=\sum _{1\leq i<j\leq n}\tan \theta _{i}\tan \theta _{j}\\[6pt]e_{3}&=\sum _{1\leq i<j<k\leq n}x_{i}x_{j}x_{k}&&=\sum _{1\leq i<j<k\leq n}\tan \theta _{i}\tan \theta _{j}\tan \theta _{k}\\&{}\ \ \vdots &&{}\ \ \vdots \end{aligned}}} このとき正接関数の和は以下の式で表される。 tan ⁡ ( θ 1 + ⋯ + θ n ) = e 1 − e 3 + e 5 − ⋯ e 0 − e 2 + e 4 − ⋯ , {\displaystyle \tan(\theta _{1}+\cdots +\theta _{n})={\frac {e_{1}-e_{3}+e_{5}-\cdots }{e_{0}-e_{2}+e_{4}-\cdots }},\!} この e は、en まで使用する。 例 tan ⁡ ( θ 1 + θ 2 ) = e 1 e 0 − e 2 = x 1 + x 2 1   −   x 1 x 2 = tan ⁡ θ 1 + tan ⁡ θ 2 1   −   tan ⁡ θ 1 tan ⁡ θ 2 , tan ⁡ ( θ 1 + θ 2 + θ 3 ) = e 1 − e 3 e 0 − e 2 = ( x 1 + x 2 + x 3 )   −   ( x 1 x 2 x 3 ) 1   −   ( x 1 x 2 + x 1 x 3 + x 2 x 3 ) , tan ⁡ ( θ 1 + θ 2 + θ 3 + θ 4 ) = e 1 − e 3 e 0 − e 2 + e 4 = ( x 1 + x 2 + x 3 + x 4 )   −   ( x 1 x 2 x 3 + x 1 x 2 x 4 + x 1 x 3 x 4 + x 2 x 3 x 4 ) 1   −   ( x 1 x 2 + x 1 x 3 + x 1 x 4 + x 2 x 3 + x 2 x 4 + x 3 x 4 )   +   ( x 1 x 2 x 3 x 4 ) , {\displaystyle {\begin{aligned}\tan(\theta _{1}+\theta _{2})&={\frac {e_{1}}{e_{0}-e_{2}}}={\frac {x_{1}+x_{2}}{1\ -\ x_{1}x_{2}}}={\frac {\tan \theta _{1}+\tan \theta _{2}}{1\ -\ \tan \theta _{1}\tan \theta _{2}}},\\\\\tan(\theta _{1}+\theta _{2}+\theta _{3})&={\frac {e_{1}-e_{3}}{e_{0}-e_{2}}}={\frac {(x_{1}+x_{2}+x_{3})\ -\ (x_{1}x_{2}x_{3})}{1\ -\ (x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3})}},\\\\\tan(\theta _{1}+\theta _{2}+\theta _{3}+\theta _{4})&={\frac {e_{1}-e_{3}}{e_{0}-e_{2}+e_{4}}}\\\\&={\frac {(x_{1}+x_{2}+x_{3}+x_{4})\ -\ (x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4})}{1\ -\ (x_{1}x_{2}+x_{1}x_{3}+x_{1}x_{4}+x_{2}x_{3}+x_{2}x_{4}+x_{3}x_{4})\ +\ (x_{1}x_{2}x_{3}x_{4})}},\end{aligned}}} 数学的帰納法を用いて証明が可能である。 ek は前節同様正接関数の基本対称式とする。 sec ⁡ ( θ 1 + ⋯ + θ n ) = sec ⁡ θ 1 ⋯ sec ⁡ θ n e 0 − e 2 + e 4 − ⋯ csc ⁡ ( θ 1 + ⋯ + θ n ) = sec ⁡ θ 1 ⋯ sec ⁡ θ n e 1 − e 3 + e 5 − ⋯ {\displaystyle {\begin{aligned}\sec(\theta _{1}+\cdots +\theta _{n})&={\frac {\sec \theta _{1}\cdots \sec \theta _{n}}{e_{0}-e_{2}+e_{4}-\cdots }}\\[8pt]\csc(\theta _{1}+\cdots +\theta _{n})&={\frac {\sec \theta _{1}\cdots \sec \theta _{n}}{e_{1}-e_{3}+e_{5}-\cdots }}\end{aligned}}} 例 sec ⁡ ( α + β + γ ) = sec ⁡ α sec ⁡ β sec ⁡ γ 1 − tan ⁡ α tan ⁡ β − tan ⁡ α tan ⁡ γ − tan ⁡ β tan ⁡ γ csc ⁡ ( α + β + γ ) = sec ⁡ α sec ⁡ β sec ⁡ γ tan ⁡ α + tan ⁡ β + tan ⁡ γ − tan ⁡ α tan ⁡ β tan ⁡ γ {\displaystyle {\begin{aligned}\sec(\alpha +\beta +\gamma )&={\frac {\sec \alpha \sec \beta \sec \gamma }{1-\tan \alpha \tan \beta -\tan \alpha \tan \gamma -\tan \beta \tan \gamma }}\\[8pt]\csc(\alpha +\beta +\gamma )&={\frac {\sec \alpha \sec \beta \sec \gamma }{\tan \alpha +\tan \beta +\tan \gamma -\tan \alpha \tan \beta \tan \gamma }}\end{aligned}}} 以下の式は加法定理などから容易に導くことができる。 正弦関数と余弦関数の三倍角の公式は、元の関数の三次方程式で表すことができる。従って、三次方程式の解を求めることでそれらの三角関数の値を得ることができる。 幾何学的には、三倍角の公式を経由し三角関数の値を求めることは角の三等分問題に相当する。この問題は、定規とコンパスを用いた解法が特別な角を除いて存在しないことが知られている。 方程式 x3 − 3x + d/4 = 0（正弦関数ならば x = sinθ, d = sin(3θ) とする）の判別式は正なのでこの方程式は3つの実数解を持つ。 加法定理から、正弦関数および余弦関数の以下の倍角公式が得られる。これらの式は16世紀のフランスの数学者フランソワ・ビエトによって示された。 sin ⁡ ( n θ ) = ∑ k = 0 n ( n k ) cos k ⁡ θ sin n − k ⁡ θ sin ⁡ ( 1 2 ( n − k ) π ) , cos ⁡ ( n θ ) = ∑ k = 0 n ( n k ) cos k ⁡ θ sin n − k ⁡ θ cos ⁡ ( 1 2 ( n − k ) π ) {\displaystyle {\begin{aligned}\sin(n\theta )&=\sum _{k=0}^{n}{\binom {n}{k}}\cos ^{k}\theta \,\sin ^{n-k}\theta \,\sin \left({\frac {1}{2}}(n-k)\pi \right),\\\cos(n\theta )&=\sum _{k=0}^{n}{\binom {n}{k}}\cos ^{k}\theta \,\sin ^{n-k}\theta \,\cos \left({\frac {1}{2}}(n-k)\pi \right)\end{aligned}}} ここで (n k) は二項係数である。上記の和の最初の数項を明示すれば、以下の通りである。 sin ⁡ ( n θ ) = ( n 1 ) cos n − 1 ⁡ θ sin ⁡ θ − ( n 3 ) cos n − 3 ⁡ θ sin 3 ⁡ θ + ⋯ , cos ⁡ ( n θ ) = ( n 0 ) cos n ⁡ θ − ( n 2 ) cos n − 2 ⁡ θ sin 2 ⁡ θ + ⋯ . {\displaystyle {\begin{aligned}\sin(n\theta )&={\binom {n}{1}}\cos ^{n-1}\theta \sin \theta -{\binom {n}{3}}\cos ^{n-3}\theta \sin ^{3}\theta +\cdots ,\\\cos(n\theta )&={\binom {n}{0}}\cos ^{n}\theta -{\binom {n}{2}}\cos ^{n-2}\theta \sin ^{2}\theta +\cdots .\end{aligned}}} ビエトの公式を利用し、正接関数と余接関数の倍角公式を漸化式として与えることができる。 tan ⁡ ( ( n + 1 ) θ ) = tan ⁡ ( n θ ) + tan ⁡ θ 1 − tan ⁡ ( n θ ) tan ⁡ θ , cot ⁡ ( ( n + 1 ) θ ) = cot ⁡ ( n θ ) cot ⁡ θ − 1 cot ⁡ ( n θ ) + cot ⁡ θ . {\displaystyle {\begin{aligned}\tan {((n+1)\theta )}&={\frac {\tan(n\theta )+\tan \theta }{1-\tan(n\theta )\tan \theta }},\\\cot {((n+1)\theta )}&={\frac {\cot(n\theta )\cot \theta -1}{\cot {(n\theta )}+\cot \theta }}.\end{aligned}}} またド・モアブルの定理、あるいはオイラーの公式を利用し、以下のように表すことができる。 cos ⁡ ( n θ ) = 1 2 { ( cos ⁡ θ + i sin ⁡ θ ) n + ( cos ⁡ θ − i sin ⁡ θ ) n } , sin ⁡ ( n θ ) = − i 2 { ( cos ⁡ θ + i sin ⁡ θ ) n − ( cos ⁡ θ − i sin ⁡ θ ) n } , tan ⁡ ( n θ ) = − i ( 1 + i tan ⁡ θ ) n − ( 1 − i tan ⁡ θ ) n ( 1 + i tan ⁡ θ ) n + ( 1 − i tan ⁡ θ ) n {\displaystyle {\begin{aligned}\cos(n\theta )&={\frac {1}{2}}\left\{(\cos \theta +i\sin \theta )^{n}+(\cos \theta -i\sin \theta )^{n}\right\},\\\sin(n\theta )&=-{\frac {i}{2}}\left\{(\cos \theta +i\sin \theta )^{n}-(\cos \theta -i\sin \theta )^{n}\right\},\\\tan(n\theta )&=-i{\frac {(1+i\tan \theta )^{n}-(1-i\tan \theta )^{n}}{(1+i\tan \theta )^{n}+(1-i\tan \theta )^{n}}}\end{aligned}}} パフヌティ・チェビシェフは、n 倍角の正弦関数と余弦関数の値を、(n − 1) 倍角と (n − 2) 倍角の値を用いて表す方法を発見している。 cos(nx) は、以下のように表される。 cos ⁡ ( n x ) = 2 ⋅ cos ⁡ x ⋅ cos ⁡ ( ( n − 1 ) x ) − cos ⁡ ( ( n − 2 ) x ) {\displaystyle \cos(nx)=2\cdot \cos x\cdot \cos((n-1)x)-\cos((n-2)x)\,} 同様に sin(nx) は以下のように表される。 sin ⁡ ( n x ) = 2 ⋅ cos ⁡ x ⋅ sin ⁡ ( ( n − 1 ) x ) − sin ⁡ ( ( n − 2 ) x ) {\displaystyle \sin(nx)=2\cdot \cos x\cdot \sin((n-1)x)-\sin((n-2)x)\,} tan(nx) は以下のようになる。 tan ⁡ ( n x ) = H + K tan ⁡ x K − H tan ⁡ x {\displaystyle \tan(nx)={\frac {H+K\tan x}{K-H\tan x}}\,} ここで、H/K = tan((n − 1)x) である。 α, β の算術平均の正接について以下が成り立つ。 tan ⁡ ( α + β 2 ) = sin ⁡ α + sin ⁡ β cos ⁡ α + cos ⁡ β = − cos ⁡ α − cos ⁡ β sin ⁡ α − sin ⁡ β {\displaystyle \tan \left({\frac {\alpha +\beta }{2}}\right)={\frac {\sin \alpha +\sin \beta }{\cos \alpha +\cos \beta }}=-\,{\frac {\cos \alpha -\cos \beta }{\sin \alpha -\sin \beta }}} α, β のいずれかが 0 である場合、これは正接関数の半角公式に一致する。 以下の式が成り立つ。 cos ⁡ ( θ 2 ) ⋅ cos ⁡ ( θ 4 ) ⋅ cos ⁡ ( θ 8 ) ⋯ = ∏ n = 1 ∞ cos ⁡ ( θ 2 n ) = sin ⁡ ( θ ) θ = sinc θ . {\displaystyle \cos \left({\theta \over 2}\right)\cdot \cos \left({\theta \over 4}\right)\cdot \cos \left({\theta \over 8}\right)\cdots =\prod _{n=1}^{\infty }\cos \left({\theta \over 2^{n}}\right)={\sin(\theta ) \over \theta }=\operatorname {sinc} \,\theta .} 最後のsincは、正弦関数を角の大きさで割ったものである。 sinc ⁡ x := sin ⁡ x x . {\displaystyle \operatorname {sinc} x:={\frac {\sin x}{x}}.} 余弦関数の倍角公式を変形することにより、以下の式が得られる。式の次数を下げるためによく用いられる。 ド・モアブルの定理・オイラーの公式・二項定理を用いると、以下のように一般化できる。 加法定理に（θ±φ）を代入することにより、積和公式を導くことができる。これを変形すると和積公式になる。 シャルル・エルミートは、複素関数に関する以下の式を示した。 複素数 a1, ..., an は、どの2つをとってもその差がπの整数倍にならないものとする。 A n , k = ∏ 1 ≤ j ≤ n j ≠ k cot ⁡ ( a k − a j ) {\displaystyle A_{n,k}=\prod _{\begin{smallmatrix}1\leq j\leq n\\j\neq k\end{smallmatrix}}\cot(a_{k}-a_{j})} と置く（A1,1 のときこの値は1とする）と、以下の式が成り立つ。 cot ⁡ ( z − a 1 ) ⋯ cot ⁡ ( z − a n ) = cos ⁡ n π 2 + ∑ k = 1 n A n , k cot ⁡ ( z − a k ) . {\displaystyle \cot(z-a_{1})\cdots \cot(z-a_{n})=\cos {\frac {n\pi }{2}}+\sum _{k=1}^{n}A_{n,k}\cot(z-a_{k}).} 自明でない単純な例として、n = 2 のときの例をあげる。 cot ⁡ ( z − a 1 ) cot ⁡ ( z − a 2 ) = − 1 + cot ⁡ ( a 1 − a 2 ) cot ⁡ ( z − a 1 ) + cot ⁡ ( a 2 − a 1 ) cot ⁡ ( z − a 2 ) {\displaystyle \cot(z-a_{1})\cot(z-a_{2})=-1+\cot(a_{1}-a_{2})\cot(z-a_{1})+\cot(a_{2}-a_{1})\cot(z-a_{2})} 正弦関数と余弦関数の和は、正弦関数で表すことができる。 a sin ⁡ x + b cos ⁡ x = a 2 + b 2 ⋅ sin ⁡ ( x + φ ) {\displaystyle a\sin x+b\cos x={\sqrt {a^{2}+b^{2}}}\cdot \sin(x+\varphi )\,} ここで、φの値は以下の式で与えられる。 φ = { arcsin ⁡ ( b a 2 + b 2 ) if  a ≥ 0 , π − arcsin ⁡ ( b a 2 + b 2 ) if  a < 0 , {\displaystyle \varphi ={\begin{cases}\arcsin \left({\frac {b}{\sqrt {a^{2}+b^{2}}}}\right)&{\text{if }}a\geq 0,\\\pi -\arcsin \left({\frac {b}{\sqrt {a^{2}+b^{2}}}}\right)&{\text{if }}a<0,\end{cases}}} または φ = arctan ⁡ ( b a ) + { 0 if  a ≥ 0 , π if  a < 0 , {\displaystyle \varphi =\arctan \left({\frac {b}{a}}\right)+{\begin{cases}0&{\text{if }}a\geq 0,\\\pi &{\text{if }}a<0,\end{cases}}} 位相の違う正弦関数を以下のように合成することができる。 a sin ⁡ x + b sin ⁡ ( x + α ) = c sin ⁡ ( x + β ) {\displaystyle a\sin x+b\sin(x+\alpha )=c\sin(x+\beta )\,} ここで c と β の値は以下の式で与えられる。 c = a 2 + b 2 + 2 a b cos ⁡ α , {\displaystyle c={\sqrt {a^{2}+b^{2}+2ab\cos \alpha }},\,} β = arctan ⁡ ( b sin ⁡ α a + b cos ⁡ α ) + { 0 if  a + b cos ⁡ α ≥ 0 , π if  a + b cos ⁡ α < 0. {\displaystyle \beta =\arctan \left({\frac {b\sin \alpha }{a+b\cos \alpha }}\right)+{\begin{cases}0&{\text{if }}a+b\cos \alpha \geq 0,\\\pi &{\text{if }}a+b\cos \alpha <0.\end{cases}}} 正弦関数と余弦関数の和に関する以下のような公式がある。 sin ⁡ φ + sin ⁡ ( φ + α ) + sin ⁡ ( φ + 2 α ) + ⋯ ⋯ + sin ⁡ ( φ + n α ) = sin ⁡ ( ( n + 1 ) α 2 ) ⋅ sin ⁡ ( φ + n α 2 ) sin ⁡ α 2 . cos ⁡ φ + cos ⁡ ( φ + α ) + cos ⁡ ( φ + 2 α ) + ⋯ ⋯ + cos ⁡ ( φ + n α ) = sin ⁡ ( ( n + 1 ) α 2 ) ⋅ cos ⁡ ( φ + n α 2 ) sin ⁡ α 2 . {\displaystyle {\begin{aligned}&\sin {\varphi }+\sin {(\varphi +\alpha )}+\sin {(\varphi +2\alpha )}+\cdots {}\\[8pt]&{}\qquad \qquad \cdots +\sin {(\varphi +n\alpha )}={\frac {\sin {\left({\frac {(n+1)\alpha }{2}}\right)}\cdot \sin {(\varphi +{\frac {n\alpha }{2}})}}{\sin {\frac {\alpha }{2}}}}.\\[10pt]&\cos {\varphi }+\cos {(\varphi +\alpha )}+\cos {(\varphi +2\alpha )}+\cdots {}\\[8pt]&{}\qquad \qquad \cdots +\cos {(\varphi +n\alpha )}={\frac {\sin {\left({\frac {(n+1)\alpha }{2}}\right)}\cdot \cos {(\varphi +{\frac {n\alpha }{2}})}}{\sin {\frac {\alpha }{2}}}}.\end{aligned}}} 正接関数と正割関数に関して以下の式が成り立つ。 tan ⁡ x + sec ⁡ x = tan ⁡ ( x 2 + π 4 ) = exp ⁡ ( gd − 1 ⁡ x ) {\displaystyle \tan x+\sec x=\tan \left({x \over 2}+{\pi \over 4}\right)=\exp \left(\operatorname {gd} ^{-1}x\right)} ただし、 gd − 1 ⁡ x {\displaystyle \operatorname {gd} ^{-1}x} はグーデルマン関数の逆関数である。 ƒ(x) と g(x) を以下のようなメビウス変換関数として定義する。 f ( x ) = ( cos ⁡ α ) x − sin ⁡ α ( sin ⁡ α ) x + cos ⁡ α , {\displaystyle f(x)={\frac {(\cos \alpha )x-\sin \alpha }{(\sin \alpha )x+\cos \alpha }},} g ( x ) = ( cos ⁡ β ) x − sin ⁡ β ( sin ⁡ β ) x + cos ⁡ β , {\displaystyle g(x)={\frac {(\cos \beta )x-\sin \beta }{(\sin \beta )x+\cos \beta }},} このとき以下が成り立つ。 f ( g ( x ) ) = g ( f ( x ) ) = ( cos ⁡ ( α + β ) ) x − sin ⁡ ( α + β ) ( sin ⁡ ( α + β ) ) x + cos ⁡ ( α + β ) . {\displaystyle f(g(x))=g(f(x))={\frac {(\cos(\alpha +\beta ))x-\sin(\alpha +\beta )}{(\sin(\alpha +\beta ))x+\cos(\alpha +\beta )}}.} 以下のように書くこともできる。 f α ∘ f β = f α + β . {\displaystyle f_{\alpha }\circ f_{\beta }=f_{\alpha +\beta }.\,} arcsin ⁡ x + arccos ⁡ x = π 2 {\displaystyle \arcsin x+\arccos x={\frac {\pi }{2}}} arctan ⁡ x + arccot ⁡ x = π 2 . {\displaystyle \arctan x+\operatorname {arccot} x={\frac {\pi }{2}}.} arctan ⁡ x + arctan ⁡ 1 x = { π 2 , if  x > 0 − π 2 , if  x < 0 {\displaystyle \arctan x+\arctan {\frac {1}{x}}=\left\{{\begin{matrix}{\frac {\pi }{2}},&{\mbox{if }}x>0\\-{\frac {\pi }{2}},&{\mbox{if }}x<0\end{matrix}}\right.} 以下において、 i {\displaystyle i} は虚数単位とする。 e i x = cos ⁡ ( x ) + i sin ⁡ ( x ) {\displaystyle e^{ix}=\cos(x)+i\sin(x)\,} （オイラーの公式） e − i x = cos ⁡ ( − x ) + i sin ⁡ ( − x ) = cos ⁡ ( x ) − i sin ⁡ ( x ) {\displaystyle e^{-ix}=\cos(-x)+i\sin(-x)=\cos(x)-i\sin(x)} e i π = − 1 {\displaystyle e^{i\pi }=-1} （オイラーの等式） cos ⁡ ( x ) = e i x + e − i x 2 {\displaystyle \cos(x)={\frac {e^{ix}+e^{-ix}}{2}}\;} sin ⁡ ( x ) = e i x − e − i x 2 i {\displaystyle \sin(x)={\frac {e^{ix}-e^{-ix}}{2i}}\;} tan ⁡ ( x ) = e i x − e − i x i ( e i x + e − i x ) = sin ⁡ ( x ) cos ⁡ ( x ) {\displaystyle \tan(x)={\frac {e^{ix}-e^{-ix}}{i({e^{ix}+e^{-ix}})}}\;={\frac {\sin(x)}{\cos(x)}}} いくつかの関数は、無限乗積の形で表すことができる。 ∏ n = 1 ∞ {\displaystyle \prod _{n=1}^{\infty }} は総乗を示す。 α, β, γ が三角形の3つの角の大きさのとき、即ち α + β + γ = π を満たす場合、以下の式が成り立つ。 tan ⁡ α + tan ⁡ β + tan ⁡ γ = tan ⁡ α ⋅ tan ⁡ β ⋅ tan ⁡ γ {\displaystyle \tan \alpha +\tan \beta +\tan \gamma =\tan \alpha \cdot \tan \beta \cdot \tan \gamma \,} cot ⁡ β ⋅ cot ⁡ γ + cot ⁡ γ ⋅ cot ⁡ α + cot ⁡ α ⋅ cot ⁡ β = 1 {\displaystyle \cot \beta \cdot \cot \gamma +\cot \gamma \cdot \cot \alpha +\cot \alpha \cdot \cot \beta =1} cot ⁡ α 2 + cot ⁡ β 2 + cot ⁡ γ 2 = cot ⁡ α 2 ⋅ cot ⁡ β 2 ⋅ cot ⁡ γ 2 {\displaystyle \cot {\frac {\alpha }{2}}+\cot {\frac {\beta }{2}}+\cot {\frac {\gamma }{2}}=\cot {\frac {\alpha }{2}}\cdot \cot {\frac {\beta }{2}}\cdot \cot {\frac {\gamma }{2}}} tan ⁡ β 2 tan ⁡ γ 2 + tan ⁡ γ 2 tan ⁡ α 2 + tan ⁡ α 2 tan ⁡ β 2 = 1 {\displaystyle \tan {\frac {\beta }{2}}\tan {\frac {\gamma }{2}}+\tan {\frac {\gamma }{2}}\tan {\frac {\alpha }{2}}+\tan {\frac {\alpha }{2}}\tan {\frac {\beta }{2}}=1} sin ⁡ α + sin ⁡ β + sin ⁡ γ = 4 cos ⁡ α 2 cos ⁡ β 2 cos ⁡ γ 2 {\displaystyle \sin \alpha +\sin \beta +\sin \gamma =4\cos {\frac {\alpha }{2}}\cos {\frac {\beta }{2}}\cos {\frac {\gamma }{2}}} − sin ⁡ α + sin ⁡ β + sin ⁡ γ = 4 cos ⁡ α 2 sin ⁡ β 2 sin ⁡ γ 2 {\displaystyle -\sin \alpha +\sin \beta +\sin \gamma =4\cos {\frac {\alpha }{2}}\sin {\frac {\beta }{2}}\sin {\frac {\gamma }{2}}} cos ⁡ α + cos ⁡ β + cos ⁡ γ = 4 sin ⁡ α 2 sin ⁡ β 2 sin ⁡ γ 2 + 1 {\displaystyle \cos \alpha +\cos \beta +\cos \gamma =4\sin {\frac {\alpha }{2}}\sin {\frac {\beta }{2}}\sin {\frac {\gamma }{2}}+1} − cos ⁡ α + cos ⁡ β + cos ⁡ γ = 4 sin ⁡ α 2 cos ⁡ β 2 cos ⁡ γ 2 − 1 {\displaystyle -\cos \alpha +\cos \beta +\cos \gamma =4\sin {\frac {\alpha }{2}}\cos {\frac {\beta }{2}}\cos {\frac {\gamma }{2}}-1} sin ⁡ ( 2 α ) + sin ⁡ ( 2 β ) + sin ⁡ ( 2 γ ) = 4 sin ⁡ α sin ⁡ β sin ⁡ γ {\displaystyle \sin(2\alpha )+\sin(2\beta )+\sin(2\gamma )=4\sin \alpha \sin \beta \sin \gamma \,} − sin ⁡ ( 2 α ) + sin ⁡ ( 2 β ) + sin ⁡ ( 2 γ ) = 4 sin ⁡ α cos ⁡ β cos ⁡ γ {\displaystyle -\sin(2\alpha )+\sin(2\beta )+\sin(2\gamma )=4\sin \alpha \cos \beta \cos \gamma \,} cos ⁡ ( 2 α ) + cos ⁡ ( 2 β ) + cos ⁡ ( 2 γ ) = − 4 cos ⁡ α cos ⁡ β cos ⁡ γ − 1 {\displaystyle \cos(2\alpha )+\cos(2\beta )+\cos(2\gamma )=-4\cos \alpha \cos \beta \cos \gamma -1\,} − cos ⁡ ( 2 α ) + cos ⁡ ( 2 β ) + cos ⁡ ( 2 γ ) = − 4 cos ⁡ α sin ⁡ β sin ⁡ γ + 1 {\displaystyle -\cos(2\alpha )+\cos(2\beta )+\cos(2\gamma )=-4\cos \alpha \sin \beta \sin \gamma +1\,} sin 2 ⁡ α + sin 2 ⁡ β + sin 2 ⁡ γ = 2 cos ⁡ α cos ⁡ β cos ⁡ γ + 2 {\displaystyle \sin ^{2}\alpha +\sin ^{2}\beta +\sin ^{2}\gamma =2\cos \alpha \cos \beta \cos \gamma +2\,} − sin 2 ⁡ α + sin 2 ⁡ β + sin 2 ⁡ γ = 2 cos ⁡ α sin ⁡ β sin ⁡ γ {\displaystyle -\sin ^{2}\alpha +\sin ^{2}\beta +\sin ^{2}\gamma =2\cos \alpha \sin \beta \sin \gamma \,} cos 2 ⁡ α + cos 2 ⁡ β + cos 2 ⁡ γ = − 2 cos ⁡ α cos ⁡ β cos ⁡ γ + 1 {\displaystyle \cos ^{2}\alpha +\cos ^{2}\beta +\cos ^{2}\gamma =-2\cos \alpha \cos \beta \cos \gamma +1\,} − cos 2 ⁡ α + cos 2 ⁡ β + cos 2 ⁡ γ = − 2 cos ⁡ α sin ⁡ β sin ⁡ γ + 1 {\displaystyle -\cos ^{2}\alpha +\cos ^{2}\beta +\cos ^{2}\gamma =-2\cos \alpha \sin \beta \sin \gamma +1\,} sin 2 ⁡ ( 2 α ) + sin 2 ⁡ ( 2 β ) + sin 2 ⁡ ( 2 γ ) = − 2 cos ⁡ ( 2 α ) cos ⁡ ( 2 β ) cos ⁡ ( 2 γ ) + 2 {\displaystyle \sin ^{2}(2\alpha )+\sin ^{2}(2\beta )+\sin ^{2}(2\gamma )=-2\cos(2\alpha )\,\cos(2\beta )\,\cos(2\gamma )+2} cos 2 ⁡ ( 2 α ) + cos 2 ⁡ ( 2 β ) + cos 2 ⁡ ( 2 γ ) = 2 cos ⁡ ( 2 α ) cos ⁡ ( 2 β ) cos ⁡ ( 2 γ ) + 1 {\displaystyle \cos ^{2}(2\alpha )+\cos ^{2}(2\beta )+\cos ^{2}(2\gamma )=2\cos(2\alpha )\,\cos(2\beta )\,\cos(2\gamma )+1} 以下の式が成り立つ。 cos ⁡ 20 ∘ ⋅ cos ⁡ 40 ∘ ⋅ cos ⁡ 80 ∘ = 1 8 {\displaystyle \cos 20^{\circ }\cdot \cos 40^{\circ }\cdot \cos 80^{\circ }={\frac {1}{8}}} （モリーの法則） この式は以下の式の特殊な場合である。 ∏ j = 0 k − 1 cos ⁡ ( 2 j x ) = sin ⁡ ( 2 k x ) 2 k sin ⁡ ( x ) . {\displaystyle \prod _{j=0}^{k-1}\cos \left(2^{j}x\right)={\frac {\sin \left(2^{k}x\right)}{2^{k}\sin(x)}}.} 以下の式も同じ値を持つ。 cos ⁡ π 7 cos ⁡ 2 π 7 cos ⁡ 3 π 7 = 1 8 , {\displaystyle \cos {\frac {\pi }{7}}\cos {\frac {2\pi }{7}}\cos {\frac {3\pi }{7}}={\frac {1}{8}},} 正弦関数では以下の式が成り立つ。 sin ⁡ 10 ∘ ⋅ sin ⁡ 50 ∘ ⋅ sin ⁡ 70 ∘ = 1 8 . {\displaystyle \sin 10^{\circ }\cdot \sin 50^{\circ }\cdot \sin 70^{\circ }={\frac {1}{8}}.} sin ⁡ 15 ∘ ⋅ sin ⁡ 75 ∘ = 1 4 . {\displaystyle \sin 15^{\circ }\cdot \sin 75^{\circ }={\frac {1}{4}}.} sin ⁡ 20 ∘ ⋅ sin ⁡ 40 ∘ ⋅ sin ⁡ 80 ∘ = 3 8 . {\displaystyle \sin 20^{\circ }\cdot \sin 40^{\circ }\cdot \sin 80^{\circ }={\frac {\sqrt {3}}{8}}.} 余弦関数では以下の式が成り立つ。 cos ⁡ 10 ∘ ⋅ cos ⁡ 50 ∘ ⋅ cos ⁡ 70 ∘ = 3 8 . {\displaystyle \cos 10^{\circ }\cdot \cos 50^{\circ }\cdot \cos 70^{\circ }={\frac {\sqrt {3}}{8}}.} cos ⁡ 15 ∘ ⋅ cos ⁡ 75 ∘ = 1 4 . {\displaystyle \cos 15^{\circ }\cdot \cos 75^{\circ }={\frac {1}{4}}.} 上の式を利用して以下の式が得られる。 tan ⁡ 50 ∘ + tan ⁡ 60 ∘ + tan ⁡ 70 ∘ = tan ⁡ 50 ∘ ⋅ tan ⁡ 60 ∘ ⋅ tan ⁡ 70 ∘ = tan ⁡ 80 ∘ . {\displaystyle \tan 50^{\circ }+\tan 60^{\circ }+\tan 70^{\circ }=\tan 50^{\circ }\cdot \tan 60^{\circ }\cdot \tan 70^{\circ }=\tan 80^{\circ }.} 以下の式は単純である。 cos ⁡ 24 ∘ + cos ⁡ 48 ∘ + cos ⁡ 96 ∘ + cos ⁡ 168 ∘ = 1 2 . {\displaystyle \cos 24^{\circ }+\cos 48^{\circ }+\cos 96^{\circ }+\cos 168^{\circ }={\frac {1}{2}}.} 上の式を一般化する場合分母に21が出てくるため、単位として度よりもラジアンを使用した方がよい。 cos ⁡ ( 2 π 21 ) + cos ⁡ ( 2 ⋅ 2 π 21 ) + cos ⁡ ( 4 ⋅ 2 π 21 ) + cos ⁡ ( 5 ⋅ 2 π 21 ) + cos ⁡ ( 8 ⋅ 2 π 21 ) + cos ⁡ ( 10 ⋅ 2 π 21 ) = 1 2 . {\displaystyle {\begin{aligned}&\cos \left({\frac {2\pi }{21}}\right)+\cos \left(2\cdot {\frac {2\pi }{21}}\right)+\cos \left(4\cdot {\frac {2\pi }{21}}\right)\\[10pt]&{}\qquad {}+\cos \left(5\cdot {\frac {2\pi }{21}}\right)+\cos \left(8\cdot {\frac {2\pi }{21}}\right)+\cos \left(10\cdot {\frac {2\pi }{21}}\right)={\frac {1}{2}}.\end{aligned}}} 係数に登場する 1, 2, 4, 5, 8, 10 は 21/2 より小さく 21 と互いに素な全ての自然数である。この式は円分多項式に関係している。 以下の関係から導かれる式もある。 ∏ k = 1 n − 1 sin ⁡ ( k π n ) = n 2 n − 1 {\displaystyle \prod _{k=1}^{n-1}\sin \left({\frac {k\pi }{n}}\right)={\frac {n}{2^{n-1}}}} ∏ k = 1 n − 1 cos ⁡ ( k π n ) = sin ⁡ ( π n / 2 ) 2 n − 1 {\displaystyle \prod _{k=1}^{n-1}\cos \left({\frac {k\pi }{n}}\right)={\frac {\sin \left(\pi n/2\right)}{2^{n-1}}}} これらを組み合わせると、以下の式になる。 ∏ k = 1 n − 1 tan ⁡ ( k π n ) = n sin ⁡ ( π n / 2 ) {\displaystyle \prod _{k=1}^{n-1}\tan \left({\frac {k\pi }{n}}\right)={\frac {n}{\sin \left(\pi n/2\right)}}} n を奇数に限定すると、以下の式が得られる。 ∏ k = 1 m tan ⁡ ( k π 2 m + 1 ) = 2 m + 1 {\displaystyle \prod _{k=1}^{m}\tan \left({\frac {k\pi }{2m+1}}\right)={\sqrt {2m+1}}} 円周率の計算において、以下のマチンの公式はよく使用される。 π 4 = 4 arctan ⁡ 1 5 − arctan ⁡ 1 239 {\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}} レオンハルト・オイラーは、以下の式を示している。 π 4 = 5 arctan ⁡ 1 7 + 2 arctan ⁡ 3 79 . {\displaystyle {\frac {\pi }{4}}=5\arctan {\frac {1}{7}}+2\arctan {\frac {3}{79}}.} 正弦関数と余弦関数において、値が n / 2 {\displaystyle \scriptstyle {\sqrt {n}}/2} （ただし 0 ≤ n ≤ 4）の形になるものは、覚えやすい値である。 sin ⁡ 0 = sin ⁡ 0 ∘ = 0 / 2 = cos ⁡ 90 ∘ = cos ⁡ ( π 2 ) sin ⁡ ( π 6 ) = sin ⁡ 30 ∘ = 1 / 2 = cos ⁡ 60 ∘ = cos ⁡ ( π 3 ) sin ⁡ ( π 4 ) = sin ⁡ 45 ∘ = 2 / 2 = cos ⁡ 45 ∘ = cos ⁡ ( π 4 ) sin ⁡ ( π 3 ) = sin ⁡ 60 ∘ = 3 / 2 = cos ⁡ 30 ∘ = cos ⁡ ( π 6 ) sin ⁡ ( π 2 ) = sin ⁡ 90 ∘ = 4 / 2 = cos ⁡ 0 ∘ = cos ⁡ 0 {\displaystyle {\begin{matrix}\sin 0&=&\sin 0^{\circ }&=&{\sqrt {0}}/2&=&\cos 90^{\circ }&=&\cos \left({\frac {\pi }{2}}\right)\\\\\sin \left({\frac {\pi }{6}}\right)&=&\sin 30^{\circ }&=&{\sqrt {1}}/2&=&\cos 60^{\circ }&=&\cos \left({\frac {\pi }{3}}\right)\\\\\sin \left({\frac {\pi }{4}}\right)&=&\sin 45^{\circ }&=&{\sqrt {2}}/2&=&\cos 45^{\circ }&=&\cos \left({\frac {\pi }{4}}\right)\\\\\sin \left({\frac {\pi }{3}}\right)&=&\sin 60^{\circ }&=&{\sqrt {3}}/2&=&\cos 30^{\circ }&=&\cos \left({\frac {\pi }{6}}\right)\\\\\sin \left({\frac {\pi }{2}}\right)&=&\sin 90^{\circ }&=&{\sqrt {4}}/2&=&\cos 0^{\circ }&=&\cos 0\end{matrix}}} 一部の角に対する値は、黄金比 φ を用いて表すことができる。 cos ⁡ ( π 5 ) = cos ⁡ 36 ∘ = 5 + 1 4 = φ 2 {\displaystyle \cos \left({\frac {\pi }{5}}\right)=\cos 36^{\circ }={{\sqrt {5}}+1 \over 4}={\frac {\varphi }{2}}} sin ⁡ ( π 10 ) = sin ⁡ 18 ∘ = 5 − 1 4 = φ − 1 2 = 1 2 φ {\displaystyle \sin \left({\frac {\pi }{10}}\right)=\sin 18^{\circ }={{\sqrt {5}}-1 \over 4}={\varphi -1 \over 2}={1 \over 2\varphi }} ユークリッドは原論13巻で、正五角形と同じ長さの辺を持つ正方形の面積は、同じ円に内接する正六角形と正十角形の辺の長さを持つ2つの正方形の和に等しいことを示した。これを三角関数を用いて書くと以下のようになる。 sin 2 ⁡ 18 ∘ + sin 2 ⁡ 30 ∘ = sin 2 ⁡ 36 ∘ . {\displaystyle \sin ^{2}{18^{\circ }}+\sin ^{2}{30^{\circ }}=\sin ^{2}{36^{\circ }}.\,} 微分積分学の分野においては、角度はラジアンを使用する。 微積分において、極限に関する2つの重要な式がある。1つは lim x → 0 sin ⁡ x x = 1 , {\displaystyle \lim _{x\rightarrow 0}{\frac {\sin x}{x}}=1,} である。この式ははさみうちの原理から導くことができる。もう1つは以下の式である。 lim x → 0 1 − cos ⁡ x x = 0 , {\displaystyle \lim _{x\rightarrow 0}{\frac {1-\cos x}{x}}=0,} これらの式と加法定理などを利用して、以下の式を導くことができる。 d d x sin ⁡ x = cos ⁡ x {\displaystyle {d \over dx}\sin x=\cos x} 以下に三角関数と逆三角関数の微分を示す。 d d x sin ⁡ x = cos ⁡ x , d d x arcsin ⁡ x = 1 1 − x 2 d d x cos ⁡ x = − sin ⁡ x , d d x arccos ⁡ x = − 1 1 − x 2 d d x tan ⁡ x = sec 2 ⁡ x , d d x arctan ⁡ x = 1 1 + x 2 d d x cot ⁡ x = − csc 2 ⁡ x , d d x arccot ⁡ x = − 1 1 + x 2 d d x sec ⁡ x = tan ⁡ x sec ⁡ x , d d x arcsec ⁡ x = 1 | x | x 2 − 1 d d x csc ⁡ x = − csc ⁡ x cot ⁡ x , d d x arccsc ⁡ x = − 1 | x | x 2 − 1 {\displaystyle {\begin{aligned}{d \over dx}\sin x&=\cos x,&{d \over dx}\arcsin x&={1 \over {\sqrt {1-x^{2}}}}\\\\{d \over dx}\cos x&=-\sin x,&{d \over dx}\arccos x&={-1 \over {\sqrt {1-x^{2}}}}\\\\{d \over dx}\tan x&=\sec ^{2}x,&{d \over dx}\arctan x&={1 \over 1+x^{2}}\\\\{d \over dx}\cot x&=-\csc ^{2}x,&{d \over dx}\operatorname {arccot} x&={-1 \over 1+x^{2}}\\\\{d \over dx}\sec x&=\tan x\sec x,&{d \over dx}\operatorname {arcsec} x&={1 \over |x|{\sqrt {x^{2}-1}}}\\\\{d \over dx}\csc x&=-\csc x\cot x,&{d \over dx}\operatorname {arccsc} x&={-1 \over |x|{\sqrt {x^{2}-1}}}\end{aligned}}} 積分に関しては三角関数の原始関数の一覧を参照。 三角関数（特に正弦関数と余弦関数）の導関数と原始関数が三角関数であらわされることは、微分方程式やフーリエ解析を含む数学の多くの分野で有用である。 (Weierstrass substitution) 以下の変換は、カール・ワイエルシュトラスの名がつけられている。 t = tan ⁡ x 2 {\displaystyle t=\tan {\frac {x}{2}}} とおくと、 sin ⁡ x = 2 t 1 + t 2 , cos ⁡ x = 1 − t 2 1 + t 2 , e i x = 1 + i t 1 − i t , d x = 2 d t 1 + t 2 {\displaystyle \sin x={\frac {2t}{1+t^{2}}},\cos x={\frac {1-t^{2}}{1+t^{2}}},e^{ix}={\frac {1+it}{1-it}},\mathrm {d} x={\frac {2\,\mathrm {d} t}{1+t^{2}}}} となる。 積分の計算において、被積分関数がｘの三角関数の有理関数 R (sin x, cos x) である場合にこの変換を用いると、t についての有理関数の積分の計算に帰着することができる。 sinの3倍角の公式を加法定理で変形すると、 sin ⁡ 3 x = 3 sin ⁡ x − 4 sin 3 ⁡ x {\displaystyle \sin {3x}=3\sin {x}-4\sin ^{3}{x}} 　から、 sin ⁡ 3 x 4 = sin ⁡ x ⋅ ( 3 4 − sin 2 ⁡ x ) {\displaystyle {\frac {\sin {3x}}{4}}=\sin {x}\cdot \left({\frac {3}{4}}-\sin ^{2}{x}\right)} = sin ⁡ x ⋅ ( sin 2 ⁡ 60 ∘ − ( sin 2 ⁡ 60 ∘ + cos 2 ⁡ 60 ∘ ) ⋅ sin 2 ⁡ x ) {\displaystyle =\sin {x}\cdot \left(\sin ^{2}{60^{\circ }}-(\sin ^{2}{60^{\circ }}+\cos ^{2}{60^{\circ }})\cdot \sin ^{2}{x}\right)} = sin ⁡ x ⋅ ( sin 2 ⁡ 60 ∘ ⋅ ( 1 − sin 2 ⁡ x ) − cos 2 ⁡ 60 ∘ ⋅ sin 2 ⁡ x ) {\displaystyle =\sin {x}\cdot \left(\sin ^{2}{60^{\circ }}\cdot (1-\sin ^{2}{x})-\cos ^{2}{60^{\circ }}\cdot \sin ^{2}{x}\right)} = sin ⁡ x ⋅ ( sin 2 ⁡ 60 ∘ ⋅ cos 2 ⁡ x − cos 2 ⁡ 60 ∘ ⋅ sin 2 ⁡ x ) {\displaystyle =\sin {x}\cdot \left(\sin ^{2}{60^{\circ }}\cdot \cos ^{2}{x}-\cos ^{2}{60^{\circ }}\cdot \sin ^{2}{x}\right)} = sin ⁡ x ⋅ ( sin ⁡ 60 ∘ ⋅ cos ⁡ x + cos ⁡ 60 ∘ ⋅ sin ⁡ x ) ( sin ⁡ 60 ∘ ⋅ cos ⁡ x − cos ⁡ 60 ∘ ⋅ sin ⁡ x ) {\displaystyle =\sin {x}\cdot \left(\sin {60^{\circ }}\cdot \cos {x}+\cos {60^{\circ }}\cdot \sin {x}\right)\left(\sin {60^{\circ }}\cdot \cos {x}-\cos {60^{\circ }}\cdot \sin {x}\right)} = sin ⁡ x ⋅ sin ⁡ ( 60 ∘ + x ) ⋅ sin ⁡ ( 60 ∘ − x ) {\displaystyle =\sin {x}\cdot \sin {(60^{\circ }+x)}\cdot \sin {(60^{\circ }-x)}} が成り立つ。 x = 10 ∘ {\displaystyle x=10^{\circ }} を入力すると、 sin ⁡ 10 ∘ ⋅ sin ⁡ 50 ∘ ⋅ sin ⁡ 70 ∘ = sin ⁡ 30 ∘ 4 = 1 8 {\displaystyle \sin {10^{\circ }}\cdot \sin {50^{\circ }}\cdot \sin {70^{\circ }}={\frac {\sin {30^{\circ }}}{4}}={\frac {1}{8}}} 　となる。 x = 15 ∘ {\displaystyle x=15^{\circ }} を入力すると、 sin ⁡ 15 ∘ ⋅ sin ⁡ 45 ∘ ⋅ sin ⁡ 75 ∘ = sin ⁡ 45 ∘ 4 = 2 8 {\displaystyle \sin {15^{\circ }}\cdot \sin {45^{\circ }}\cdot \sin {75^{\circ }}={\frac {\sin {45^{\circ }}}{4}}={\frac {\sqrt {2}}{8}}} 　から、 sin ⁡ 15 ∘ ⋅ sin ⁡ 75 ∘ = 1 4 {\displaystyle \sin {15^{\circ }}\cdot \sin {75^{\circ }}={\frac {1}{4}}} 　となる。 x = 20 ∘ {\displaystyle x=20^{\circ }} を入力すると、 sin ⁡ 20 ∘ ⋅ sin ⁡ 40 ∘ ⋅ sin ⁡ 80 ∘ = sin ⁡ 60 ∘ 4 = 3 8 {\displaystyle \sin {20^{\circ }}\cdot \sin {40^{\circ }}\cdot \sin {80^{\circ }}={\frac {\sin {60^{\circ }}}{4}}={\frac {\sqrt {3}}{8}}} 　となる。 一般に、 sin ⁡ ( n θ ) = 2 n − 1 ∏ k = 0 n − 1 sin ⁡ ( k π n + θ ) {\displaystyle \sin(n\theta )=2^{n-1}\prod _{k=0}^{n-1}{\sin {\Bigl (}{\frac {k\pi }{n}}+\theta {\Bigr )}}} が成り立つ。 同様に、cosの3倍角の公式を加法定理で変形すると、 cos ⁡ 3 x 4 = cos ⁡ x ⋅ ( cos 2 ⁡ x − 3 4 ) {\displaystyle {\frac {\cos {3x}}{4}}=\cos {x}\cdot \left(\cos ^{2}{x}-{\frac {3}{4}}\right)} = cos ⁡ x ⋅ cos ⁡ ( 60 ∘ + x ) ⋅ cos ⁡ ( 60 ∘ − x ) {\displaystyle =\cos {x}\cdot \cos {(60^{\circ }+x)}\cdot \cos {(60^{\circ }-x)}} が成り立つ。 x = 10 ∘ {\displaystyle x=10^{\circ }} を入力すると、 cos ⁡ 10 ∘ ⋅ cos ⁡ 50 ∘ ⋅ cos ⁡ 70 ∘ = cos ⁡ 30 ∘ 4 = 3 8 {\displaystyle \cos {10^{\circ }}\cdot \cos {50^{\circ }}\cdot \cos {70^{\circ }}={\frac {\cos {30^{\circ }}}{4}}={\frac {\sqrt {3}}{8}}} 　となる。 x = 15 ∘ {\displaystyle x=15^{\circ }} を入力すると、 cos ⁡ 15 ∘ ⋅ cos ⁡ 45 ∘ ⋅ cos ⁡ 75 ∘ = cos ⁡ 45 ∘ 4 = 2 8 {\displaystyle \cos {15^{\circ }}\cdot \cos {45^{\circ }}\cdot \cos {75^{\circ }}={\frac {\cos {45^{\circ }}}{4}}={\frac {\sqrt {2}}{8}}} 　から、 cos ⁡ 15 ∘ ⋅ cos ⁡ 75 ∘ = 1 4 {\displaystyle \cos {15^{\circ }}\cdot \cos {75^{\circ }}={\frac {1}{4}}} 　となる。 x = 20 ∘ {\displaystyle x=20^{\circ }} を入力すると、 cos ⁡ 20 ∘ ⋅ cos ⁡ 40 ∘ ⋅ cos ⁡ 80 ∘ = cos ⁡ 60 ∘ 4 = 1 8 {\displaystyle \cos {20^{\circ }}\cdot \cos {40^{\circ }}\cdot \cos {80^{\circ }}={\frac {\cos {60^{\circ }}}{4}}={\frac {1}{8}}} 　となる。 一般に、 cos ⁡ 2 n θ = ( − 1 ) n 2 2 n − 1 ∏ k = 0 2 n − 1 cos ⁡ ( 2 k + 1 4 n π + θ ) {\displaystyle \cos 2n\theta =(-1)^{n}2^{2n-1}\prod _{k=0}^{2n-1}{\cos {\Bigl (}{\frac {2k+1}{4n}}\pi +\theta {\Bigr )}}} cos ⁡ ( 2 n + 1 ) θ = ( − 1 ) n 2 2 n ∏ k = 0 2 n cos ⁡ ( k π 2 n + 1 + θ ) {\displaystyle \cos(2n+1)\theta =(-1)^{n}2^{2n}\prod _{k=0}^{2n}{\cos {\Bigl (}{\frac {k\pi }{2n+1}}+\theta {\Bigr )}}} が成り立つ。 tanでは、 tan ⁡ 3 x = sin ⁡ 3 x cos ⁡ 3 x = sin ⁡ x ⋅ sin ⁡ ( 60 ∘ + x ) ⋅ sin ⁡ ( 60 ∘ − x ) cos ⁡ x ⋅ cos ⁡ ( 60 ∘ + x ) ⋅ cos ⁡ ( 60 ∘ − x ) = tan ⁡ x ⋅ tan ⁡ ( 60 ∘ + x ) ⋅ tan ⁡ ( 60 ∘ − x ) {\displaystyle \tan {3x}={\frac {\sin {3x}}{\cos {3x}}}={\frac {\sin {x}\cdot \sin {(60^{\circ }+x)}\cdot \sin {(60^{\circ }-x)}}{\cos {x}\cdot \cos {(60^{\circ }+x)}\cdot \cos {(60^{\circ }-x)}}}=\tan {x}\cdot \tan(60^{\circ }+x)\cdot \tan(60^{\circ }-x)} が成り立つ。 x = 10 ∘ {\displaystyle x=10^{\circ }} を入力すると、 tan ⁡ 30 ∘ = tan ⁡ 10 ∘ ⋅ tan ⁡ 70 ∘ ⋅ tan ⁡ 50 ∘ {\displaystyle \tan 30^{\circ }=\tan 10^{\circ }\cdot \tan 70^{\circ }\cdot \tan 50^{\circ }} 　から、 tan ⁡ 50 ∘ ⋅ tan ⁡ 60 ∘ ⋅ tan ⁡ 70 ∘ = tan ⁡ 80 ∘ {\displaystyle \tan 50^{\circ }\cdot \tan 60^{\circ }\cdot \tan 70^{\circ }=\tan 80^{\circ }} 　が成り立つのが分かる。 同様に、tanの5倍角・7倍角の公式から、 tan ⁡ 5 x = tan ⁡ x ⋅ tan ⁡ ( 180 ∘ 5 + x ) ⋅ tan ⁡ ( 180 ∘ 5 − x ) ⋅ tan ⁡ ( 2 ⋅ 180 ∘ 5 + x ) ⋅ tan ⁡ ( 2 ⋅ 180 ∘ 5 − x ) {\displaystyle \tan {5x}=\tan {x}\cdot \tan \left({\frac {180^{\circ }}{5}}+x\right)\cdot \tan \left({\frac {180^{\circ }}{5}}-x\right)\cdot \tan \left({\frac {2\cdot 180^{\circ }}{5}}+x\right)\cdot \tan \left({\frac {2\cdot 180^{\circ }}{5}}-x\right)} tan ⁡ 7 x = tan ⁡ x ⋅ tan ⁡ ( 180 ∘ 7 + x ) ⋅ tan ⁡ ( 180 ∘ 7 − x ) ⋅ tan ⁡ ( 2 ⋅ 180 ∘ 7 + x ) ⋅ tan ⁡ ( 2 ⋅ 180 ∘ 7 − x ) ⋅ tan ⁡ ( 3 ⋅ 180 ∘ 7 + x ) ⋅ tan ⁡ ( 3 ⋅ 180 ∘ 7 − x ) {\displaystyle \tan {7x}=\tan {x}\cdot \tan \left({\frac {180^{\circ }}{7}}+x\right)\cdot \tan \left({\frac {180^{\circ }}{7}}-x\right)\cdot \tan \left({\frac {2\cdot 180^{\circ }}{7}}+x\right)\cdot \tan \left({\frac {2\cdot 180^{\circ }}{7}}-x\right)\cdot \tan \left({\frac {3\cdot 180^{\circ }}{7}}+x\right)\cdot \tan \left({\frac {3\cdot 180^{\circ }}{7}}-x\right)} が成り立つ。 一般には、２項係数を使用したtanのｎ倍角の公式で tan 2 ⁡ θ = x {\displaystyle \tan ^{2}{\theta }=x} とおくと、 tan ⁡ ( 2 n + 1 ) θ = ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k + 1 ) tan 2 k + 1 ⁡ θ ) ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k ) tan 2 k ⁡ θ ) = tan ⁡ θ ⋅ ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k + 1 ) x k ) ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k ) x k ) {\displaystyle \tan(2n+1)\theta ={\frac {\sum _{k=0}^{n}{\biggl (}{(-1)^{k}{\binom {2n+1}{2k+1}}\tan ^{2k+1}\theta }{\biggr )}}{\sum _{k=0}^{n}{\biggl (}{(-1)^{k}{\binom {2n+1}{2k}}\tan ^{2k}\theta }{\biggr )}}}=\tan \theta \cdot {\frac {\sum _{k=0}^{n}{{\biggl (}(-1)^{k}{\binom {2n+1}{2k+1}}x^{k}{\biggr )}}}{\sum _{k=0}^{n}{{\biggl (}(-1)^{k}{\binom {2n+1}{2k}}x^{k}{\biggr )}}}}} となる。ここで tan ⁡ ( 2 n + 1 ) θ = 0 {\displaystyle \tan(2n+1)\theta =0} が成り立つのは、 θ = 0 , ± π 2 n + 1 , ± 2 π 2 n + 1 , ⋅ ⋅ ⋅ , ± n π 2 n + 1 {\displaystyle \theta =0,\pm {\frac {\pi }{2n+1}},\pm {\frac {2\pi }{2n+1}},\cdot \cdot \cdot ,\pm {\frac {n\pi }{2n+1}}} の場合なので、 x = tan 2 ⁡ ( π 2 n + 1 ) , tan 2 ⁡ ( 2 π 2 n + 1 ) , ⋅ ⋅ ⋅ , tan 2 ⁡ ( n π 2 n + 1 ) {\displaystyle x=\tan ^{2}{\Bigl (}{\frac {\pi }{2n+1}}{\Bigr )},\tan ^{2}{\Bigl (}{\frac {2\pi }{2n+1}}{\Bigr )},\cdot \cdot \cdot ,\tan ^{2}{\Bigl (}{\frac {n\pi }{2n+1}}{\Bigr )}} のとき、 ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k + 1 ) x k ) = 0 {\displaystyle {\sum _{k=0}^{n}{\biggl (}{(-1)^{k}{\binom {2n+1}{2k+1}}x^{k}}}{\biggr )}=0} が成り立つ。また分子と分母で２項係数が逆順になるため、 tan ⁡ ( 2 n + 1 ) θ = tan ⁡ θ ⋅ ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k + 1 ) x k ) ∑ k = 0 n ( ( − 1 ) k ( 2 n + 1 2 k ) x k ) = tan ⁡ θ ⋅ ∏ k = 1 n ( tan 2 ⁡ ( k π 2 n + 1 ) − x ) ∏ k = 1 n ( 1 − tan 2 ⁡ ( k π 2 n + 1 ) x ) {\displaystyle \tan(2n+1)\theta =\tan \theta \cdot {\frac {\sum _{k=0}^{n}{\biggl (}(-1)^{k}{\binom {2n+1}{2k+1}}x^{k}{\biggr )}}{\sum _{k=0}^{n}{\biggl (}(-1)^{k}{\binom {2n+1}{2k}}x^{k}{\biggr )}}}=\tan \theta \cdot {\frac {\prod _{k=1}^{n}{\Bigl (}\tan ^{2}{\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}-x{\Bigr )}}{\prod _{k=1}^{n}{\Bigl (}1-\tan ^{2}{\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}x{\Bigr )}}}} = tan ⁡ θ ⋅ ∏ k = 1 n ( tan 2 ⁡ ( k π 2 n + 1 ) − tan 2 ⁡ θ ) ∏ k = 1 n ( 1 − tan 2 ⁡ ( k π 2 n + 1 ) tan 2 ⁡ θ ) {\displaystyle =\tan \theta \cdot {\frac {\prod _{k=1}^{n}{{\Bigl (}\tan ^{2}{\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}-\tan ^{2}\theta {\Bigr )}}}{\prod _{k=1}^{n}{\Bigl (}1-\tan ^{2}{\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}\tan ^{2}\theta {\Bigr )}}}} = tan ⁡ θ ⋅ ∏ k = 1 n ( tan ⁡ ( k π 2 n + 1 ) + tan ⁡ θ ) ⋅ ∏ k = 1 n ( tan ⁡ ( k π 2 n + 1 ) − tan ⁡ θ ) ∏ k = 1 n ( 1 − tan ⁡ ( k π 2 n + 1 ) tan ⁡ θ ) ⋅ ∏ k = 1 n ( 1 + tan ⁡ ( k π 2 n + 1 ) tan ⁡ θ ) {\displaystyle =\tan \theta \cdot {\frac {\prod _{k=1}^{n}{{\Bigl (}\tan {\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}+\tan \theta {\Bigr )}}\cdot \prod _{k=1}^{n}{{\Bigl (}\tan {\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}-\tan \theta {\Bigr )}}}{\prod _{k=1}^{n}{\Bigl (}1-\tan {\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}\tan \theta {\Bigr )}\cdot \prod _{k=1}^{n}{\Bigl (}1+\tan {\Bigl (}{\frac {k\pi }{2n+1}}{\Bigr )}\tan \theta {\Bigr )}}}} = tan ⁡ θ ⋅ ∏ k = 1 n ( tan ⁡ ( k π 2 n + 1 + θ ) ) ⋅ ∏ k = 1 n ( tan ⁡ ( k π 2 n + 1 − θ ) ) {\displaystyle =\tan \theta \cdot {\prod _{k=1}^{n}{{\Biggl (}\tan {\Bigl (}{\frac {k\pi }{2n+1}}+\theta {\Bigr )}{\Biggr )}}\cdot \prod _{k=1}^{n}{{\Biggl (}\tan {\Bigl (}{\frac {k\pi }{2n+1}}-\theta {\Bigr )}{\Biggr )}}}} = tan ⁡ θ ⋅ ∏ k = 1 n ( tan ⁡ ( k π 2 n + 1 + θ ) ) ⋅ ∏ k = n + 1 2 n ( − tan ⁡ ( k π 2 n + 1 + θ ) ) {\displaystyle =\tan \theta \cdot {\prod _{k=1}^{n}{{\Biggl (}\tan {\Bigl (}{\frac {k\pi }{2n+1}}+\theta {\Bigr )}{\Biggr )}}\cdot \prod _{k=n+1}^{2n}{{\Biggl (}-\tan {\Bigl (}{\frac {k\pi }{2n+1}}+\theta {\Bigr )}{\Biggr )}}}} と変形でき、下記の式が成り立つ。 tan ⁡ ( 2 n + 1 ) θ = ( − 1 ) n ∏ k = 0 2 n tan ⁡ ( k π 2 n + 1 + θ ) {\displaystyle \tan(2n+1)\theta =(-1)^{n}\prod _{k=0}^{2n}{\tan {\Bigl (}{\frac {k\pi }{2n+1}}+\theta {\Bigr )}}} 　 [脚注の使い方] ^ 稲津 將(北海道大学大学院理学研究院). “オイラーの公式”. 2014年10月7日閲覧。 ^ オーム社『数学公式・数表ハンドブック』P.15 ^ a b c Weisstein, Eric W. "Trigonometric Addition Formulas". mathworld.wolfram.com (英語). ^ a b Weisstein, Eric W. "Multiple-Angle Formulas". mathworld.wolfram.com (英語). ^ Weisstein, Eric W. "Double-Angle Formulas". mathworld.wolfram.com (英語). ^ Weisstein, Eric W. "Half-Angle Formulas". mathworld.wolfram.com (英語). ^ Ken Ward's Mathematics Pages ^ Michael P. Knapp, Sines and Cosines of Angles in Arithmetic Progression 三角関数 ピタゴラスの定理 正弦定理 余弦定理 正接定理 ウィキメディア・コモンズには、三角関数の公式の一覧に関連するカテゴリがあります。