第10章の最後で、次数下げのあとに sin 2θ + cos 2θ が残って手が止まりました。この章はそこから始めます。第9章 j19 (2) の展開を右から左へ読むと sin θ + cos θ = √2 sin(θ + π/4)——sin と cos の和が 1 つの sin にまとまります。一般の a sin θ + b cos θ でも同じことができて、点 (a, b) の原点からの距離 r = √(a² + b²) と、動径の角 α を使って r sin(θ + α) と書けます。これが三角関数の合成です。合成してしまえば、最大・最小は sin の値の範囲だけで決まり、第8章以来お預けだった sin θ + cos θ = k の方程式・不等式も「かたまり」の型に落ちます。後半では、2 次式を両替して合成する型と、t = sin θ + cos θ とおく置き換え(t の範囲を合成で出す)を扱い、周期の違う 2 つの波は 1 本にまとまらないことを見て第12章「積和・和積の公式」につなぎます。
右から左へ読む——sin と cos の和が 1 つの sin になる
第10章の最後で、sin 2 θ \sin^2\theta sin 2 θ + 2 sin θ cos θ {}+ 2\sin\theta\cos\theta + 2 sin θ cos θ + 3 cos 2 θ {}+ 3\cos^2\theta + 3 cos 2 θ を両替して 2 2 2 + sin 2 θ {}+ \sin 2\theta + sin 2 θ + cos 2 θ {}+ \cos 2\theta + cos 2 θ まで進み、そこで手が止まりました。sin 2 θ \sin 2\theta sin 2 θ + cos 2 θ {}+ \cos 2\theta + cos 2 θ は 1 種類にそろえることも、1 つのかたまりにすることもできなかったからです。j20 では「2 sin ( 2 θ + π 4 ) \sqrt{2}\sin\left(2\theta + \dfrac{\pi}{4}\right) 2 sin ( 2 θ + 4 π ) に等しい」という答えを先に渡して、加法定理で確かめてもらいました。この章では、その答えを自分で見つける 方法を作ります。
出発点は第9章 j19 (2) の展開です。
sin ( θ + π 4 ) \displaystyle \sin\left(\theta + \frac{\pi}{4}\right) sin ( θ + 4 π ) = sin θ cos π 4 \displaystyle {}= \sin\theta\cos\frac{\pi}{4} = sin θ cos 4 π + cos θ sin π 4 \displaystyle {}+ \cos\theta\sin\frac{\pi}{4} + cos θ sin 4 π = 2 2 ( sin θ + cos θ ) \displaystyle {}= \frac{\sqrt{2}}{2}(\sin\theta + \cos\theta) = 2 2 ( sin θ + cos θ )
これを右から左へ読み、両辺を 2 \sqrt{2} 2 倍すると
sin θ \displaystyle \sin\theta sin θ + cos θ \displaystyle {}+ \cos\theta + cos θ = 2 sin ( θ + π 4 ) \displaystyle {}= \sqrt{2}\sin\left(\theta + \frac{\pi}{4}\right) = 2 sin ( θ + 4 π )
sin \sin sin と cos \cos cos の和が、1 つの sin \sin sin にまとまりました。加法定理を「ほどく」向きではなく「まとめる」向きに使ったわけです。では sin θ \sin\theta sin θ + 3 cos θ {}+ \sqrt{3}\cos\theta + 3 cos θ や 3 sin θ 3\sin\theta 3 sin θ − 4 cos θ {}- 4\cos\theta − 4 cos θ のように係数が変わったら、2 \sqrt{2} 2 と π 4 \dfrac{\pi}{4} 4 π にあたる数はどう見つければよいでしょう。
一般に a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ を r sin ( θ + α ) r\sin(\theta + \alpha) r sin ( θ + α ) の形にしたいとします。右辺を加法定理でほどくと
r sin ( θ + α ) \displaystyle r\sin(\theta + \alpha) r sin ( θ + α ) = r cos α sin θ \displaystyle {}= r\cos\alpha\,\sin\theta = r cos α sin θ + r sin α cos θ \displaystyle {}+ r\sin\alpha\,\cos\theta + r sin α cos θ
なので、sin θ \sin\theta sin θ の係数どうし、cos θ \cos\theta cos θ の係数どうしを見比べて a a a = r cos α {}= r\cos\alpha = r cos α ,b b b = r sin α {}= r\sin\alpha = r sin α であればよい。つまり、点 ( a , b ) (a,\ b) ( a , b ) が「原点からの距離 r r r 、 動径の角 α \alpha α 」 の位置にある ということです。r r r は 2 点間の距離の公式で r r r = a 2 + b 2 {}= \sqrt{a^2 + b^2} = a 2 + b 2 、α \alpha α は cos α \cos\alpha cos α = a r {}= \dfrac{a}{r} = r a ,sin α \sin\alpha sin α = b r {}= \dfrac{b}{r} = r b を満たす角として決まります。
x
y
O
単位円
α
P(a, b)
r = √(a² + b²)
a
b
(cos α, sin α)
cos α = a/r,sin α = b/r
a = r cos α,b = r sin α
r r r = a 2 + b 2 {}= \sqrt{a^2 + b^2} = a 2 + b 2 は「係数を 2 乗して足して平方根」です。第9章 j15 で cos ( α − β ) \cos(\alpha - \beta) cos ( α − β ) を作るために 2 つの条件を 2 乗して足したのと同じ発想で、sin 2 α \sin^2\alpha sin 2 α + cos 2 α {}+ \cos^2\alpha + cos 2 α = 1 {}= 1 = 1 を使って ( r cos α ) 2 (r\cos\alpha)^2 ( r cos α ) 2 + ( r sin α ) 2 {}+ (r\sin\alpha)^2 + ( r sin α ) 2 = r 2 {}= r^2 = r 2 から r r r を取り出しています。sin θ \sin\theta sin θ + cos θ {}+ \cos\theta + cos θ なら a a a = b {}= b = b = 1 {}= 1 = 1 で r r r = 2 {}= \sqrt{2} = 2 、 点 ( 1 , 1 ) (1,\ 1) ( 1 , 1 ) の動径の角は π 4 \dfrac{\pi}{4} 4 π ——冒頭の式が、公式1からも出てきました。
グラフで見ると何が起きているのでしょう。y y y = 3 sin θ {}= \sqrt{3}\sin\theta = 3 sin θ と y y y = cos θ {}= \cos\theta = cos θ は、振幅も位置も違う 2 本の波です。ところが同じ θ \theta θ での高さを足し合わせると、結果は y y y = 2 sin ( θ + π 6 ) {}= 2\sin\left(\theta + \dfrac{\pi}{6}\right) = 2 sin ( θ + 6 π ) ——周期 2 π 2\pi 2 π の、きれいな 1 本の波になります。第7章小話3で「2 つの波の足し算」を予告しましたが、周期が同じ波どうしなら、足しても波の形は崩れず、振幅と位置だけが変わるのです。
θ
y
O
π/2
π
3π/2
2π
2
1
−1
−2
最大 2(θ = π/3)
y = √3 sin θ
y = cos θ
y = 2 sin(θ + π/6)(2 本の和)
三角関数の合成とは、加法定理を右から左へ読んで a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ を r sin ( θ + α ) r\sin(\theta + \alpha) r sin ( θ + α ) にまとめることで、r r r は点 ( a , b ) (a,\ b) ( a , b ) の原点からの距離、α \alpha α はその動径の角だということです。
例題1:合成する
(1) sin θ \sin\theta sin θ + 3 cos θ {}+ \sqrt{3}\cos\theta + 3 cos θ
(2) 3 sin θ \sqrt{3}\sin\theta 3 sin θ − cos θ {}- \cos\theta − cos θ
(3) − sin θ -\sin\theta − sin θ + cos θ {}+ \cos\theta + cos θ
r r r > 0 {}> 0 > 0 ,− π -\pi − π < α {}< \alpha < α ≦ π {}\leqq \pi ≦ π として、上の各式を r sin ( θ + α ) r\sin(\theta + \alpha) r sin ( θ + α ) の形で表しなさい。
【解答】
(1) 点 ( 1 , 3 ) (1,\ \sqrt{3}) ( 1 , 3 ) で r r r = 1 + 3 {}= \sqrt{1 + 3} = 1 + 3 = 2 {}= 2 = 2 。( 1 2 , 3 2 ) \left(\dfrac{1}{2},\ \dfrac{\sqrt{3}}{2}\right) ( 2 1 , 2 3 ) = ( cos α , sin α ) {}= (\cos\alpha,\ \sin\alpha) = ( cos α , sin α ) となる角は α \alpha α = π 3 {}= \dfrac{\pi}{3} = 3 π 。
sin θ \displaystyle \sin\theta sin θ + 3 cos θ \displaystyle {}+ \sqrt{3}\cos\theta + 3 cos θ = 2 sin ( θ + π 3 ) ‾ \displaystyle {}= \underline{2\sin\left(\theta + \frac{\pi}{3}\right)} = 2 sin ( θ + 3 π ) (2) 点 ( 3 , − 1 ) (\sqrt{3},\ -1) ( 3 , − 1 ) で r r r = 3 + 1 {}= \sqrt{3 + 1} = 3 + 1 = 2 {}= 2 = 2 。( 3 2 , − 1 2 ) \left(\dfrac{\sqrt{3}}{2},\ -\dfrac{1}{2}\right) ( 2 3 , − 2 1 ) は第4象限の点で、α \alpha α = − π 6 {}= -\dfrac{\pi}{6} = − 6 π 。
3 sin θ \displaystyle \sqrt{3}\sin\theta 3 sin θ − cos θ \displaystyle {}- \cos\theta − cos θ = 2 sin ( θ − π 6 ) ‾ \displaystyle {}= \underline{2\sin\left(\theta - \frac{\pi}{6}\right)} = 2 sin ( θ − 6 π ) (3) 点 ( − 1 , 1 ) (-1,\ 1) ( − 1 , 1 ) で r r r = 2 {}= \sqrt{2} = 2 。( − 2 2 , 2 2 ) \left(-\dfrac{\sqrt{2}}{2},\ \dfrac{\sqrt{2}}{2}\right) ( − 2 2 , 2 2 ) は第2象限の点で、α \alpha α = 3 4 π {}= \dfrac{3}{4}\pi = 4 3 π 。
− sin θ \displaystyle -\sin\theta − sin θ + cos θ \displaystyle {}+ \cos\theta + cos θ = 2 sin ( θ + 3 4 π ) ‾ \displaystyle {}= \underline{\sqrt{2}\sin\left(\theta + \frac{3}{4}\pi\right)} = 2 sin ( θ + 4 3 π ) 検算は、右辺を加法定理でほどけばできます。(2) なら 2 ( sin θ cos π 6 − cos θ sin π 6 ) 2\left(\sin\theta\cos\dfrac{\pi}{6} - \cos\theta\sin\dfrac{\pi}{6}\right) 2 ( sin θ cos 6 π − cos θ sin 6 π ) = 3 sin θ {}= \sqrt{3}\sin\theta = 3 sin θ − cos θ {}- \cos\theta − cos θ で元に戻ります。(1) は fig02 とは別の組(sin \sin sin の係数が 1 1 1 、cos \cos cos の係数が 3 \sqrt{3} 3 ) なので、α \alpha α が π 6 \dfrac{\pi}{6} 6 π ではなく π 3 \dfrac{\pi}{3} 3 π になっています。点 ( 1 , 3 ) (1,\ \sqrt{3}) ( 1 , 3 ) と点 ( 3 , 1 ) (\sqrt{3},\ 1) ( 3 , 1 ) は直線 y y y = x {}= x = x について対称なので、動径の角も π 3 \dfrac{\pi}{3} 3 π と π 6 \dfrac{\pi}{6} 6 π ——足して π 2 \dfrac{\pi}{2} 2 π になる組(第6章公式5の π 2 \dfrac{\pi}{2} 2 π − θ {}- \theta − θ ) です。
α の決め方——点 (a, b) の象限を見る
合成でいちばん間違えやすいのは α \alpha α の符号です。tan α \tan\alpha tan α = b a {}= \dfrac{b}{a} = a b だけで決めようとすると、tan \tan tan の値が同じ角は π \pi π 違いで 2 つあるので(第8章公式2)、どちらか分かりません。例題1 (2) の tan α \tan\alpha tan α = − 1 3 {}= -\dfrac{1}{\sqrt{3}} = − 3 1 を満たす角は − π 6 -\dfrac{\pi}{6} − 6 π と 5 6 π \dfrac{5}{6}\pi 6 5 π の 2 つで、点 ( 3 , − 1 ) (\sqrt{3},\ -1) ( 3 , − 1 ) が第4象限にあることを見て初めて − π 6 -\dfrac{\pi}{6} − 6 π に決まります。
cos α \cos\alpha cos α = a r {}= \dfrac{a}{r} = r a と sin α \sin\alpha sin α = b r {}= \dfrac{b}{r} = r b の両方 を見れば迷いません。a a a の符号が cos α \cos\alpha cos α の符号、b b b の符号が sin α \sin\alpha sin α の符号です。第6章の「地図の方角」でいえば、cos \cos cos が東西、sin \sin sin が南北で、( a , b ) (a,\ b) ( a , b ) の位置がそのまま α \alpha α の方角を指しています。
α \alpha α の範囲を − π -\pi − π < α {}< \alpha < α ≦ π {}\leqq \pi ≦ π にするのは、θ \theta θ + 11 6 π {}+ \dfrac{11}{6}\pi + 6 11 π と書くより θ \theta θ − π 6 {}- \dfrac{\pi}{6} − 6 π と書くほうが、あとで「かたまりの範囲」を追うときに見やすいからです。− π 6 -\dfrac{\pi}{6} − 6 π + 2 π {}+ 2\pi + 2 π = 11 6 π {}= \dfrac{11}{6}\pi = 6 11 π なので、どちらも同じ関数です。
cos \cos cos での合成は、r cos ( θ − β ) r\cos(\theta - \beta) r cos ( θ − β ) = r cos β cos θ {}= r\cos\beta\cos\theta = r cos β cos θ + r sin β sin θ {}+ r\sin\beta\sin\theta + r sin β sin θ を係数比較したものです。cos θ \cos\theta cos θ の係数 b b b が r cos β r\cos\beta r cos β 、sin θ \sin\theta sin θ の係数 a a a が r sin β r\sin\beta r sin β になるので、点 ( b , a ) (b,\ a) ( b , a ) の動径の角が β \beta β ——sin \sin sin の合成で使う点 ( a , b ) (a,\ b) ( a , b ) を、直線 y y y = x {}= x = x で折り返した点です(第6章の折り紙)。sin ( θ + α ) \sin(\theta + \alpha) sin ( θ + α ) = cos ( θ + α − π 2 ) {}= \cos\left(\theta + \alpha - \dfrac{\pi}{2}\right) = cos ( θ + α − 2 π ) なので、sin \sin sin で合成した式を π 2 \dfrac{\pi}{2} 2 π ずらせば cos \cos cos の形になり、r r r は変わりません。r r r は「どちらで合成しても同じ」、つまり波の振幅そのものです。
α \alpha α は tan \tan tan だけでなく cos α \cos\alpha cos α と sin α \sin\alpha sin α の両方の符号、つまり点 ( a , b ) (a,\ b) ( a , b ) の象限で決め、合成した式は振幅 r r r ・ 左に α \alpha α ずらした波として読めるということです。
例題2:グラフを読む・cos で合成する
(1) 関数 y y y = 3 sin θ {}= \sqrt{3}\sin\theta = 3 sin θ + cos θ {}+ \cos\theta + cos θ のグラフの振幅と周期、および y y y = sin θ {}= \sin\theta = sin θ のグラフをどれだけ平行移動したものかを求めなさい。
(2) r r r > 0 {}> 0 > 0 ,− π -\pi − π < β {}< \beta < β ≦ π {}\leqq \pi ≦ π として、3 sin θ \sqrt{3}\sin\theta 3 sin θ + cos θ {}+ \cos\theta + cos θ を r cos ( θ − β ) r\cos(\theta - \beta) r cos ( θ − β ) の形で表しなさい。
【解答】
(1) 点 ( 3 , 1 ) (\sqrt{3},\ 1) ( 3 , 1 ) で r r r = 2 {}= 2 = 2 、( 3 2 , 1 2 ) \left(\dfrac{\sqrt{3}}{2},\ \dfrac{1}{2}\right) ( 2 3 , 2 1 ) は α \alpha α = π 6 {}= \dfrac{\pi}{6} = 6 π 。 よって
y \displaystyle y y = 2 sin ( θ + π 6 ) \displaystyle {}= 2\sin\left(\theta + \frac{\pi}{6}\right) = 2 sin ( θ + 6 π ) 第7章の読み方で、振幅 2 2 2 、 周期 2 π 2\pi 2 π 、y y y = sin θ {}= \sin\theta = sin θ のグラフを θ \theta θ 軸方向に − π 6 -\dfrac{\pi}{6} − 6 π (左に π 6 \dfrac{\pi}{6} 6 π ) だけ平行移動し、y y y 軸方向に 2 2 2 倍に引き伸ばしたもの です。(fig02 の太線)
(2) r cos ( θ − β ) r\cos(\theta - \beta) r cos ( θ − β ) = r cos β cos θ {}= r\cos\beta\cos\theta = r cos β cos θ + r sin β sin θ {}+ r\sin\beta\sin\theta + r sin β sin θ と見比べて、r cos β r\cos\beta r cos β = 1 {}= 1 = 1 (cos θ \cos\theta cos θ の係数)、r sin β r\sin\beta r sin β = 3 {}= \sqrt{3} = 3 (sin θ \sin\theta sin θ の係数)。点 ( 1 , 3 ) (1,\ \sqrt{3}) ( 1 , 3 ) で r r r = 2 {}= 2 = 2 ,β \beta β = π 3 {}= \dfrac{\pi}{3} = 3 π 。
3 sin θ \displaystyle \sqrt{3}\sin\theta 3 sin θ + cos θ \displaystyle {}+ \cos\theta + cos θ = 2 cos ( θ − π 3 ) ‾ \displaystyle {}= \underline{2\cos\left(\theta - \frac{\pi}{3}\right)} = 2 cos ( θ − 3 π ) (1) と (2) は同じ関数の 2 通りの書き方で、2 sin ( θ + π 6 ) 2\sin\left(\theta + \dfrac{\pi}{6}\right) 2 sin ( θ + 6 π ) = 2 cos ( θ + π 6 − π 2 ) {}= 2\cos\left(\theta + \dfrac{\pi}{6} - \dfrac{\pi}{2}\right) = 2 cos ( θ + 6 π − 2 π ) = 2 cos ( θ − π 3 ) {}= 2\cos\left(\theta - \dfrac{\pi}{3}\right) = 2 cos ( θ − 3 π ) とつながっています(第6章公式5)。sin \sin sin で合成すると「左に π 6 \dfrac{\pi}{6} 6 π 」、cos \cos cos で合成すると「cos \cos cos のグラフを右に π 3 \dfrac{\pi}{3} 3 π 」 で、どちらも同じ波を指しています。fig02 で最大 2 2 2 をとる θ \theta θ = π 3 {}= \dfrac{\pi}{3} = 3 π は、cos \cos cos の式なら θ \theta θ − π 3 {}- \dfrac{\pi}{3} − 3 π = 0 {}= 0 = 0 で一目です。
合成で最大・最小を求める
合成の最大の利点は、最大・最小が一瞬で分かる ことです。y y y = r sin ( θ + α ) {}= r\sin(\theta + \alpha) = r sin ( θ + α ) は sin \sin sin の値が − 1 -1 − 1 から 1 1 1 までなので、θ \theta θ に範囲がなければ最大値 r r r 、 最小値 − r -r − r 。 範囲があるときは、第7章・第8章と同じく、かたまり θ \theta θ + α {}+ \alpha + α を箱に入れて「箱の中身の範囲」を先に書きます。
範囲つきのときに注意したいのは、sin t \sin t sin t が 1 1 1 や − 1 -1 − 1 に届かないことがある点です。範囲の端で sin t \sin t sin t の値がいくつか、途中に π 2 \dfrac{\pi}{2} 2 π や 3 2 π \dfrac{3}{2}\pi 2 3 π を通るかどうか、を単位円で確かめます。第10章 j15 で t t t = sin θ {}= \sin\theta = sin θ の範囲を狭めたのと同じ発想で、今度はかたまり θ \theta θ + α {}+ \alpha + α の範囲を狭めます。
合成すれば最大・最小は sin \sin sin の値の幅で決まり、範囲なしなら ± r \pm r ± r 、 範囲つきならかたまり θ \theta θ + α {}+ \alpha + α の範囲を先に書いて単位円で読むということです。
例題3:合成で最大・最小
(1) 0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π のとき、関数 y y y = sin θ {}= \sin\theta = sin θ − cos θ {}- \cos\theta − cos θ の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
(2) 0 0 0 ≦ θ {}\leqq \theta ≦ θ ≦ π 2 {}\leqq \dfrac{\pi}{2} ≦ 2 π のとき、関数 y y y = sin θ {}= \sin\theta = sin θ + 3 cos θ {}+ \sqrt{3}\cos\theta + 3 cos θ の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
【解答】
(1) 点 ( 1 , − 1 ) (1,\ -1) ( 1 , − 1 ) で r r r = 2 {}= \sqrt{2} = 2 ,α \alpha α = − π 4 {}= -\dfrac{\pi}{4} = − 4 π なので y y y = 2 sin ( θ − π 4 ) {}= \sqrt{2}\sin\left(\theta - \dfrac{\pi}{4}\right) = 2 sin ( θ − 4 π ) 。 かたまり t t t = θ {}= \theta = θ − π 4 {}- \dfrac{\pi}{4} − 4 π の範囲は − π 4 -\dfrac{\pi}{4} − 4 π ≦ t {}\leqq t ≦ t < 7 4 π {}< \dfrac{7}{4}\pi < 4 7 π で、単位円をちょうど 1 周します。sin t \sin t sin t = 1 {}= 1 = 1 は t t t = π 2 {}= \dfrac{\pi}{2} = 2 π 、sin t \sin t sin t = − 1 {}= -1 = − 1 は t t t = 3 2 π {}= \dfrac{3}{2}\pi = 2 3 π で、θ \theta θ に戻すと 3 4 π \dfrac{3}{4}\pi 4 3 π ,7 4 π \dfrac{7}{4}\pi 4 7 π 。
最大値 2 ( θ = 3 4 π ) , ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}\text{最大値 } \sqrt{2}\ \left(\theta = \frac{3}{4}\pi\right),} 最大値 2 ( θ = 4 3 π ) , 最小値 ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}\quad \text{最小値 }} 最小値 − 2 ( θ = 7 4 π ) ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}{}-\sqrt{2}\ \left(\theta = \frac{7}{4}\pi\right)} − 2 ( θ = 4 7 π ) (2) 例題1 (1) より y y y = 2 sin ( θ + π 3 ) {}= 2\sin\left(\theta + \dfrac{\pi}{3}\right) = 2 sin ( θ + 3 π ) 。 かたまり t t t = θ {}= \theta = θ + π 3 {}+ \dfrac{\pi}{3} + 3 π の範囲は π 3 \dfrac{\pi}{3} 3 π ≦ t {}\leqq t ≦ t ≦ 5 6 π {}\leqq \dfrac{5}{6}\pi ≦ 6 5 π 。 この範囲で sin t \sin t sin t は、t t t = π 3 {}= \dfrac{\pi}{3} = 3 π の 3 2 \dfrac{\sqrt{3}}{2} 2 3 から t t t = π 2 {}= \dfrac{\pi}{2} = 2 π で 1 1 1 まで上がり、t t t = 5 6 π {}= \dfrac{5}{6}\pi = 6 5 π で 1 2 \dfrac{1}{2} 2 1 まで下がります。最大は t t t = π 2 {}= \dfrac{\pi}{2} = 2 π (θ \theta θ = π 6 {}= \dfrac{\pi}{6} = 6 π ) で 2 2 2 、 最小は右端 t t t = 5 6 π {}= \dfrac{5}{6}\pi = 6 5 π (θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π ) で 2 ⋅ 1 2 2 \cdot \dfrac{1}{2} 2 ⋅ 2 1 = 1 {}= 1 = 1 。
最大値 2 ( θ = π 6 ) , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.8360em}\text{最大値 } 2\ \left(\theta = \frac{\pi}{6}\right),} 最大値 2 ( θ = 6 π ) , 最小値 1 ( θ = π 2 ) ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.8360em}\quad \text{最小値 } 1\ \left(\theta = \frac{\pi}{2}\right)} 最小値 1 ( θ = 2 π ) (2) は sin t \sin t sin t = − 1 {}= -1 = − 1 に届かないので、最小値は − 2 -2 − 2 ではありません。検算:θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π を元の式に入れると 1 1 1 + 0 {}+ 0 + 0 = 1 {}= 1 = 1 、θ \theta θ = π 6 {}= \dfrac{\pi}{6} = 6 π なら 1 2 \dfrac{1}{2} 2 1 + 3 ⋅ 3 2 {}+ \sqrt{3} \cdot \dfrac{\sqrt{3}}{2} + 3 ⋅ 2 3 = 2 {}= 2 = 2 で合っています。(1) の θ \theta θ = 3 4 π {}= \dfrac{3}{4}\pi = 4 3 π は sin θ \sin\theta sin θ = 2 2 {}= \dfrac{\sqrt{2}}{2} = 2 2 ,cos θ \cos\theta cos θ = − 2 2 {}= -\dfrac{\sqrt{2}}{2} = − 2 2 で差が 2 \sqrt{2} 2 ——「sin \sin sin が正で cos \cos cos が負」の点で差が最大になる、という直感とも合います。
合成を使った方程式・不等式——sin θ + cos θ = k をようやく
第8章の申し送りで「sin θ \sin\theta sin θ + cos θ {}+ \cos\theta + cos θ = k {}= k = k は合成が要るので後回し」と書きました。合成ができた今、この型は第8章の「かたまり」の方程式(公式5)に落ちます。
第8章では sin θ \sin\theta sin θ = k {}= k = k の k k k がすべて三角定規の値でした。この章でも、合成したあとの k r \dfrac{k}{r} r k が三角定規の値になる問題だけを扱います。手順 2 の「かたまりの範囲」は、α \alpha α が負のときは − π 6 -\dfrac{\pi}{6} − 6 π ≦ t {}\leqq t ≦ t < 11 6 π {}< \dfrac{11}{6}\pi < 6 11 π のように 0 0 0 より手前から始まるので、単位円のどこから 1 周するかを確かめてから交点を数えます。
a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ = k {}= k = k は、合成して sin ( θ + α ) \sin(\theta + \alpha) sin ( θ + α ) = k r {}= \dfrac{k}{r} = r k にし、かたまりの範囲を先に書いて第8章の型で解くということです。
例題4:合成を使った方程式・不等式
0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π とします。
(1) 方程式 sin θ \sin\theta sin θ + cos θ {}+ \cos\theta + cos θ = 1 {}= 1 = 1 の解を求めなさい。
(2) 不等式 3 sin θ \sqrt{3}\sin\theta 3 sin θ − cos θ {}- \cos\theta − cos θ > 1 {}> 1 > 1 の解を求めなさい。
【解答】
(1) 左辺を合成して 2 sin ( θ + π 4 ) \sqrt{2}\sin\left(\theta + \dfrac{\pi}{4}\right) 2 sin ( θ + 4 π ) = 1 {}= 1 = 1 、 つまり sin ( θ + π 4 ) \sin\left(\theta + \dfrac{\pi}{4}\right) sin ( θ + 4 π ) = 2 2 {}= \dfrac{\sqrt{2}}{2} = 2 2 。 かたまり t t t = θ {}= \theta = θ + π 4 {}+ \dfrac{\pi}{4} + 4 π の範囲は π 4 \dfrac{\pi}{4} 4 π ≦ t {}\leqq t ≦ t < 9 4 π {}< \dfrac{9}{4}\pi < 4 9 π 。 この範囲で水面 y y y = 2 2 {}= \dfrac{\sqrt{2}}{2} = 2 2 との交点は t t t = π 4 , {}= \dfrac{\pi}{4}, = 4 π , 3 4 π \ \dfrac{3}{4}\pi 4 3 π (9 4 π \dfrac{9}{4}\pi 4 9 π は範囲外)。θ \theta θ = t {}= t = t − π 4 {}- \dfrac{\pi}{4} − 4 π に戻して
θ = 0 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.7936em}\theta = 0,} θ = 0 , π 2 ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.7936em}\ \frac{\pi}{2}} 2 π (2) 点 ( 3 , − 1 ) (\sqrt{3},\ -1) ( 3 , − 1 ) で r r r = 2 {}= 2 = 2 ,α \alpha α = − π 6 {}= -\dfrac{\pi}{6} = − 6 π (例題1 (2))。2 sin ( θ − π 6 ) 2\sin\left(\theta - \dfrac{\pi}{6}\right) 2 sin ( θ − 6 π ) > 1 {}> 1 > 1 より sin ( θ − π 6 ) \sin\left(\theta - \dfrac{\pi}{6}\right) sin ( θ − 6 π ) > 1 2 {}> \dfrac{1}{2} > 2 1 。 かたまり t t t = θ {}= \theta = θ − π 6 {}- \dfrac{\pi}{6} − 6 π の範囲は − π 6 -\dfrac{\pi}{6} − 6 π ≦ t {}\leqq t ≦ t < 11 6 π {}< \dfrac{11}{6}\pi < 6 11 π 。 境目 sin t \sin t sin t = 1 2 {}= \dfrac{1}{2} = 2 1 はこの範囲で t t t = π 6 , {}= \dfrac{\pi}{6}, = 6 π , 5 6 π \ \dfrac{5}{6}\pi 6 5 π 、 水面より上の弧は π 6 \dfrac{\pi}{6} 6 π < t {}< t < t < 5 6 π {}< \dfrac{5}{6}\pi < 6 5 π 。θ \theta θ = t {}= t = t + π 6 {}+ \dfrac{\pi}{6} + 6 π に戻して
π 3 < θ < π ‾ \underline{\frac{\pi}{3} < \theta < \pi} 3 π < θ < π (1) の検算:θ \theta θ = 0 {}= 0 = 0 で 0 0 0 + 1 {}+ 1 + 1 = 1 {}= 1 = 1 、θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π で 1 1 1 + 0 {}+ 0 + 0 = 1 {}= 1 = 1 。 (2) の検算:θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π (解に含まれる)で 3 \sqrt{3} 3 − 0 {}- 0 − 0 > 1 {}> 1 > 1 、θ \theta θ = π {}= \pi = π (境目)で 0 0 0 + 1 {}+ 1 + 1 = 1 {}= 1 = 1 で等号になり、含まれません。範囲が − π 6 -\dfrac{\pi}{6} − 6 π から始まるので、t t t = π 6 {}= \dfrac{\pi}{6} = 6 π の手前に「− π 6 -\dfrac{\pi}{6} − 6 π から π 6 \dfrac{\pi}{6} 6 π まで」の水面より下の弧があり、そこは解に入りません。かたまりの範囲を書かずに 0 0 0 ≦ t {}\leqq t ≦ t < 2 π {}< 2\pi < 2 π と思い込むと、この端の処理を誤ります。
2 次式は両替してから合成する
第10章の j20 に戻ります。sin 2 θ \sin^2\theta sin 2 θ ,sin θ cos θ \sin\theta\cos\theta sin θ cos θ ,cos 2 θ \cos^2\theta cos 2 θ を含む 2 次式は、両替(次数下げ)で sin 2 θ \sin 2\theta sin 2 θ と cos 2 θ \cos 2\theta cos 2 θ の 1 次式になり、定数が余ります。残った a sin 2 θ a\sin 2\theta a sin 2 θ + b cos 2 θ {}+ b\cos 2\theta + b cos 2 θ を合成すれば、かたまり 2 θ 2\theta 2 θ + α {}+ \alpha + α の 1 つの sin \sin sin になります。j20 の f ( θ ) f(\theta) f ( θ ) = 2 {}= 2 = 2 + sin 2 θ {}+ \sin 2\theta + sin 2 θ + cos 2 θ {}+ \cos 2\theta + cos 2 θ = 2 {}= 2 = 2 + 2 sin ( 2 θ + π 4 ) {}+ \sqrt{2}\sin\left(2\theta + \dfrac{\pi}{4}\right) + 2 sin ( 2 θ + 4 π ) で最大が θ \theta θ = π 8 {}= \dfrac{\pi}{8} = 8 π だったのは、この 2 段の手順の結果でした。
第10章の公式6では「1 種類にそろう型」と「次数を下げて 2 θ 2\theta 2 θ のかたまりにする型」の 2 つでした。合成が加わって、次数を下げたあとに sin 2 θ \sin 2\theta sin 2 θ と cos 2 θ \cos 2\theta cos 2 θ が両方残る型も、同じ「かたまり」の型に落ちます。2 次式の最大・最小は、これで一通りそろったことになります。
sin \sin sin ・cos \cos cos の 2 次式は、両替で sin 2 θ \sin 2\theta sin 2 θ ・cos 2 θ \cos 2\theta cos 2 θ の 1 次式にし、残った 2 項を合成してかたまり 2 θ 2\theta 2 θ + α {}+ \alpha + α の範囲で読むということです。
例題5:2 次式を両替して合成する
0 0 0 ≦ θ {}\leqq \theta ≦ θ ≦ π 2 {}\leqq \dfrac{\pi}{2} ≦ 2 π のとき、関数 y y y = 3 sin 2 θ {}= 3\sin^2\theta = 3 sin 2 θ + 2 3 sin θ cos θ {}+ 2\sqrt{3}\sin\theta\cos\theta + 2 3 sin θ cos θ + cos 2 θ {}+ \cos^2\theta + cos 2 θ の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
【解答】
3 つの項をすべて両替します。
y \displaystyle y y = 3 ( 1 − cos 2 θ ) 2 \displaystyle {}= \frac{3(1 - \cos 2\theta)}{2} = 2 3 ( 1 − cos 2 θ ) + 3 sin 2 θ \displaystyle {}+ \sqrt{3}\sin 2\theta + 3 sin 2 θ + 1 + cos 2 θ 2 \displaystyle {}+ \frac{1 + \cos 2\theta}{2} + 2 1 + cos 2 θ = 2 \displaystyle {}= 2 = 2 + 3 sin 2 θ \displaystyle {}+ \sqrt{3}\sin 2\theta + 3 sin 2 θ − cos 2 θ \displaystyle {}- \cos 2\theta − cos 2 θ 3 sin 2 θ \sqrt{3}\sin 2\theta 3 sin 2 θ − cos 2 θ {}- \cos 2\theta − cos 2 θ を合成します。点 ( 3 , − 1 ) (\sqrt{3},\ -1) ( 3 , − 1 ) で r r r = 2 {}= 2 = 2 ,α \alpha α = − π 6 {}= -\dfrac{\pi}{6} = − 6 π なので
y \displaystyle y y = 2 \displaystyle {}= 2 = 2 + 2 sin ( 2 θ − π 6 ) \displaystyle {}+ 2\sin\left(2\theta - \frac{\pi}{6}\right) + 2 sin ( 2 θ − 6 π ) かたまり t t t = 2 θ {}= 2\theta = 2 θ − π 6 {}- \dfrac{\pi}{6} − 6 π の範囲は、0 0 0 ≦ 2 θ {}\leqq 2\theta ≦ 2 θ ≦ π {}\leqq \pi ≦ π より − π 6 -\dfrac{\pi}{6} − 6 π ≦ t {}\leqq t ≦ t ≦ 5 6 π {}\leqq \dfrac{5}{6}\pi ≦ 6 5 π 。 この範囲で sin t \sin t sin t は t t t = − π 6 {}= -\dfrac{\pi}{6} = − 6 π の − 1 2 -\dfrac{1}{2} − 2 1 から t t t = π 2 {}= \dfrac{\pi}{2} = 2 π で 1 1 1 まで上がり、t t t = 5 6 π {}= \dfrac{5}{6}\pi = 6 5 π で 1 2 \dfrac{1}{2} 2 1 まで下がります。
最大:t t t = π 2 {}= \dfrac{\pi}{2} = 2 π , つまり θ \theta θ = π 3 {}= \dfrac{\pi}{3} = 3 π で 2 2 2 + 2 {}+ 2 + 2 = 4 {}= 4 = 4
最小:t t t = − π 6 {}= -\dfrac{\pi}{6} = − 6 π , つまり θ \theta θ = 0 {}= 0 = 0 で 2 2 2 + 2 ⋅ ( − 1 2 ) {}+ 2 \cdot \left(-\dfrac{1}{2}\right) + 2 ⋅ ( − 2 1 ) = 1 {}= 1 = 1
最大値 4 ( θ = π 3 ) , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.8360em}\text{最大値 } 4\ \left(\theta = \frac{\pi}{3}\right),} 最大値 4 ( θ = 3 π ) , 最小値 1 ( θ = 0 ) ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.8360em}\quad \text{最小値 } 1\ (\theta = 0)} 最小値 1 ( θ = 0 ) 検算:θ \theta θ = 0 {}= 0 = 0 で y y y = 0 {}= 0 = 0 + 0 {}+ 0 + 0 + 1 {}+ 1 + 1 = 1 {}= 1 = 1 、θ \theta θ = π 3 {}= \dfrac{\pi}{3} = 3 π で y y y = 3 ⋅ 3 4 {}= 3 \cdot \dfrac{3}{4} = 3 ⋅ 4 3 + 2 3 ⋅ 3 2 ⋅ 1 2 {}+ 2\sqrt{3} \cdot \dfrac{\sqrt{3}}{2} \cdot \dfrac{1}{2} + 2 3 ⋅ 2 3 ⋅ 2 1 + 1 4 {}+ \dfrac{1}{4} + 4 1 = 9 4 {}= \dfrac{9}{4} = 4 9 + 3 2 {}+ \dfrac{3}{2} + 2 3 + 1 4 {}+ \dfrac{1}{4} + 4 1 = 4 {}= 4 = 4 。 両替で係数が半分になったり定数が出たりするので、最後は元の式に代入して確かめる癖をつけておくと安心です。
t = sin θ + cos θ とおく——和と積をつなぐ置き換え
sin θ \sin\theta sin θ + cos θ {}+ \cos\theta + cos θ と sin θ cos θ \sin\theta\cos\theta sin θ cos θ が同時に現れる式には、もう 1 つ定番の方法があります。第6章 j11 で見たように、( sin θ + cos θ ) 2 (\sin\theta + \cos\theta)^2 ( sin θ + cos θ ) 2 = 1 {}= 1 = 1 + 2 sin θ cos θ {}+ 2\sin\theta\cos\theta + 2 sin θ cos θ なので、和を t t t とおけば積も t t t で書けます。ただし t t t の動く範囲は、合成が無いと決められませんでした。この章でようやく道具がそろいます。
t t t の範囲を − 1 -1 − 1 ≦ t {}\leqq t ≦ t ≦ 1 {}\leqq 1 ≦ 1 や − 2 -2 − 2 ≦ t {}\leqq t ≦ t ≦ 2 {}\leqq 2 ≦ 2 と書いてしまう間違いがよくあります。sin θ \sin\theta sin θ と cos θ \cos\theta cos θ はそれぞれ − 1 -1 − 1 から 1 1 1 ですが、両方が同時に 1 1 1 になることはなく(相互関係に反する)、和の最大は θ \theta θ = π 4 {}= \dfrac{\pi}{4} = 4 π の 2 \sqrt{2} 2 です。合成 2 sin ( θ + π 4 ) \sqrt{2}\sin\left(\theta + \dfrac{\pi}{4}\right) 2 sin ( θ + 4 π ) がその根拠になります。置き換えたあとは、第8章 j16・第10章 j12 と同じ「範囲つきの 2 次関数の最大・最小」です。
t
y
O
−√2
−1
√2
−1
1/2 + √2
最大(t = √2)
最小 −1(t = −1)
(−√2, 1/2 − √2)
y = (1/2)(t + 1)² − 1
sin θ \sin\theta sin θ + cos θ {}+ \cos\theta + cos θ = t {}= t = t とおくと積は t 2 − 1 2 \dfrac{t^2 - 1}{2} 2 t 2 − 1 で書け、t t t の範囲 − 2 -\sqrt{2} − 2 ≦ t {}\leqq t ≦ t ≦ 2 {}\leqq \sqrt{2} ≦ 2 は合成で決まるということです。
例題6:t = sin θ + cos θ の置き換え
0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π のとき、関数 y y y = sin θ cos θ {}= \sin\theta\cos\theta = sin θ cos θ + sin θ {}+ \sin\theta + sin θ + cos θ {}+ \cos\theta + cos θ の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
【解答】
t t t = sin θ {}= \sin\theta = sin θ + cos θ {}+ \cos\theta + cos θ とおくと、t t t = 2 sin ( θ + π 4 ) {}= \sqrt{2}\sin\left(\theta + \dfrac{\pi}{4}\right) = 2 sin ( θ + 4 π ) で、θ \theta θ + π 4 {}+ \dfrac{\pi}{4} + 4 π は π 4 \dfrac{\pi}{4} 4 π から 9 4 π \dfrac{9}{4}\pi 4 9 π の手前まで 1 周するので − 2 -\sqrt{2} − 2 ≦ t {}\leqq t ≦ t ≦ 2 {}\leqq \sqrt{2} ≦ 2 。sin θ cos θ \sin\theta\cos\theta sin θ cos θ = t 2 − 1 2 {}= \dfrac{t^2 - 1}{2} = 2 t 2 − 1 より
y \displaystyle y y = t 2 − 1 2 \displaystyle {}= \frac{t^2 - 1}{2} = 2 t 2 − 1 + t \displaystyle {}+ t + t = 1 2 ( t + 1 ) 2 \displaystyle {}= \frac{1}{2}(t + 1)^2 = 2 1 ( t + 1 ) 2 − 1 \displaystyle {}- 1 − 1 図のように下に凸の放物線で、頂点 t t t = − 1 {}= -1 = − 1 は範囲内なので最小値は − 1 -1 − 1 。 最大は頂点から遠い右端 t t t = 2 {}= \sqrt{2} = 2 で y y y = 2 − 1 2 {}= \dfrac{2 - 1}{2} = 2 2 − 1 + 2 {}+ \sqrt{2} + 2 = 1 2 {}= \dfrac{1}{2} = 2 1 + 2 {}+ \sqrt{2} + 2 。
θ \theta θ に戻します。t t t = 2 {}= \sqrt{2} = 2 は sin ( θ + π 4 ) \sin\left(\theta + \dfrac{\pi}{4}\right) sin ( θ + 4 π ) = 1 {}= 1 = 1 で θ \theta θ + π 4 {}+ \dfrac{\pi}{4} + 4 π = π 2 {}= \dfrac{\pi}{2} = 2 π 、 つまり θ \theta θ = π 4 {}= \dfrac{\pi}{4} = 4 π 。t t t = − 1 {}= -1 = − 1 は sin ( θ + π 4 ) \sin\left(\theta + \dfrac{\pi}{4}\right) sin ( θ + 4 π ) = − 2 2 {}= -\dfrac{\sqrt{2}}{2} = − 2 2 で θ \theta θ + π 4 {}+ \dfrac{\pi}{4} + 4 π = 5 4 π , {}= \dfrac{5}{4}\pi, = 4 5 π , 7 4 π \ \dfrac{7}{4}\pi 4 7 π 、 つまり θ \theta θ = π , {}= \pi, = π , 3 2 π \ \dfrac{3}{2}\pi 2 3 π 。
最大値 1 2 ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}\text{最大値 } \frac{1}{2}} 最大値 2 1 + 2 ( θ = π 4 ) , ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}{}+ \sqrt{2}\ \left(\theta = \frac{\pi}{4}\right),} + 2 ( θ = 4 π ) , 最小値 ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}\quad \text{最小値 }} 最小値 − 1 ( θ = π , 3 2 π ) ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}{}-1\ \left(\theta = \pi,\ \frac{3}{2}\pi\right)} − 1 ( θ = π , 2 3 π ) 検算:θ \theta θ = π {}= \pi = π で y y y = 0 {}= 0 = 0 + 0 {}+ 0 + 0 + ( − 1 ) {}+ (-1) + ( − 1 ) = − 1 {}= -1 = − 1 、θ \theta θ = 3 2 π {}= \dfrac{3}{2}\pi = 2 3 π で y y y = 0 {}= 0 = 0 + ( − 1 ) {}+ (-1) + ( − 1 ) + 0 {}+ 0 + 0 = − 1 {}= -1 = − 1 。 最小をとる θ \theta θ が 2 つあるのは、t t t = − 1 {}= -1 = − 1 という水面が単位円と 2 点で交わるからで、第8章の「t t t 1 個に θ \theta θ が 2 個」がここでも効いています。
第12章へ——周期が違う 2 つの波は 1 本にならない
合成は、sin θ \sin\theta sin θ と cos θ \cos\theta cos θ のように周期が同じ 2 つの波を足したときに、1 本の波にまとめる道具でした。角の部分が同じ(θ \theta θ と θ \theta θ 、2 θ 2\theta 2 θ と 2 θ 2\theta 2 θ ) だからこそ、加法定理の展開形と見比べられたのです。
では sin 3 θ \sin 3\theta sin 3 θ + sin θ {}+ \sin\theta + sin θ はどうでしょう。周期 2 3 π \dfrac{2}{3}\pi 3 2 π の波と周期 2 π 2\pi 2 π の波の和で、角がそろっていないので合成できません。グラフを描いても、単純なサインカーブにはなりません。ところが、この和にも別のまとめ方があります。第9章公式6の「よく使う結果」で
sin ( α + β ) \displaystyle \sin(\alpha + \beta) sin ( α + β ) + sin ( α − β ) \displaystyle {}+ \sin(\alpha - \beta) + sin ( α − β ) = 2 sin α cos β \displaystyle {}= 2\sin\alpha\cos\beta = 2 sin α cos β
を出しました。α \alpha α = 2 θ {}= 2\theta = 2 θ ,β \beta β = θ {}= \theta = θ とおけば sin 3 θ \sin 3\theta sin 3 θ + sin θ {}+ \sin\theta + sin θ = 2 sin 2 θ cos θ {}= 2\sin 2\theta\cos\theta = 2 sin 2 θ cos θ ——和が、2 つの波の積 にまとまります。第12章では、この足し引きに「積和・和積の公式」という名前を付けて整理し、周期の違う波の和を積に直す方法を扱います。第8章小話3で予告した楽器の「うなり」の正体も、そこで分かります。j20 で入口だけ見ておきましょう。
※ここは発展ページ です。高校の範囲では「a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ を r sin ( θ + α ) r\sin(\theta + \alpha) r sin ( θ + α ) に直し、最大最小・方程式・不等式に使える」ことで十分ですが、「α \alpha α はいつでも見つかるのか?」「r r r と α \alpha α は 1 通りに決まるのか?」「sin \sin sin で合成しても cos \cos cos で合成しても r r r が同じなのはなぜか?」が気になる人のために、根拠を紹介します。
定理1:合成の存在と一意性
a a a ,b b b を同時に 0 0 0 でない実数とし、r r r = a 2 + b 2 {}= \sqrt{a^2 + b^2} = a 2 + b 2 とおく。このとき
(1) cos α \cos\alpha cos α = a r {}= \dfrac{a}{r} = r a ,sin α \sin\alpha sin α = b r {}= \dfrac{b}{r} = r b を満たす実数 α \alpha α が存在し、すべての実数 θ \theta θ について a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ = r sin ( θ + α ) {}= r\sin(\theta + \alpha) = r sin ( θ + α ) が成り立つ。
(2) 逆に、r ′ r' r ′ > 0 {}> 0 > 0 と実数 α ′ \alpha' α ′ が、すべての実数 θ \theta θ について a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ = r ′ sin ( θ + α ′ ) {}= r'\sin(\theta + \alpha') = r ′ sin ( θ + α ′ ) を満たすなら、r ′ r' r ′ = r {}= r = r であり、α ′ \alpha' α ′ = α {}= \alpha = α + 2 n π {}+ 2n\pi + 2 nπ (n n n は整数)である。
証明 (1) r r r > 0 {}> 0 > 0 であり、( a r ) 2 \left(\dfrac{a}{r}\right)^2 ( r a ) 2 + ( b r ) 2 {}+ \left(\dfrac{b}{r}\right)^2 + ( r b ) 2 = a 2 + b 2 r 2 {}= \dfrac{a^2 + b^2}{r^2} = r 2 a 2 + b 2 = 1 {}= 1 = 1 なので、点 ( a r , b r ) \left(\dfrac{a}{r},\ \dfrac{b}{r}\right) ( r a , r b ) は単位円上にある。第5章の一般角の定義より、単位円上のどの点も、ある角 α \alpha α の動径と単位円の交点として表せるから、第6章の定義で cos α \cos\alpha cos α = a r {}= \dfrac{a}{r} = r a ,sin α \sin\alpha sin α = b r {}= \dfrac{b}{r} = r b となる α \alpha α が存在する。このとき第9章の加法定理(任意の実数で成立)より
r sin ( θ + α ) \displaystyle r\sin(\theta + \alpha) r sin ( θ + α ) = r ( sin θ cos α + cos θ sin α ) \displaystyle {}= r(\sin\theta\cos\alpha + \cos\theta\sin\alpha) = r ( sin θ cos α + cos θ sin α ) = r cos α sin θ \displaystyle {}= r\cos\alpha\,\sin\theta = r cos α sin θ + r sin α cos θ \displaystyle {}+ r\sin\alpha\,\cos\theta + r sin α cos θ = a sin θ \displaystyle {}= a\sin\theta = a sin θ + b cos θ \displaystyle {}+ b\cos\theta + b cos θ (2) 等式に θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π を代入すると a a a = r ′ cos α ′ {}= r'\cos\alpha' = r ′ cos α ′ 、θ \theta θ = 0 {}= 0 = 0 を代入すると b b b = r ′ sin α ′ {}= r'\sin\alpha' = r ′ sin α ′ 。 2 乗して足すと a 2 a^2 a 2 + b 2 {}+ b^2 + b 2 = r ′ 2 {}= r'^2 = r ′2 で、r ′ r' r ′ > 0 {}> 0 > 0 より r ′ r' r ′ = r {}= r = r 。 したがって cos α ′ \cos\alpha' cos α ′ = a r {}= \dfrac{a}{r} = r a = cos α {}= \cos\alpha = cos α ,sin α ′ \sin\alpha' sin α ′ = b r {}= \dfrac{b}{r} = r b = sin α {}= \sin\alpha = sin α で、α \alpha α と α ′ \alpha' α ′ の動径が一致するから α ′ \alpha' α ′ = α {}= \alpha = α + 2 n π {}+ 2n\pi + 2 nπ (第5章の定義)。(証明終)
(1) の「単位円上の点は必ずある角の動径の先にある」が、α \alpha α が見つかることの根拠です。a a a ,b b b が三角定規の値でなくても(j04 の ( 3 , − 4 ) (3,\ -4) ( 3 , − 4 ) )、α \alpha α という角は確かに 1 つ存在します。ただし、その値を π \pi π の分数で書けるかどうかは別の話で、第8章の厳密定義の補足(sin θ \sin\theta sin θ = 0.3 {}= 0.3 = 0.3 の解)と同じ事情です。(2) の証明で使った「すべての θ \theta θ で成り立つ等式に、都合のよい θ \theta θ を代入する」技法は、第7章の周期の証明(定理1)と同じです。α \alpha α が 2 π 2\pi 2 π の整数倍を除いて 1 通りに決まるので、本文では − π -\pi − π < α {}< \alpha < α ≦ π {}\leqq \pi ≦ π の代表を選びました。
定理2:値域と、方程式が解をもつ条件
a a a ,b b b を同時に 0 0 0 でない実数、r r r = a 2 + b 2 {}= \sqrt{a^2 + b^2} = a 2 + b 2 とする。関数 y y y = a sin θ {}= a\sin\theta = a sin θ + b cos θ {}+ b\cos\theta + b cos θ (θ \theta θ は実数全体)の値域は − r -r − r ≦ y {}\leqq y ≦ y ≦ r {}\leqq r ≦ r であり、方程式 a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ = k {}= k = k が解をもつための必要十分条件は ∣ k ∣ |k| ∣ k ∣ ≦ r {}\leqq r ≦ r である。
証明 定理1より y y y = r sin ( θ + α ) {}= r\sin(\theta + \alpha) = r sin ( θ + α ) 。θ \theta θ が実数全体を動くとき θ \theta θ + α {}+ \alpha + α も実数全体を動くので、sin ( θ + α ) \sin(\theta + \alpha) sin ( θ + α ) の値域は第6章の補足より − 1 -1 − 1 以上 1 1 1 以下のすべての値であり、r r r > 0 {}> 0 > 0 を掛けて y y y の値域は − r -r − r ≦ y {}\leqq y ≦ y ≦ r {}\leqq r ≦ r 。 方程式が解をもつことは k k k が値域に入ることと同じなので、∣ k ∣ |k| ∣ k ∣ ≦ r {}\leqq r ≦ r が必要十分である。(証明終)
j15 の「解をもつ k k k の範囲は − 2 -2 − 2 ≦ k {}\leqq k ≦ k ≦ 2 {}\leqq 2 ≦ 2 」 はこの定理そのものです。θ \theta θ に範囲があるとき(j18)は θ \theta θ + α {}+ \alpha + α が実数全体を動かないので、値域は − r -r − r ≦ y {}\leqq y ≦ y ≦ r {}\leqq r ≦ r より狭くなることがあり、本文で「かたまりの範囲を先に書く」と繰り返したのはそのためです。
定理3:cos での合成と、r の不変性
a a a ,b b b を同時に 0 0 0 でない実数、r r r = a 2 + b 2 {}= \sqrt{a^2 + b^2} = a 2 + b 2 とする。
(1) cos β \cos\beta cos β = b r {}= \dfrac{b}{r} = r b ,sin β \sin\beta sin β = a r {}= \dfrac{a}{r} = r a を満たす β \beta β をとると、すべての実数 θ \theta θ について a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ = r cos ( θ − β ) {}= r\cos(\theta - \beta) = r cos ( θ − β ) 。
(2) r ′ r' r ′ > 0 {}> 0 > 0 ,γ \gamma γ が、すべての実数 θ \theta θ について a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ = r ′ cos ( θ + γ ) {}= r'\cos(\theta + \gamma) = r ′ cos ( θ + γ ) を満たすなら r ′ r' r ′ = r {}= r = r 。
すなわち、sin \sin sin で合成しても cos \cos cos で合成しても、また θ \theta θ + α {}+ \alpha + α の形でも θ \theta θ − β {}- \beta − β の形でも、係数 r r r は a 2 + b 2 \sqrt{a^2 + b^2} a 2 + b 2 に等しい。
証明 (1) 点 ( b r , a r ) \left(\dfrac{b}{r},\ \dfrac{a}{r}\right) ( r b , r a ) も単位円上にあるので定理1と同様に β \beta β が存在し、加法定理より r cos ( θ − β ) r\cos(\theta - \beta) r cos ( θ − β ) = r cos β cos θ {}= r\cos\beta\cos\theta = r cos β cos θ + r sin β sin θ {}+ r\sin\beta\sin\theta + r sin β sin θ = b cos θ {}= b\cos\theta = b cos θ + a sin θ {}+ a\sin\theta + a sin θ 。
(2) θ \theta θ = 0 {}= 0 = 0 を代入して b b b = r ′ cos γ {}= r'\cos\gamma = r ′ cos γ 、θ \theta θ = − π 2 {}= -\dfrac{\pi}{2} = − 2 π を代入して a a a = r ′ cos ( γ − π 2 ) {}= r'\cos\left(\gamma - \dfrac{\pi}{2}\right) = r ′ cos ( γ − 2 π ) = r ′ sin γ {}= r'\sin\gamma = r ′ sin γ 。 2 乗して足すと a 2 a^2 a 2 + b 2 {}+ b^2 + b 2 = r ′ 2 {}= r'^2 = r ′2 で、r ′ r' r ′ = r {}= r = r 。 (証明終)
r r r は「どの形で書くか」によらない、関数そのものに属する量です。第7章の言葉でいえば振幅で、グラフの山の高さは表し方を変えても変わりません。一方 α \alpha α や β \beta β は「どの関数を基準にどれだけずらすか」を表す量なので、sin \sin sin 基準と cos \cos cos 基準で π 2 \dfrac{\pi}{2} 2 π 違います(例題2・j08・j16)。物理や工学で「振幅」と「位相」を区別して扱うのは、この違いに対応しています。
定理4:t = sin θ + cos θ の値域と、t と θ の対応
t t t = sin θ {}= \sin\theta = sin θ + cos θ {}+ \cos\theta + cos θ とおくと、θ \theta θ が実数全体を動くとき t t t の値域は − 2 -\sqrt{2} − 2 ≦ t {}\leqq t ≦ t ≦ 2 {}\leqq \sqrt{2} ≦ 2 であり、sin θ cos θ \sin\theta\cos\theta sin θ cos θ = t 2 − 1 2 {}= \dfrac{t^2 - 1}{2} = 2 t 2 − 1 が成り立つ。また 0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π の範囲では、− 2 -\sqrt{2} − 2 < t {}< t < t < 2 {}< \sqrt{2} < 2 の各 t t t に対して θ \theta θ はちょうど 2 個、t t t = ± 2 {}= \pm\sqrt{2} = ± 2 に対しては 1 個である。
証明 定理1で a a a = b {}= b = b = 1 {}= 1 = 1 とすると t t t = 2 sin ( θ + π 4 ) {}= \sqrt{2}\sin\left(\theta + \dfrac{\pi}{4}\right) = 2 sin ( θ + 4 π ) なので、定理2より値域は − 2 -\sqrt{2} − 2 ≦ t {}\leqq t ≦ t ≦ 2 {}\leqq \sqrt{2} ≦ 2 。 また t 2 t^2 t 2 = sin 2 θ {}= \sin^2\theta = sin 2 θ + 2 sin θ cos θ {}+ 2\sin\theta\cos\theta + 2 sin θ cos θ + cos 2 θ {}+ \cos^2\theta + cos 2 θ = 1 {}= 1 = 1 + 2 sin θ cos θ {}+ 2\sin\theta\cos\theta + 2 sin θ cos θ より sin θ cos θ \sin\theta\cos\theta sin θ cos θ = t 2 − 1 2 {}= \dfrac{t^2 - 1}{2} = 2 t 2 − 1 。 後半は、θ \theta θ + π 4 {}+ \dfrac{\pi}{4} + 4 π が π 4 \dfrac{\pi}{4} 4 π ≦ θ {}\leqq \theta ≦ θ + π 4 {}+ \dfrac{\pi}{4} + 4 π < 9 4 π {}< \dfrac{9}{4}\pi < 4 9 π の 1 周分を動くので、第8章の厳密定義 定理1(sin \sin sin の方程式の解の個数)をかたまりに適用すればよい。(証明終)
例題6・j13 で「t t t の範囲を − 1 -1 − 1 ≦ t {}\leqq t ≦ t ≦ 1 {}\leqq 1 ≦ 1 としない」と注意しましたが、その根拠がこの定理です。sin θ \sin\theta sin θ と cos θ \cos\theta cos θ を別々の変数と思うと和は − 2 -2 − 2 から 2 2 2 まで動きそうですが、2 つは sin 2 θ \sin^2\theta sin 2 θ + cos 2 θ {}+ \cos^2\theta + cos 2 θ = 1 {}= 1 = 1 で縛られているので、実際の幅は 2 \sqrt{2} 2 倍までしか広がりません。sin θ \sin\theta sin θ − cos θ {}- \cos\theta − cos θ ,sin θ \sin\theta sin θ + 3 cos θ {}+ \sqrt{3}\cos\theta + 3 cos θ などの置き換えでも、範囲は毎回合成で決めます。
補足:周期が同じ波の和は同じ周期の波、周期が違うと崩れる。定理1をもう少し一般に述べると、同じ ω \omega ω > 0 {}> 0 > 0 に対して A sin ( ω t + φ 1 ) A\sin(\omega t + \varphi_1) A sin ( ω t + φ 1 ) + B sin ( ω t + φ 2 ) {}+ B\sin(\omega t + \varphi_2) + B sin ( ω t + φ 2 ) は、加法定理でほどけば ( … ) sin ω t (\ldots)\sin\omega t ( … ) sin ω t + ( … ) cos ω t {}+ (\ldots)\cos\omega t + ( … ) cos ω t の形になるので、必ず R sin ( ω t + φ ) R\sin(\omega t + \varphi) R sin ( ω t + φ ) という 同じ周期の 1 つの波 にまとまります(小話1・2 で使ったのはこの形です)。一方、sin 3 θ \sin 3\theta sin 3 θ + sin θ {}+ \sin\theta + sin θ のように周期の違う波の和は、周期 2 π 2\pi 2 π の関数ではあっても R sin ( θ + φ ) R\sin(\theta + \varphi) R sin ( θ + φ ) の形にはなりません。もしなるとすれば、θ \theta θ = 0 {}= 0 = 0 を代入して R sin φ R\sin\varphi R sin φ = 0 {}= 0 = 0 、θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π を代入して R cos φ R\cos\varphi R cos φ = 0 {}= 0 = 0 (sin 3 2 π \sin\dfrac{3}{2}\pi sin 2 3 π + sin π 2 {}+ \sin\dfrac{\pi}{2} + sin 2 π = − 1 {}= -1 = − 1 + 1 {}+ 1 + 1 = 0 {}= 0 = 0 ) が同時に成り立ち、R R R = 0 {}= 0 = 0 となりますが、θ \theta θ = π 4 {}= \dfrac{\pi}{4} = 4 π では sin 3 4 π \sin\dfrac{3}{4}\pi sin 4 3 π + sin π 4 {}+ \sin\dfrac{\pi}{4} + sin 4 π = 2 {}= \sqrt{2} = 2 ≠ 0 {}\neq 0 = 0 なので矛盾するからです。周期の違う波を扱うには、和を積に直す第12章の和積の公式が要ります。