この記事内で、角は原則として α, β, γ, θ といったギリシア文字か、x を使用する。
角度の単位としては原則としてラジアン (rad, 通常単位は省略) を用いるが、度 (°) を用いる場合もある。
1周 = 360度 = 2πラジアン
主な角度の度とラジアンの値は以下のようになる‥
度数法(°)
|
30° |
60° |
120° |
150°
|
210° |
240° |
300° |
330°
|
弧度法(ラジアン)
|
|
|
|
|
|
|
|
|
|
度数法(°)
|
45° |
90° |
135° |
180°
|
225° |
270° |
315° |
360°
|
弧度法(ラジアン)
|
|
|
|
|
|
|
|
|
記事内では主にラジアンを使用し、度の場合には別記するか度を示す記号(°)を付記する。
最も基本的な関数は正弦関数(サイン、sine)と余弦関数(コサイン、cosine)である。これらは sin(θ), cos(θ) または括弧を略して sin θ, cos θ と記述される(θ は対象となる角の大きさ)。
正弦関数と余弦関数の比を正接関数(タンジェント、tangent)と言い、具体的には以下の式で表される:
-
上記3関数の逆数関数を余割関数(コセカント、cosecant)・正割関数(セカント、secant)・余接関数(コタンジェント、cotangent)と言う。余割関数の略称には cosec と csc の2種類があり、この記事では csc を使用する。
-
三角関数の逆関数を逆三角関数と言う。日本語においては逆正弦関数のように頭に﹁逆﹂を付けて呼ぶ。式中では sin−1 のように右肩に﹃−1﹄を付けるか asin, arcsin のように "a" または "arc" を付ける。このarcは弧という意味がある。
この記事では逆関数として以下の表記を採用する‥
関数
|
sin
|
cos
|
tan
|
sec
|
csc
|
cot
|
逆関数
|
arcsin
|
arccos
|
arctan
|
arcsec
|
arccsc
|
arccot
|
三角関数は周期関数なので、逆関数は多価関数である。
逆関数の性質から以下が成り立つ:
-
-
いくつかの数学記号は中等教育の課程(中学校の課程・高等学校の課程・中等教育学校の課程など)で紹介されていないため、詳しくは数学記号の表#代数学の記号など参照のこと。
単位円と角 θ に対する三角関数の関係。
三角関数から求められる versine, coversine, haversine, exsecant などの各関数は、かつて測量などに用いられた。例えば haversine は球面上の2点の距離を求めるのに使用された。haversineを使用すると関数表の表をひく回数を減らすことができるからである。 (参考‥球面三角法) 今日ではコンピュータの発達により、これらの関数はほとんど使用されない。
versine と coversine は日本語では﹁正矢﹂﹁余矢﹂と呼ばれ、三角関数とともに八線表として1つの数表にまとめられていた。
名前
|
表記
|
値
|
versed sine, versine 正矢
|
|
|
versed cosine, vercosine
|
|
|
coversed sine, coversine 余矢
|
|
|
coversed cosine, covercosine
|
|
|
half versed sine, haversine
|
|
|
half versed cosine, havercosine
|
|
|
half coversed sine, hacoversine cohaversine
|
|
|
half coversed cosine, hacovercosine cohavercosine
|
|
|
exterior secant, exsecant
|
|
|
exterior cosecant, excosecant
|
|
|
chord (弦の長さ)
|
|
|
Sine
|
[3]
|
Cosine
|
[3]
|
Tangent
|
[3]
|
Arcsine
|
|
Arccosine
|
|
Arctangent
|
|
上記の表において複号は同順とする。
加法定理によって、回転行列同士の積をまとめることができる。
-
正弦関数と余弦関数において、以下の式が成り立つ。
いずれの場合にも、﹁有限個の角の正弦関数と残りの角の余弦関数の積﹂の和となる。無限の和に見えるが、j以上のすべてのiで θi=0 が成り立つ場合、j以上のkは計算する必要がなく有限項の計算となる。
ek (k ∈ {0, ..., n}) を k次の基本対称式とする。
のとき i∈ {0, ..., n} に対して以下のようになる。
このとき正接関数の和は以下の式で表される。
この eは、en まで使用する。
例
数学的帰納法を用いて証明が可能である。
ek は前節同様正接関数の基本対称式とする。
-
例
-
Tn は n 次のチェビシェフ多項式
|
[4]
|
Sn は n 次の spread 多項式
|
|
ド・モアブルの定理による(i は虚数単位)
|
|
ディリクレ核
|
|
以下の式は加法定理などから容易に導くことができる。
倍角[5]
|
|
|
|
|
三倍角[4]
|
|
|
|
|
半角[6]
|
|
|
|
|
正弦関数と余弦関数の三倍角の公式は、元の関数の三次方程式で表すことができる。従って、三次方程式の解を求めることでそれらの三角関数の値を得ることができる。
幾何学的には、三倍角の公式を経由し三角関数の値を求めることは角の三等分問題に相当する。この問題は、定規とコンパスを用いた解法が特別な角を除いて存在しないことが知られている。
方程式 x3− 3x+ d/4 = 0︵正弦関数ならば x= sinθ, d= sin(3θ) とする︶の判別式は正なのでこの方程式は3つの実数解を持つ。
加法定理から、正弦関数および余弦関数の以下の倍角公式が得られる。これらの式は16世紀のフランスの数学者フランソワ・ビエトによって示された。
ここで (n
k) は二項係数である。上記の和の最初の数項を明示すれば、以下の通りである。
ビエトの公式を利用し、正接関数と余接関数の倍角公式を漸化式として与えることができる。
またド・モアブルの定理、あるいはオイラーの公式を利用し、以下のように表すことができる。
-
パフヌティ・チェビシェフは、n 倍角の正弦関数と余弦関数の値を、(n − 1) 倍角と (n − 2) 倍角の値を用いて表す方法を発見している[7]。
cos(nx) は、以下のように表される。
同様に sin(nx) は以下のように表される。
tan(nx) は以下のようになる。
ここで、H/K = tan((n − 1)x) である。
α, β の算術平均の正接について以下が成り立つ。
-
α, β のいずれかが 0 である場合、これは正接関数の半角公式に一致する。
以下の式が成り立つ。
-
最後のsincは、正弦関数を角の大きさで割ったものである。
-
正弦関数と余弦関数の和は、正弦関数で表すことができる。
ここで、φの値は以下の式で与えられる。
または
位相の違う正弦関数を以下のように合成することができる。
ここでcと β の値は以下の式で与えられる。
-
-
正弦関数と余弦関数の和に関する以下のような公式がある[8]。
正接関数と正割関数に関して以下の式が成り立つ。
ただし、
はグーデルマン関数の逆関数である。
ƒ(x) と g(x) を以下のようなメビウス変換関数として定義する。
このとき以下が成り立つ。
以下のように書くこともできる。
-
-
-
-
|
arccos
|
arcsin
|
arctan
|
arccot
|
arccos
|
|
|
|
|
arcsin
|
|
|
|
|
arctan
|
|
|
|
|
arccot
|
|
|
|
|
式
|
和
|
条件
|
|
|
または
|
|
|
かつ かつ
|
|
|
かつ かつ
|
|
|
または
|
|
|
かつ かつ
|
|
|
かつ かつ
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
かつ
|
|
|
かつ
|
|
|
|
|
|
かつ
|
|
|
かつ
|
|
|
|
|
|
|
|
|
いくつかの関数は、無限乗積の形で表すことができる。 は総乗を示す。
α, β, γ が三角形の3つの角の大きさのとき、即ち α + β + γ = π を満たす場合、以下の式が成り立つ。
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
微分積分学の分野においては、角度はラジアンを使用する。
微積分において、極限に関する2つの重要な式がある。1つは
である。この式ははさみうちの原理から導くことができる。もう1つは以下の式である。
これらの式と加法定理などを利用して、以下の式を導くことができる。
以下に三角関数と逆三角関数の微分を示す。
積分に関しては三角関数の原始関数の一覧を参照。
三角関数︵特に正弦関数と余弦関数︶の導関数と原始関数が三角関数であらわされることは、微分方程式やフーリエ解析を含む数学の多くの分野で有用である。
関数
|
逆関数
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Weierstrass substitution) 以下の変換は、カール・ワイエルシュトラスの名がつけられている。
とおくと、
となる。
積分の計算において、被積分関数がxの三角関数の有理関数 R (sin x, cos x) である場合にこの変換を用いると、tについての有理関数の積分の計算に帰着することができる。
sinの3倍角の公式を加法定理で変形すると、
から、
が成り立つ。
を入力すると、
となる。
を入力すると、
から、
となる。
を入力すると、
となる。
一般に、
が成り立つ。
同様に、cosの3倍角の公式を加法定理で変形すると、
が成り立つ。
を入力すると、
となる。
を入力すると、
から、
となる。
を入力すると、
となる。
一般に、
が成り立つ。
tanでは、
が成り立つ。
を入力すると、
から、
が成り立つのが分かる。
同様に、tanの5倍角・7倍角の公式から、
が成り立つ。
一般には、2項係数を使用したtanのn倍角の公式で
とおくと、
となる。ここで
が成り立つのは、
の場合なので、
のとき、
が成り立つ。また分子と分母で2項係数が逆順になるため、
と変形でき、下記の式が成り立つ。