三角関数の公式の導出

  • 2018/09/06 09:00
この記事は, 旧ブログから移植された記事です. よって, その内容として, 旧ブログに依存した文脈が含まれている可能性があります. 予めご了承下さい.

参考文献 1 では, 高木貞治氏の書いた解析概論の緒言として示されている三角関数の古典的な導入法の問題点と, それに対する合理的な導入, 定義に関する記述があり, 興味深かったので読んでいたのだが, ふと高校数学 Ⅲ の「普通な」加法定理や積和, 和積の公式, 導関数の導出などが頭から抜けていたので, 復習がてら書くことにした. 一応, このエントリで言う三角関数 cosθ,sinθ\cos\theta,\sin\theta の定義は高校数学の範囲で言われる定義と同様であり, 次のとおりである.

高校数学における cosθ,sinθ\cos\theta, \sin\theta

直行座標平面上の原点 O(0,0)O(0,0) を中心とする半径 11 の円 CCx0,y0x\geq 0,y\geq 0 の部分を C+C_{+} としたとき, 弧度法によると, 点 A(1,0)A(1,0), C+C_{+} 上の点 P(x,y)P(x,y) を角 AOPA O Pθ (0<θπ2)\theta\ (0\lt\theta\leq\frac{\pi}{2}) となるようにとれば, 孤 APA P の長さは 角 AOPA O P そのもの, すなわち θ\theta である. このとき x=cosθ,y=sinθx=\cos\theta,y=\sin\theta である.

よくよく考えてみれば, この定義では, 孤 APA P の長さおよび実数 0<θπ20\lt\theta\leq\frac{\pi}{2} に対し孤 APA P の長さが θ\theta となる C+C_{+} 上の点 PP が存在することについて, 特に説明しておらず, 定義としては不十分な点があることが考えられる. 参考文献 1 にはこの問題に対する考察が綴られており, 読みやすい文体で書かれているので興味があれば読んでみることを勧める. 本エントリはそのような意味で, 特に面白みもなくただ単に高校数学 Ⅲ までの三角関数の内容を復習しているだけのものとなっているので, その点は悪しからず.

加法定理

この間で余弦定理を暗に認めたものとして利用する.

加法定理

単位円上の二点 P(cosp,sinp),Q(cosq,sinq)P(\cos p,\sin p),Q(\cos q,\sin q) がある. 上図のように, 原点 OO に対し, OPO Pxx 軸の成す角を pp, OQO Qxx 軸の成す角を qq とする. 線分 PQP Q の長さを座標成分で表すと,

PQ2=(cosqcosp)2+(sinqsinp)2=cos2q2cosqcosp+cos2p+sin2q2sinqsinp+sin2p=(sin2p+cos2p)+(sin2q+cos2q)2cosqcosp2sinqsinp=22(sinpsinq+cospcosq)(1)\begin{aligned} P Q^2&=&(\cos q-\cos p)^2+(\sin q-\sin p)^2\\ &=&\cos^2 q-2\cos q\cos p+\cos^2 p+\sin^2 q-2\sin q\sin p+\sin^2 p\\ &=&(\sin^2 p+\cos^2 p)+(\sin^2 q+\cos^2 q)-2\cos q\cos p-2\sin q\sin p\\ &=&2-2(\sin p\sin q+\cos p\cos q)\tag{1} \end{aligned}

また, 余弦定理より

PQ2=OP2+OQ22OPOQcos(pq)=12+12211cos(pq)=22cos(pq)(2)\begin{aligned} P Q^2&=&O P^2+O Q^2-2 O P\cdot O Q\cos(p-q)\\ &=&1^2+1^2-2\cdot 1\cdot 1\cdot \cos(p-q)\\ &=&2-2\cos(p-q)\tag{2} \end{aligned}

(1),(2)(1),(2) より 22cos(pq)=22(cospcosq+sinpsinq)cos(pq)=cospcosq+sinpsinq(3)2-2\cos(p-q)=2-2(\cos p\cos q+\sin p\sin q)\leftrightarrow \cos(p-q)=\cos p\cos q+\sin p\sin q\tag{3}

ここで, (3)(3)qqq+π2q+\frac{\pi}{2} とすると, 三角関数の定義より

cosp(q+π2)=cospcos(q+π2)+sinpsin(q+π2)sin(pq)=sinpcosqcospsinq \cos{p-(q+\frac{\pi}{2})}=\cos p\cos(q+\frac{\pi}{2})+\sin p\sin(q+\frac{\pi}{2})\leftrightarrow\sin(p-q)=\sin p\cos q-\cos p\sin q

q=qq=-q とおくと sin(p+q)=sinpcosq+cospsinq(4)\sin(p+q)=\sin p\cos q+\cos p\sin q\tag{4}

三角関数の導関数

まず f(x)=sinxf(x)=\sin x の導関数 f(x)f'(x) について, 導関数の定義より

f(x)=limh0f(x+h)f(x)h=limh0sin(x+h)sinxh=limh0sinxcosh+cosxsinhsinxh 加法定理 (4) より(5)\begin{aligned} f'(x)&=&\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}\\ &=&\lim_{h\to 0}\frac{\sin(x+h)-\sin x}{h}\\ &=&\lim_{h\to 0}\frac{\sin x\cos h+\cos x\sin h-\sin x}{h}\ \because{\rm 加法定理}\ (4)\ {\rm より}\tag{5} \end{aligned}

(5)=limh0sinx(cosh1)+cosxsinhh=limh0{sinx(cosh1)h+cosxsinhh}=limh0(sinxcosh1hA+cosxsinhh)(6) \begin{aligned} (5)&=&\lim_{h\to 0}\frac{\sin x(\cos h-1)+\cos x\sin h}{h}\\ &=&\lim_{h\to 0}\left\{\frac{\sin x(\cos h-1)}{h}+\frac{\cos x\sin h}{h}\right\}\\ &=&\lim_{h\to 0}(\sin x\underbrace{\frac{\cos h - 1}{h}}_{A}+\cos x\frac{\sin h}{h})\tag{6} \end{aligned}

AA について

cosh1hcosh+1cosh+1=cos2h1h(cosh+1)=sin2hh(cosh+1) sin2+cos2=1=sinhsinhh(cosh+1)hh=sinhhsinhhhcosh+1 \begin{aligned} \frac{\cos h-1}{h}\cdot\frac{\cos h+1}{\cos h+1}&=&\frac{\cos^2h-1}{h(\cos h+1)}\\ &=&\frac{-\sin^2 h}{h(\cos h+1)}\ \because\sin^2+\cos^2=1\\ &=&\frac{-\sin h\cdot\sin h}{h(\cos h+1)}\cdot\frac{h}{h}\\ &=&-\frac{\sin h}{h}\cdot\frac{\sin h}{h}\cdot\frac{h}{\cos h+1} \end{aligned}

ここで, limh0sinhhsinhhhcosh+1=0\displaystyle\lim_{h\to 0}-\frac{\sin h}{h}\cdot\frac{\sin h}{h}\cdot\frac{h}{\cos h+1}=0 だから, (6)(6) より f(x)=sinx0+cosx1=cosx(7)f'(x)=\sin x\cdot 0+\cos x\cdot 1=\cos x\tag{7} 次に f(x)=cosxf(x)=\cos x の導関数 f(x)f'(x) について, 導関数の定義より

f(x)=limh0f(x+h)f(x)h=limh0cos(x+h)cosxh=limh0cosxcoshsinxsinhcosxh 加法定理 (3) より(8) \begin{aligned} f'(x)&=&\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}\\ &=&\lim_{h\to 0}\frac{\cos(x+h)-\cos x}{h}\\ &=&\lim_{h\to 0}\frac{\cos x\cos h-\sin x\sin h-\cos x}{h}\ \because{\rm 加法定理}\ (3)\ {\rm より}\tag{8}\end{aligned}

(8)=limh0cosx(cosh1)sinxsinhh=limh0{cosx(cosh1)hsinxsinhh}=limh0(cosxcosh1hsinxsinhh)=cosx0sinx1=sinx(9) \begin{aligned} (8)&=&\lim_{h\to 0}\frac{\cos x(\cos h-1)-\sin x\sin h}{h}\\ &=&\lim_{h\to 0}\left\{\frac{\cos x(\cos h-1)}{h}-\frac{\sin x\sin h}{h}\right\}\\ &=&\lim_{h\to 0}(\cos x\frac{\cos h - 1}{h}-\sin x\frac{\sin h}{h})\\ &=&\cos x\cdot 0-\sin x\cdot 1\\ &=&-\sin x\tag{9} \end{aligned}

次に f(x)=tanxf(x)=\tan x の導関数 f(x)f'(x) について, これは f(x)=(tanx)=(sinxcosx)f'(x)=(\tan x)'=(\frac{\sin x}{\cos x})' だから

f(x)=(sinxcosx)=(sinx)cosxsinx(cosx)cos2x=cosxcosxsinx(sinx)cos2x (7),(9) より=cos2x+sin2xcos2x=1cos2x \begin{aligned} f'(x)&=&(\frac{\sin x}{\cos x})'\\ &=&\frac{(\sin x)'\cos x-\sin x(\cos x)'}{\cos^2 x}\\ &=&\frac{\cos x\cos x-\sin x(-\sin x)}{\cos^2 x}\ \because (7),(9)\ {\rm より}\\ &=&\frac{\cos^2 x+\sin^2 x}{\cos^2 x}\\ &=&\frac{1}{\cos^2 x} \end{aligned}

最後に f(x)=1tanxf(x)=\frac{1}{\tan x} の導関数 f(x)f'(x) について, これは f(x)=1tanx=(cosxsinx)f'(x)=\frac{1}{\tan x}=(\frac{\cos x}{\sin x})' だから

f(x)=(cosxsinx)=(cosx)sinxcosx(sinx)sin2x=sinxsinxcosxcosxsin2x (7),(9) より=sin2x+cos2xsin2x=1sin2x \begin{aligned} f'(x)&=&(\frac{\cos x}{\sin x})'\\ &=&\frac{(\cos x)'\sin x-\cos x(\sin x)'}{\sin^2 x}\\ &=&\frac{-\sin x\sin x-\cos x\cos x}{\sin^2 x}\ \because (7),(9)\ {\rm より}\\ &=&-\frac{\sin^2x+\cos^2x}{\sin^2x}\\ &=&-\frac{1}{\sin^2x} \end{aligned}

和積の公式を用いた方法

(5),(8)(5),(8) の部分では加法定理を用いたが, 加法定理より導出できる和積の公式を用いても同様にして導出できる. (4)(4) より

sin(p+q)=sinpsinq+cospsinq(10) \sin(p+q)=\sin p\sin q+\cos p\sin q\tag{10} sin(pq)=sinpsinqcospsinq(11) \sin(p-q)=\sin p\sin q-\cos p\sin q\tag{11}

(10)+(11)(10)+(11) より sin(p+q)+sin(pq)=2sinpcosqsinpcosq=sin(p+q)+sin(pq)2(12)\sin(p+q)+\sin(p-q)=2\sin p\cos q\leftrightarrow \sin p\cos q=\frac{\sin(p+q)+\sin(p-q)}{2}\tag{12} また, (3)(3) より

cos(p+q)=cospcosqsinpsinq(13) \cos(p+q)=\cos p\cos q-\sin p\sin q\tag{13} cos(pq)=cospcosq+sinpsinq(14) \cos(p-q)=\cos p\cos q+\sin p\sin q\tag{14}

(13)(14)(13)-(14) より cos(p+q)cos(pq)=2sinpsinqsinpsinq=cos(p+q)cos(pq)2(15)\cos(p+q)-\cos(p-q)=-2\sin p\sin q\leftrightarrow \sin p\sin q=-\frac{\cos(p+q)-\cos(p-q)}{2}\tag{15}

(12),(15)(12),(15) は積和の公式といわれる (あともう 1 つ積和の公式と言われるものがあるが, 今回は利用しないので省略). ここで, (12)(12) に対し p=xy2,q=x+y2p=\frac{x-y}{2},q=\frac{x+y}{2} とすると,

sinxy2cosx+y2=sin(xy2+x+y2)+sin(xy2x+y2)2=sinxsiny2\begin{aligned} \sin\frac{x-y}{2}\cos\frac{x+y}{2}&=&\frac{\sin(\frac{x-y}{2}+\frac{x+y}{2})+\sin(\frac{x-y}{2}-\frac{x+y}{2})}{2}\\ &=&\frac{\sin x-\sin y}{2} \end{aligned}

ゆえに sinxsiny=2cosx+y2sinxy2(16)\sin x-\sin y=2\cos\frac{x+y}{2}\sin\frac{x-y}{2}\tag{16} また \(\) に対し p=x+y2,q=xy2p=\frac{x+y}{2},q=\frac{x-y}{2} とすると,

sinx+y2sinxy2=cos(x+y2+xy2)cos(x+y2xy2)2=cosxcosy2 \begin{aligned} \sin\frac{x+y}{2}\sin\frac{x-y}{2}&=&-\frac{\cos(\frac{x+y}{2}+\frac{x-y}{2})-\cos(\frac{x+y}{2}-\frac{x-y}{2})}{2}\\ &=&-\frac{\cos x-\cos y}{2} \end{aligned}

ゆえに

cosxcosy=2sinx+y2sinxy2(17)\cos x-\cos y=-2\sin\frac{x+y}{2}\sin\frac{x-y}{2}\tag{17} (16),(17)(16),(17) が和積の公式である (あともう 2 つ和積の公式と言われるものがあるが, 今回は利用しないので省略). (16)(16) をつかって f(x)=limh0sin(x+h)sinxh\displaystyle f'(x)=\lim_{h\to 0}\frac{\sin(x+h)-\sin x}{h} を変形すると,

f(x)=limh0sin(x+h)sinxh=limh02cos(2x+h2)sinh2h (16)=limh0cos(2x+h2)sinh2h2=cos(2x2)=cosx\begin{aligned} f'(x)&=&\lim_{h\to 0}\frac{\sin(x+h)-\sin x}{h}\\ &=&\lim_{h\to 0}\frac{2\cos(\frac{2x+h}{2})\sin\frac{h}{2}}{h}\ \because (16)\\ &=&\lim_{h\to 0}\frac{\cos(\frac{2x+h}{2})\sin\frac{h}{2}}{\frac{h}{2}}\\ &=&\cos(\frac{2x}{2})\\ &=&\cos x \end{aligned}

(7)(7) と同様の結果が得られる. また, (17)(17) をつかって f(x)=limh0cos(x+h)cosxh\displaystyle f'(x)=\lim_{h\to 0}\frac{\cos(x+h)-\cos x}{h} を変形すると,

f(x)=limh0cos(x+h)cosxh=limh02sin(2x+h2)sinh2h (17)=limh0sin(2x+h2)sinh2h2=sin(2x2)=sinx\begin{aligned} f'(x)&=&\lim_{h\to 0}\frac{\cos(x+h)-\cos x}{h}\\ &=&\lim_{h\to 0}\frac{-2\sin(\frac{2x+h}{2})\sin\frac{h}{2}}{h}\ \because (17)\\ &=&\lim_{h\to 0}-\frac{\sin(\frac{2x+h}{2})\sin\frac{h}{2}}{\frac{h}{2}}\\ &=&-\sin(\frac{2x}{2})\\ &=&-\sin x \end{aligned}

(9)(9) と同様の結果が得られる.

参考文献

  1. 三角関数とは何か』2018 年 9 月 6 日アクセス.
  2. 高木貞治 (1983) 『解析概論』岩波書店