解析学基礎/三角関数

提供: testwiki
2025年1月22日 (水) 15:18時点における~2025-10738 (トーク)による版 (解析的な取り扱い)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

テンプレート:Pathnav

ここでは、三角関数について解説する。

高等学校数学I/図形と計量及び高等学校数学II/三角関数も参照。

テンプレート:Stub

基本事項

ここでは、高校数学の「三角関数」で学習した事項を再確認すると共に、高校では触れなかった幾つかの概念を補完する。また、高等学校とは違う流儀で解説する箇所もある。

三角比

まずは素朴な定義を紹介する。

直角三角形ABCを考える。角Cが直角であるとき、角Aをθとおく。このとき、三角形の直角に対向する辺ABをテンプレート:Ruby、角Aに対向する辺BCをテンプレート:Ruby、残りの辺CAをテンプレート:Rubyという。斜辺をr、対辺をy、隣辺をxとおくと、三角比は以下のように定義される。

テンプレート:Rubysinθ:=yr(sinは「sine」の略)
テンプレート:Rubycosθ:=xr(cosは「cosine」の略)
テンプレート:Rubytanθ:=yx(tanは「tangent」の略)
テンプレート:Rubycotθ:=xy(cotは「cotangent」の略)
テンプレート:Rubysecθ:=rx(secは「secant」の略)
テンプレート:Rubycscθ:=ry(cscは「cosecant」の略)

θは三角形の内角なので、定義域は当然0θ180である。θ=0のときはcsc・cot、θ=180のときはsec・tanがそれぞれ定義不能になる(ゼロ除算が発生するため)。

それぞれの定義から、以下の公式が導かれる。

tanθ=sinθcosθ
cscθ=1sinθ
secθ=1cosθ
cotθ=cosθsinθ=cscθsecθ
x=rcosθ=ycotθ
y=rsinθ=xtanθ


また、テンプレート:Ruby90θ)に対して正弦・正接・正割を定義すると、以下が成り立つことがわかる。(余角の公式

sin(90θ)=cosθ
tan(90θ)=cotθ
sec(90θ)=cscθ

余弦・余接・余割の「余」はここからきている。英語の「co-」は「補」という意味の接頭辞なので、和名と英語名がある程度対応していることがわかる。


逆に、余角に対して余弦・余接・余割を定義すると以下が成り立つ。(余角の公式)

cos(90θ)=sinθ
cot(90θ)=tanθ
csc(90θ)=secθ


有名角における三角比の値
θ sinθ cosθ
0 0 1
30 12 32
45 12 12
60 32 12
90 1 0

最低限これを覚えておけば、他の公式で使いたい値を導き出すことができる。

また、三角比では値を必ずしも有理化する必要はない。

一般角・弧度法

一般の(実)三角関数を考える前に、角の概念を拡張する。

平面上で点Oを中心として半直線OPを回転させるとき、OPをテンプレート:Ruby、その最初の位置を示す半直線OXをテンプレート:Rubyという。

動径が左回転のときの回転角をの角、右回転のときの回転角をの回転角と定める。

このようにして、角を回転の向きと大きさを表す量として拡張したものを一般角という。一般角θに対して始線OXから角θだけ回転した位置にある動径OPをθの動径という。動径は一周(360°回転)すると元の場所に戻ることから、動径の一致する角を動径の表す角という。動径の表す角θのうち、180θ<180または0θ<360の範囲にあるものを偏角という。


半径1の扇形において、孤の長さがθであるときの角度をθ[rad]と定める。「rad」は「ラジアン」と読むが、無次元量なので特に断りがない限り省略することとする。このようにして角度を定める方法をテンプレート:Rubyという。今まで用いてきた、一周を360°とする角度の定め方はテンプレート:Rubyという。角度θに対する弧長をarcθと書く場合があるが、弧度法においては常にarcθ=θである。

円周長の公式より360=2πであるが、一周を表す弧度の係数が2なのは気持ち悪いので、τ=2πと定めてテンプレート:Rubyを用いることにする。則ち、τ=360である。

弧度法から度数法への変換は上の関係式を用いてできる。

偏角をαとしたとき、弧度法を用いると動径の表す角はα+nτnは整数)と表せる。

三角関数

xy平面上で原点Oを中心とする半径rの円を考える。円上の点A(x, y)からx軸に下ろした垂線の足をBとする。このとき、AOB=θとすると直角三角形AOBを考えることにより先ほどと同様の三角比の定義ができる。ただし、先程とは違い定義域は実数全体である(ゼロ除算が発生する場合を除く)。

三角比はθのみに依存するため、θの関数である。関数y=sinθ正弦関数、以下余弦関数正接関数余接関数正割関数余割関数という。6つを総称して三角関数円関数とも)という。後ろの3つは前の3つの逆数であることから特に割三角関数と呼ばれる。

半径1(単位円)の場合を考えると、x=cosθ,y=sinθが常に成り立つ。

単位円の図を書くことにより、以下が直ちに導かれる。

sinθの値域:[1,1]
cosθの値域:[1,1]
tanθの値域:[,]
cotθの値域:[,]
secθの値域:(,1][1,)
cscθの値域:(,1][1,)


sinθ=yr,cosθ=xr,x2+y2=r2より以下が導かれる。(ピタゴラスの基本三角関数公式

sin2θ+cos2θ=1
但し、三角関数T(θ)についてT2(θ)={T(θ)}2であることに注意。(通常の関数とは異なり、T2(θ)=(TT)(θ)ではない。)

両辺をcos2θ,sin2θで割るとそれぞれ以下を得る。

sec2θ=1+tan2θ
csc2θ=1+cot2θ


単位円の図から、以下の公式が導かれる。(テンプレート:Rubyの公式テンプレート:Rubyの公式

sin(θ)=sinθ
cos(θ)=cosθ
tan(θ)=tanθ
sin(τ2θ)=sinθ
cos(τ2θ)=cosθ
tan(τ2θ)=tanθ

ここから、正弦関数・正接関数が奇関数、余弦関数が偶関数であることがわかる。

また、動径の周期性より以下が成り立つ。

sin(θ+nτ)=sinθ
cos(θ+nτ)=cosθ
tan(θ+nτ)=tanθ


更に、以下の公式が成り立つ。

sin(θ+τ2)=sinθ
cos(θ+τ2)=cosθ
tan(θ+τ2)=tanθ
sin(θ+τ4)=cosθ
cos(θ+τ4)=sinθ
tan(θ+τ4)=cotθ

これらの公式は後述の加法定理を用いることで容易に証明できる。


正弦関数・余弦関数のグラフは下のように特徴的なカーブを描く。これを正弦曲線サインカーブ)という。

正接関数のグラフは以下のようになる。

漸近線は直線θ=τ4+n2τ(nは整数)

先程の公式とグラフの双方から、正弦関数と余弦関数の周期はτ、正接関数の周期はτ2であることがわかる。

三角関数に代入するθkθに変えると、周期は1k倍される。


加法定理

回転行列をR(θ)とする。

θだけ回転してからφだけ回転するのとθ+φだけ回転するのは同じ操作なので、

R(θ)R(ϕ)=R(θ+ϕ)
rhs=(cos(θ+ϕ)sin(θ+ϕ)sin(θ+ϕ)cos(θ+ϕ))
lhs=(cosθsinθsinθcosθ)(cosϕsinϕsinϕcosϕ)
=(cosθcosϕsinθsinϕ(cosθcosϕ+sinθsinϕ)sinθsinϕ+cosθcosϕcosθcosϕsinθsinϕ)


(1,1)成分と(2,1)成分を見ると、以下が成り立つことがわかる。ただし、複合同順である。(三角関数の加法定理

sin(θ±ϕ)=sinθcosϕ±cosθcosϕ
cos(θ±ϕ)=cosθcosϕsinθsinϕ

(上の式)/(下の式)を考えると、簡単な式変形により以下を得る。

tan(θ±ϕ)=tanθ±tanϕ1tanθtanϕ

上の3つの式の逆数をとることで割三角関数の加法定理を得る。

ϕ=θ,2θ,3θ,を考えることで倍角の公式を得る。

sin2θ=2sinθcosθ
cos2θ=cos2θsin2θ=2cos2θ1=12sin2θ
tan2θ=2tanθ1tan2θ
sin3θ=3sinθ4sin3θ
cos3θ=4cos3θ3cosθ
tan3θ=3tanθtan3θ13tan2θ

3倍角まではよく使うので、自然に覚えるだろう。

2倍角の式を変形することで、以下を得る。(半角の公式

sin2θ2=1cosθ2
cos2θ2=1+cosθ2
tan2θ2=1cosθ1+cosθ


加法定理の式の和や差を考えることで、以下を得る。(積和の公式

sinαcosβ=12{sin(α+β)+sin(αβ)}cosαsinβ=12{sin(α+β)sin(αβ)}cosαcosβ=12{cos(α+β)+cos(αβ)}sinαsinβ=12{cos(α+β)cos(αβ)}

更に変形することで以下を得る。(和積の公式

sinA+sinB=2sin(A+B2)cos(AB2)sinAsinB=2cos(A+B2)sin(AB2)cosA+cosB=2cos(A+B2)cos(AB2)cosAcosB=2sin(A+B2)sin(AB2)


三角関数の和asinθ+bcosθについて、実数平面上に点P(a,b)をとる。 このとき、Pが半径a2+b2の円周上にあると考えてa2+b2(sinθaa2+b2+cosθba2+b2)と変形したとき、線分OPを動径とみた回転角をαとおくとcosα=aa2+b2,sinα=ba2+b2が成り立つ。よって、加法定理の逆よりasinθ+bcosθ=a2+b2sin(θ+α)である。

このように、正弦と余弦の和を正弦関数で表すことを正弦合成という。

平面上にとる点をQ(b,a)に変えたとき、動径OQの回転角をβとおくと同様にしてasinθ+bcosθ=a2+b2cos(θβ)を得る。

このように、正弦と余弦の和を余弦関数で表すことを余弦合成という。

合成した式は加法定理で展開すると元に戻る。

動径の回転角の値は、三角方程式tanα=ab,tanβ=baを解くことにより簡単に求まる。

その他の三角比

点Oを中心とする単位円において、始線をOD、動径をOA、AOD=θとする。

AからODに下ろした垂線の足をCとすると、三角関数の定義よりOC=cosθ,AC=sinθである。

半直線ODと点Aにおける単位円の接線の交点をEとすると、OAEの正接について考えることでAE=tanθであることがわかる。これが「正接」という名の由来である。

また、OEsinθ=tanθよりOE=1cosθ=secθが導かれる。OEが円の割線であることが「正割」という名前の由来である。

点OからOEに垂直な直線を引き、直線AEとの交点をFとする。このとき、二角相等よりAOEOFEなので1:OF=tanθ:secθであり、OF=secθcotθ=cscθと求まる。

AOFについてAOE=θより、 AF=OFcosθ=cscθsecθ=cotθである。

これにて、6つの三角比を単位円の図に図示することができた。


三角比は更に幾つか存在する。

嘗て重要視された三角比として、テンプレート:Rubyテンプレート:Rubyがある。

それぞれの定義は以下である。

正矢:versinθ:=1cosθ(versinは「versed sine」の略)
余矢:cvsθ:=1sinθ(cvsは「coversed sin」の略)

線分OFと単位円の交点をHとすると、CD=versinθ,GH=cvsθである。

正弦・余弦・正接・余接・正割・余割・正矢・余矢の8つの三角比は日本では八線と呼ばれ、値を記した数表が作られたり伊能忠敬が測量の計算に用いたりした。

なお、曲率をr、弧長をθとすると曲線のテンプレート:Ruby(やだか、円弧の高さ、弦と弧の最長距離を表す)はrversinθと表される。また、単振り子の回転角をθとするとその位置エネルギーはmglversinθである。

あまり使われないが以下のような三角比も定義されている。

vercosθ:=1+cosθ(vercosは「versed cosine」の略)
cvcθ:=1+sinθ(cvcは「coversed cosine」の略)


versinθの値域は[0,2]であったため、実際には半分にした値が数表・計算に用いられていた。

havθ:=12versinθ(havは「half versed sine」の略)
hcvθ:=12cvsθ(hcvは「half coversed sine」の略)
havercosθ:=12vercosθ(havercosは「half versed cosine」の略)
hacovercosθ:=12cvcθ(hacovercosは「half coversed cosine」の略)


更に、以下のような三角比も存在する。

exsecθ:=secθ1(exsecは「exterior secant」の略)
excscθ:=cscθ1(excscは「exterior cosecant」の略)

中心角θ、半径Rの扇形の端点における二本の接線の交点と弧との距離はRexsec12θと表される。この式は鉄道のレールを敷設する際に利用された。

先程の単位円においてはDE=exsecθ,HF=excscθである。


中心角θに対する弦の長さをcrdθと書き、三角比のように扱った時代もあった。(crdは「chord」の略。)

crdθ
=sin2θ+versin2θ
=sin2θ+(1cosθ)2
=22cosθ
=41cosθ2
=4sin2θ2
=2sinθ2


これらの三角比は計算機の無かった時代、三角関数表を用いて大量に手計算をする必要があった時代に需要があったものである。何れも正弦・余弦・正接を用いて簡単に表せるため、現在は関数電卓やコンピュータの発達により態々これらの関数を定義したり各関数の数表を利用する必要は無くなった。(余接・正割・余割も高校範囲から消え、大学においても活躍の機会が減りつつある)。


最後に、単位円と各関数に対応する辺の図を載せる。

単位円と各三角関数に対応する辺

解析的な取り扱い

幾何的な取り扱いは高等学校数学及び幾何学の各分野を参照。

逆三角関数

三角関数の逆関数を逆三角関数という。三角関数の周期性からわかるように三角関数は単射でなく、逆三角関数は多価関数であるので、通常は定義域を制限する。

逆三角関数の記法は二通りある。

一つは、通常の関数のようにインバースを用いて書く記法である。三角関数においてはTn(θ)={T(θ)}nなのでT1(θ)は三角関数の逆数なのか逆関数なのか分かりづらいという問題がある。しかし、正弦・余弦・正接の逆数を余割・正割・余接で表すことで区別することができ、更に多価関数の定義域を制限していることを強調するために1文字目を大文字にする流儀(例:Sin1θ)を採用すると誤解の可能性を更に減らすことができる。
もう一つは、逆三角関数で出力の出力値が角度であることと弧度法において常にarcθ=θであることから、関数の前に「arc」という接頭辞をつける記法である。記述量が増えるというデメリットはあるが、こちらを採用するとインバース記法のような誤解の可能性は0である。なお、コンピュータプログラミング等では「arc」を「a」と省略した記法も見られる。

このページでは、接頭辞を用いる記法を採用する。


通常、定義域と主値の終域は以下のように設定される。

関数 定義域 主値の終域
arcsinx x[1,1] [τ4,τ4]
arccosx x[1,1] [0,τ2]
arctanx x (τ4,τ4)
arccotx x (0,τ2)
arcsecx x(1,1) [0,τ4) or (τ4,τ2]
arccscx x(1,1) [τ4,0) or (0,τ4]

三角関数に逆三角関数を代入すると以下のようになる。ただし、x[0,1]である。

θ sinθ cosθ tanθ
arcsinx sin(arcsinx)=x cos(arcsinx)=1x2 tan(arcsinx)=x1x2
arccosx sin(arccosx)=1x2 cos(arccosx)=x tan(arccosx)=1x2x
arctanx sin(arctanx)=x1+x2 cos(arctanx)=11+x2 tan(arctanx)=x
arccotx sin(arccotx)=11+x2 cos(arccotx)=x1+x2 tan(arccotx)=1x
arcsecx sin(arcsecx)=x21x cos(arcsecx)=1x tan(arcsecx)=x21
arccscx sin(arccscx)=1x cos(arccscx)=x21x tan(arccscx)=1x21

逆三角関数に関して、以下の公式が成り立つ。

余角:
arccosx=τ4arcsinx
arccotx=τ4arctanx
arccscx=τ4arcsecx
負角:
arcsin(x)=arcsinx
arccos(x)=τ2arccosx
arctan(x)=arctanx
arccot(x)=τ2arccotx
arcsec(x)=τ2arcsecx
arccsc(x)=arccscx
逆数:
arccos1x=arcsecx
arcsin1x=arccscx
arctan1x=τ4arctanx=arccotx(x>0)
arctan1x=τ4arctanx=π+arccotx(x<0)
arccot1x=τ4arccotx=arctanx(x<0)
arccot1x=34τarccotx=τ2+arctanx(x<0)
arcsec1x=arccosx
arccsc1x=arcsinx

また、正接の加法定理より以下が導かれる。

arctanu+arctanvarctanu+v1uv(modπ)(uv1)

三角関数の極限

三角関数の微積分

三角関数のテイラー展開

複素三角関数

複素解析学も参照。

無限級数による定義

部分分数展開

オイラーの公式

双曲線関数・楕円関数との関連