第11章の最後で、sin 3θ + sin θ は周期が違うので合成できず、第9章公式6 の足し引きで 2 sin 2θ cos θ という「積」になることを見ました。この章はそこから始めます。加法定理の 4 本を足し引きして「積を和に直す」積和の公式を名前つきで整理し、α + β = A、α − β = B とおき直して「和を積に直す」和積の公式を作ります。積和は sin 75° cos 15° や cos 20° cos 40° cos 80° のような値の計算と、積の形の関数の最大・最小に、和積は sin 3θ = sin θ のような方程式に効きます(第10章 j17 と同じ答えが、3 倍角なしで出ます)。後半では、周期の違う 2 本の波の和が「平均の速い波 × 差のゆっくりした波」と読めることを確かめ、第7・8章の小話で予告した大潮小潮とうなりの正体を明かします。分野の最終章なので、最後に三角比から三角関数までの 12 章を振り返り、微分積分・ベクトル・複素数平面への道を案内します。
足し引きに名前を付ける——積和の公式
第11章の j20 で、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 θ に直しました。3 θ 3\theta 3 θ = 2 θ {}= 2\theta = 2 θ + θ {}+ \theta + θ ,θ \theta θ = 2 θ {}= 2\theta = 2 θ − θ {}- \theta − θ と見て加法定理でほどき、2 本を足すと cos 2 θ sin θ \cos 2\theta\sin\theta cos 2 θ sin θ が消える——という計算でした。実はこの足し引きは、第9章公式6の「よく使う結果」でもう出ています。この章では、それを 4 本そろえて名前を付けるところから始めます。
加法定理の 4 本を並べます。
sin ( α + β ) \displaystyle \sin(\alpha + \beta) sin ( α + β ) = sin α cos β \displaystyle {}= \sin\alpha\cos\beta = sin α cos β + cos α sin β \displaystyle {}+ \cos\alpha\sin\beta + cos α sin β sin ( α − β ) \displaystyle \sin(\alpha - \beta) sin ( α − β ) = sin α cos β \displaystyle {}= \sin\alpha\cos\beta = sin α cos β − cos α sin β \displaystyle {}- \cos\alpha\sin\beta − cos α sin β cos ( α + β ) \displaystyle \cos(\alpha + \beta) cos ( α + β ) = cos α cos β \displaystyle {}= \cos\alpha\cos\beta = cos α cos β − sin α sin β \displaystyle {}- \sin\alpha\sin\beta − sin α sin β cos ( α − β ) \displaystyle \cos(\alpha - \beta) cos ( α − β ) = cos α cos β \displaystyle {}= \cos\alpha\cos\beta = cos α cos β + sin α sin β \displaystyle {}+ \sin\alpha\sin\beta + sin α sin β
1 本目と 2 本目を足すと cos α sin β \cos\alpha\sin\beta cos α sin β が消えて 2 sin α cos β 2\sin\alpha\cos\beta 2 sin α cos β が残り、引くと sin α cos β \sin\alpha\cos\beta sin α cos β が消えて 2 cos α sin β 2\cos\alpha\sin\beta 2 cos α sin β が残ります。3 本目と 4 本目も同じで、足せば 2 cos α cos β 2\cos\alpha\cos\beta 2 cos α cos β 、 引けば − 2 sin α sin β -2\sin\alpha\sin\beta − 2 sin α sin β 。 両辺を 2 2 2 で割って左右を入れ替えると、積が和(差)で書けます 。
4 本目だけ先頭にマイナスが付くのは、cos \cos cos の加法定理が「仲間どうし・逆符号」で、sin α sin β \sin\alpha\sin\beta sin α sin β の前がマイナスだからです。1 2 { cos ( α − β ) − cos ( α + β ) } \dfrac{1}{2}\{\cos(\alpha - \beta) - \cos(\alpha + \beta)\} 2 1 { cos ( α − β ) − cos ( α + β )} と、引く順番を入れ替えて書いても同じです。
第10章の「両替」を覚えているでしょうか。sin θ cos θ \sin\theta\cos\theta sin θ cos θ = sin 2 θ 2 {}= \dfrac{\sin 2\theta}{2} = 2 sin 2 θ は、次数を 1 つ手放すかわりに角を 2 倍にしてもらう両替でした。これは公式1の 1 本目で β \beta β = α {}= \alpha = α とした特別な場合です(sin 0 \sin 0 sin 0 = 0 {}= 0 = 0 なので 2 項目が消えます)。cos 2 α \cos^2\alpha cos 2 α = 1 + cos 2 α 2 {}= \dfrac{1 + \cos 2\alpha}{2} = 2 1 + cos 2 α も 3 本目で β \beta β = α {}= \alpha = α としたもの。積和の公式は、両替の窓口を、違う角どうしの積にまで広げたもの です。sin 3 θ cos θ \sin 3\theta\cos\theta sin 3 θ cos θ のような「角の違う 2 枚」を出すと、角の和 4 θ 4\theta 4 θ と角の差 2 θ 2\theta 2 θ の 2 枚に崩してくれます。
積和の公式とは、加法定理の 2 本を足し引きして積 sin α cos β \sin\alpha\cos\beta sin α cos β などを「角の和」と「角の差」の sin \sin sin ・cos \cos cos の和に直すもので、第10章の次数下げはその β \beta β = α {}= \alpha = α の場合だということです。
例題1:積を和・差に直す
(1) sin 3 θ cos θ \sin 3\theta\cos\theta sin 3 θ cos θ
(2) cos 5 θ cos 2 θ \cos 5\theta\cos 2\theta cos 5 θ cos 2 θ
(3) sin 2 θ sin θ \sin 2\theta\sin\theta sin 2 θ sin θ
上の各式を、sin \sin sin または cos \cos cos の和または差の形で表しなさい。
【解答】
(1) 公式1の 1 本目で α \alpha α = 3 θ {}= 3\theta = 3 θ ,β \beta β = θ {}= \theta = θ 。 角の和は 4 θ 4\theta 4 θ 、 差は 2 θ 2\theta 2 θ です。
sin 3 θ cos θ \displaystyle \sin 3\theta\cos\theta sin 3 θ cos θ = 1 2 ( sin 4 θ + sin 2 θ ) ‾ \displaystyle {}= \underline{\frac{1}{2}(\sin 4\theta + \sin 2\theta)} = 2 1 ( sin 4 θ + sin 2 θ ) (2) 3 本目で α \alpha α = 5 θ {}= 5\theta = 5 θ ,β \beta β = 2 θ {}= 2\theta = 2 θ 。
cos 5 θ cos 2 θ \displaystyle \cos 5\theta\cos 2\theta cos 5 θ cos 2 θ = 1 2 ( cos 7 θ + cos 3 θ ) ‾ \displaystyle {}= \underline{\frac{1}{2}(\cos 7\theta + \cos 3\theta)} = 2 1 ( cos 7 θ + cos 3 θ ) (3) 4 本目で α \alpha α = 2 θ {}= 2\theta = 2 θ ,β \beta β = θ {}= \theta = θ 。
sin 2 θ sin θ \displaystyle \sin 2\theta\sin\theta sin 2 θ sin θ = − 1 2 ( cos 3 θ − cos θ ) \displaystyle {}= -\frac{1}{2}(\cos 3\theta - \cos\theta) = − 2 1 ( cos 3 θ − cos θ ) = 1 2 ( cos θ − cos 3 θ ) ‾ \displaystyle {}= \underline{\frac{1}{2}(\cos\theta - \cos 3\theta)} = 2 1 ( cos θ − cos 3 θ ) 検算は θ \theta θ に具体的な値を入れるのが手軽です。(3) で θ \theta θ = π 2 {}= \dfrac{\pi}{2} = 2 π とすると、左辺は sin π sin π 2 \sin\pi\sin\dfrac{\pi}{2} sin π sin 2 π = 0 {}= 0 = 0 、 右辺は 1 2 ( 0 − cos 3 2 π ) \dfrac{1}{2}\left(0 - \cos\dfrac{3}{2}\pi\right) 2 1 ( 0 − cos 2 3 π ) = 0 {}= 0 = 0 。 (1) で θ \theta θ = π 6 {}= \dfrac{\pi}{6} = 6 π なら、左辺 sin π 2 cos π 6 \sin\dfrac{\pi}{2}\cos\dfrac{\pi}{6} sin 2 π cos 6 π = 3 2 {}= \dfrac{\sqrt{3}}{2} = 2 3 、 右辺 1 2 ( sin 2 3 π + sin π 3 ) \dfrac{1}{2}\left(\sin\dfrac{2}{3}\pi + \sin\dfrac{\pi}{3}\right) 2 1 ( sin 3 2 π + sin 3 π ) = 3 2 {}= \dfrac{\sqrt{3}}{2} = 2 3 で合っています。
逆向きに読む——和積の公式
積和の公式を右から左へ読むと、「和」が「積」になります。ただし右辺の角は α \alpha α + β {}+ \beta + β と α \alpha α − β {}- \beta − β という形なので、sin 5 θ \sin 5\theta sin 5 θ + sin 3 θ {}+ \sin 3\theta + sin 3 θ のような和に使うには、5 θ 5\theta 5 θ と 3 θ 3\theta 3 θ がそれぞれ何の和・差なのかを先に探す必要があります。
そこで文字をおき直します。
α \displaystyle \alpha α + β \displaystyle {}+ \beta + β = A , \displaystyle {}= A, = A , α \displaystyle \alpha α − β \displaystyle {}- \beta − β = B \displaystyle {}= B = B
とおくと、足して 2 2 2 で割れば α \alpha α = A + B 2 {}= \dfrac{A + B}{2} = 2 A + B 、 引いて 2 2 2 で割れば β \beta β = A − B 2 {}= \dfrac{A - B}{2} = 2 A − B 。 2 つの数を「真ん中」と「半分の差」で言い直す操作です。70 70 70 と 50 50 50 を「60 60 60 から上下に 10 10 10 ずつ」と言い直すのと同じで、5 θ 5\theta 5 θ と 3 θ 3\theta 3 θ なら真ん中が 4 θ 4\theta 4 θ 、 半分の差が θ \theta θ です。これを公式1に入れると、次の 4 本ができます。
sin \sin sin の和なら「sin \sin sin (真ん中)×cos \cos cos (半分の差)」、cos \cos cos の和なら「cos × cos \cos \times \cos cos × cos 」。 差のときは、sin \sin sin の差が「cos \cos cos (真ん中)×sin \sin sin (半分の差)」、cos \cos cos の差が「− 2 sin × sin -2\sin \times \sin − 2 sin × sin 」 です。第11章 j20 の cos 3 θ \cos 3\theta cos 3 θ + cos θ {}+ \cos\theta + cos θ = 2 cos 2 θ cos θ {}= 2\cos 2\theta\cos\theta = 2 cos 2 θ cos θ は 3 本目で A A A = 3 θ {}= 3\theta = 3 θ ,B B B = θ {}= \theta = θ としたもので、真ん中 2 θ 2\theta 2 θ 、 半分の差 θ \theta θ がそのまま現れています。
「A A A , B B B はどんな角でもよいのか」は気になるところです。A A A ,B B B を先に決めても、α \alpha α = A + B 2 {}= \dfrac{A + B}{2} = 2 A + B ,β \beta β = A − B 2 {}= \dfrac{A - B}{2} = 2 A − B という α \alpha α ,β \beta β が必ず 1 組見つかるので、公式1から公式2へのおき直しはいつでもできます(厳密定義の定理2)。
和積の公式とは、積和の公式を α \alpha α + β {}+ \beta + β = A {}= A = A ,α \alpha α − β {}- \beta − β = B {}= B = B とおき直して逆向きに読んだもので、和 sin A \sin A sin A + sin B {}+ \sin B + sin B などを「真ん中の角」と「半分の差の角」の積に直すということです。
例題2:和・差を積に直す
(1) sin 5 θ \sin 5\theta sin 5 θ + sin 3 θ {}+ \sin 3\theta + sin 3 θ
(2) sin 5 θ \sin 5\theta sin 5 θ − sin θ {}- \sin\theta − sin θ
(3) cos 3 θ \cos 3\theta cos 3 θ − cos 7 θ {}- \cos 7\theta − cos 7 θ
上の各式を積の形で表しなさい。
【解答】
(1) 真ん中 5 θ + 3 θ 2 \dfrac{5\theta + 3\theta}{2} 2 5 θ + 3 θ = 4 θ {}= 4\theta = 4 θ , 半分の差 5 θ − 3 θ 2 \dfrac{5\theta - 3\theta}{2} 2 5 θ − 3 θ = θ {}= \theta = θ 。
sin 5 θ \displaystyle \sin 5\theta sin 5 θ + sin 3 θ \displaystyle {}+ \sin 3\theta + sin 3 θ = 2 sin 4 θ cos θ ‾ \displaystyle {}= \underline{2\sin 4\theta\cos\theta} = 2 sin 4 θ cos θ (2) 真ん中 3 θ 3\theta 3 θ , 半分の差 2 θ 2\theta 2 θ 。sin \sin sin の差は「cos \cos cos (真ん中)×sin \sin sin (半分の差)」です。
sin 5 θ \displaystyle \sin 5\theta sin 5 θ − sin θ \displaystyle {}- \sin\theta − sin θ = 2 cos 3 θ sin 2 θ ‾ \displaystyle {}= \underline{2\cos 3\theta\sin 2\theta} = 2 cos 3 θ sin 2 θ (3) 真ん中 5 θ 5\theta 5 θ , 半分の差 3 θ − 7 θ 2 \dfrac{3\theta - 7\theta}{2} 2 3 θ − 7 θ = − 2 θ {}= -2\theta = − 2 θ 。
cos 3 θ \displaystyle \cos 3\theta cos 3 θ − cos 7 θ \displaystyle {}- \cos 7\theta − cos 7 θ = − 2 sin 5 θ sin ( − 2 θ ) \displaystyle {}= -2\sin 5\theta\sin(-2\theta) = − 2 sin 5 θ sin ( − 2 θ ) = 2 sin 5 θ sin 2 θ ‾ \displaystyle {}= \underline{2\sin 5\theta\sin 2\theta} = 2 sin 5 θ sin 2 θ (3) は半分の差が負になりましたが、sin ( − 2 θ ) \sin(-2\theta) sin ( − 2 θ ) = − sin 2 θ {}= -\sin 2\theta = − sin 2 θ (第6章公式4)でマイナスを外に出せば、きれいな積になります。(1) の検算:θ \theta θ = π 8 {}= \dfrac{\pi}{8} = 8 π で、左辺 sin 5 8 π \sin\dfrac{5}{8}\pi sin 8 5 π + sin 3 8 π {}+ \sin\dfrac{3}{8}\pi + sin 8 3 π 、 右辺 2 sin π 2 cos π 8 2\sin\dfrac{\pi}{2}\cos\dfrac{\pi}{8} 2 sin 2 π cos 8 π = 2 cos π 8 {}= 2\cos\dfrac{\pi}{8} = 2 cos 8 π 。sin 5 8 π \sin\dfrac{5}{8}\pi sin 8 5 π = sin 3 8 π {}= \sin\dfrac{3}{8}\pi = sin 8 3 π = cos π 8 {}= \cos\dfrac{\pi}{8} = cos 8 π (第6章公式5)なので一致します。
値の計算——積は積和で、和は和積で
三角定規の角ではない 75 ∘ 75^\circ 7 5 ∘ ,15 ∘ 15^\circ 1 5 ∘ でも、和と差が 90 ∘ 90^\circ 9 0 ∘ ,60 ∘ 60^\circ 6 0 ∘ になる組なら、積和・和積で三角定規の値に落とせます。第9章では sin 75 ∘ \sin 75^\circ sin 7 5 ∘ を加法定理で 6 + 2 4 \dfrac{\sqrt{6} + \sqrt{2}}{4} 4 6 + 2 と出してから掛け算しましたが、積和なら 1 行です。値の計算では角が見やすいので、この節は度で書きます。
3 つ目の型は、1 つ 1 つの値(cos 20 ∘ \cos 20^\circ cos 2 0 ∘ など)は三角定規の値でなく、記号で書けません。それでも積全体の値は 1 8 \dfrac{1}{8} 8 1 のようなきれいな数になります。書けない値どうしが、積和の途中で打ち消し合ってくれるからです。
値の計算では、積なら積和で「和と差の角」に、和なら和積で「真ん中と半分の差の角」に移して三角定規の値にし、3 つの積は 2 つずつ崩して打ち消し合いを探すということです。
例題3:値の計算
(1) sin 75 ∘ cos 15 ∘ \sin 75^\circ\cos 15^\circ sin 7 5 ∘ cos 1 5 ∘
(2) sin 75 ∘ + sin 15 ∘ \sin 75^\circ + \sin 15^\circ sin 7 5 ∘ + sin 1 5 ∘
(3) cos 20 ∘ cos 40 ∘ cos 80 ∘ \cos 20^\circ\cos 40^\circ\cos 80^\circ cos 2 0 ∘ cos 4 0 ∘ cos 8 0 ∘
上の各式の値を求めなさい。
【解答】
(1) 積和の 1 本目で、角の和 90 ∘ 90^\circ 9 0 ∘ 、 差 60 ∘ 60^\circ 6 0 ∘ 。
sin 75 ∘ cos 15 ∘ \displaystyle \sin 75^\circ\cos 15^\circ sin 7 5 ∘ cos 1 5 ∘ = 1 2 ( sin 90 ∘ + sin 60 ∘ ) \displaystyle {}= \frac{1}{2}(\sin 90^\circ + \sin 60^\circ) = 2 1 ( sin 9 0 ∘ + sin 6 0 ∘ ) = 1 2 ( 1 + 3 2 ) \displaystyle {}= \frac{1}{2}\left(1 + \frac{\sqrt{3}}{2}\right) = 2 1 ( 1 + 2 3 ) = 2 + 3 4 ‾ \displaystyle {}= \underline{\frac{2 + \sqrt{3}}{4}} = 4 2 + 3 (2) 和積の 1 本目で、真ん中 45 ∘ 45^\circ 4 5 ∘ 、 半分の差 30 ∘ 30^\circ 3 0 ∘ 。
sin 75 ∘ + sin 15 ∘ \displaystyle \sin 75^\circ + \sin 15^\circ sin 7 5 ∘ + sin 1 5 ∘ = 2 sin 45 ∘ cos 30 ∘ \displaystyle {}= 2\sin 45^\circ\cos 30^\circ = 2 sin 4 5 ∘ cos 3 0 ∘ = 2 ⋅ 2 2 ⋅ 3 2 \displaystyle {}= 2 \cdot \frac{\sqrt{2}}{2} \cdot \frac{\sqrt{3}}{2} = 2 ⋅ 2 2 ⋅ 2 3 = 6 2 ‾ \displaystyle {}= \underline{\frac{\sqrt{6}}{2}} = 2 6 (3) まず前の 2 つを積和で崩します。
cos 20 ∘ cos 40 ∘ \displaystyle \cos 20^\circ\cos 40^\circ cos 2 0 ∘ cos 4 0 ∘ = 1 2 ( cos 60 ∘ + cos 20 ∘ ) \displaystyle {}= \frac{1}{2}(\cos 60^\circ + \cos 20^\circ) = 2 1 ( cos 6 0 ∘ + cos 2 0 ∘ ) = 1 4 \displaystyle {}= \frac{1}{4} = 4 1 + 1 2 cos 20 ∘ \displaystyle {}+ \frac{1}{2}\cos 20^\circ + 2 1 cos 2 0 ∘ これに cos 80 ∘ \cos 80^\circ cos 8 0 ∘ を掛けて、残った積 cos 20 ∘ cos 80 ∘ \cos 20^\circ\cos 80^\circ cos 2 0 ∘ cos 8 0 ∘ もまた積和で崩します。
( 1 4 + 1 2 cos 20 ∘ ) cos 80 ∘ \displaystyle \left(\frac{1}{4} + \frac{1}{2}\cos 20^\circ\right)\cos 80^\circ ( 4 1 + 2 1 cos 2 0 ∘ ) cos 8 0 ∘ = 1 4 cos 80 ∘ \displaystyle {}= \frac{1}{4}\cos 80^{\circ} = 4 1 cos 8 0 ∘ + 1 4 ( cos 100 ∘ + cos 60 ∘ ) \displaystyle {}+ \frac{1}{4}(\cos 100^\circ + \cos 60^\circ) + 4 1 ( cos 10 0 ∘ + cos 6 0 ∘ ) = 1 4 cos 80 ∘ \displaystyle {}= \frac{1}{4}\cos 80^{\circ} = 4 1 cos 8 0 ∘ + 1 4 cos 100 ∘ \displaystyle {}+ \frac{1}{4}\cos 100^{\circ} + 4 1 cos 10 0 ∘ + 1 8 \displaystyle {}+ \frac{1}{8} + 8 1 cos 100 ∘ \cos 100^\circ cos 10 0 ∘ = cos ( 180 ∘ − 80 ∘ ) {}= \cos(180^\circ - 80^\circ) = cos ( 18 0 ∘ − 8 0 ∘ ) = − cos 80 ∘ {}= -\cos 80^\circ = − cos 8 0 ∘ なので最初の 2 項が消えて
cos 20 ∘ cos 40 ∘ cos 80 ∘ \displaystyle \cos 20^\circ\cos 40^\circ\cos 80^\circ cos 2 0 ∘ cos 4 0 ∘ cos 8 0 ∘ = 1 8 ‾ \displaystyle {}= \underline{\frac{1}{8}} = 8 1 (1) の検算:第9章の値 sin 75 ∘ \sin 75^\circ sin 7 5 ∘ = cos 15 ∘ {}= \cos 15^\circ = cos 1 5 ∘ = 6 + 2 4 {}= \dfrac{\sqrt{6} + \sqrt{2}}{4} = 4 6 + 2 を掛けると 8 + 2 12 16 \dfrac{8 + 2\sqrt{12}}{16} 16 8 + 2 12 = 2 + 3 4 {}= \dfrac{2 + \sqrt{3}}{4} = 4 2 + 3 。 (2) も 6 + 2 4 \dfrac{\sqrt{6} + \sqrt{2}}{4} 4 6 + 2 + 6 − 2 4 {}+ \dfrac{\sqrt{6} - \sqrt{2}}{4} + 4 6 − 2 = 6 2 {}= \dfrac{\sqrt{6}}{2} = 2 6 で一致します。(3) は第10章の 2 倍角でも解けます。両辺に sin 20 ∘ \sin 20^\circ sin 2 0 ∘ を掛けると、sin 20 ∘ cos 20 ∘ \sin 20^\circ\cos 20^\circ sin 2 0 ∘ cos 2 0 ∘ = 1 2 sin 40 ∘ {}= \dfrac{1}{2}\sin 40^\circ = 2 1 sin 4 0 ∘ から順に角が倍々になって 1 8 sin 160 ∘ \dfrac{1}{8}\sin 160^\circ 8 1 sin 16 0 ∘ = 1 8 sin 20 ∘ {}= \dfrac{1}{8}\sin 20^\circ = 8 1 sin 2 0 ∘ 。 角が 20 ∘ 20^\circ 2 0 ∘ ,40 ∘ 40^\circ 4 0 ∘ ,80 ∘ 80^\circ 8 0 ∘ と倍々に並んでいるときの定番の別解です。
和積で解く方程式——和を積にして「積 = 0」へ
sin 3 θ \sin 3\theta sin 3 θ = sin θ {}= \sin\theta = sin θ は、第10章 j17 (2) で 3 倍角の公式 sin 3 θ \sin 3\theta sin 3 θ = 3 sin θ {}= 3\sin\theta = 3 sin θ − 4 sin 3 θ {}- 4\sin^3\theta − 4 sin 3 θ を使って解きました。3 次式の因数分解が要る、少し重い解き方でした。和積の公式を使うと、3 倍角を知らなくても解けます。
「積 = 0 = 0 = 0 」 は、第10章で「sin θ \sin\theta sin θ で割らずにくくって積 = 0 = 0 = 0 にする」と繰り返した形です。和積の公式は、和の形の方程式を、その形に持ち込むための道具 だといえます。単位円でいえば、どの因数も水面 y y y = 0 {}= 0 = 0 (または壁 x x x = 0 {}= 0 = 0 ) との交点を探すだけになります。
和の形の方程式は、和積の公式で積にして「積 = 0 = 0 = 0 」 に分け、それぞれかたまりの範囲を先に書いて解くということです。
例題4:和積で方程式を解く
0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π とします。
(1) 方程式 sin 3 θ \sin 3\theta sin 3 θ = sin θ {}= \sin\theta = sin θ の解を求めなさい。
(2) 方程式 sin θ \sin\theta sin θ + sin 2 θ {}+ \sin 2\theta + sin 2 θ + sin 3 θ {}+ \sin 3\theta + sin 3 θ = 0 {}= 0 = 0 の解を求めなさい。
【解答】
(1) 移項して sin 3 θ \sin 3\theta sin 3 θ − sin θ {}- \sin\theta − sin θ = 0 {}= 0 = 0 。 和積の 2 本目で、真ん中 2 θ 2\theta 2 θ 、 半分の差 θ \theta θ 。
2 cos 2 θ sin θ \displaystyle 2\cos 2\theta\sin\theta 2 cos 2 θ sin θ = 0 \displaystyle {}= 0 = 0 sin θ \sin\theta sin θ = 0 {}= 0 = 0 から θ \theta θ = 0 , {}= 0, = 0 , π \ \pi π 。cos 2 θ \cos 2\theta cos 2 θ = 0 {}= 0 = 0 は、かたまり 2 θ 2\theta 2 θ の範囲が 0 0 0 ≦ 2 θ {}\leqq 2\theta ≦ 2 θ < 4 π {}< 4\pi < 4 π なので 2 θ 2\theta 2 θ = π 2 , {}= \dfrac{\pi}{2}, = 2 π , 3 2 π , \ \dfrac{3}{2}\pi, 2 3 π , 5 2 π , \ \dfrac{5}{2}\pi, 2 5 π , 7 2 π \ \dfrac{7}{2}\pi 2 7 π 、 つまり θ \theta θ = π 4 , {}= \dfrac{\pi}{4}, = 4 π , 3 4 π , \ \dfrac{3}{4}\pi, 4 3 π , 5 4 π , \ \dfrac{5}{4}\pi, 4 5 π , 7 4 π \ \dfrac{7}{4}\pi 4 7 π 。
θ = 0 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\theta = 0,} θ = 0 , π 4 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{\pi}{4},} 4 π , 3 4 π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{3}{4}\pi,} 4 3 π , π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \pi,} π , 5 4 π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{5}{4}\pi,} 4 5 π , 7 4 π ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{7}{4}\pi} 4 7 π 第10章 j17 (2) と同じ 6 個です。3 倍角の道では sin θ \sin\theta sin θ = 0 , {}= 0, = 0 , ± 2 2 {}\ \pm\dfrac{\sqrt{2}}{2} ± 2 2 の 3 本の水面から、和積の道では sin θ \sin\theta sin θ = 0 {}= 0 = 0 と cos 2 θ \cos 2\theta cos 2 θ = 0 {}= 0 = 0 の 2 つの因数から、同じ答えにたどり着きました。
(2) 3 項のうち、sin θ \sin\theta sin θ と sin 3 θ \sin 3\theta sin 3 θ を組にすると真ん中が 2 θ 2\theta 2 θ になり、残りの sin 2 θ \sin 2\theta sin 2 θ とそろいます。
sin 3 θ \displaystyle \sin 3\theta sin 3 θ + sin θ \displaystyle {}+ \sin\theta + sin θ + sin 2 θ \displaystyle {}+ \sin 2\theta + sin 2 θ = 2 sin 2 θ cos θ \displaystyle {}= 2\sin 2\theta\cos\theta = 2 sin 2 θ cos θ + sin 2 θ \displaystyle {}+ \sin 2\theta + sin 2 θ = sin 2 θ ( 2 cos θ + 1 ) \displaystyle {}= \sin 2\theta(2\cos\theta + 1) = sin 2 θ ( 2 cos θ + 1 ) = 0 \displaystyle {}= 0 = 0 sin 2 θ \sin 2\theta sin 2 θ = 0 {}= 0 = 0 は 0 0 0 ≦ 2 θ {}\leqq 2\theta ≦ 2 θ < 4 π {}< 4\pi < 4 π で 2 θ 2\theta 2 θ = 0 , {}= 0, = 0 , π , \ \pi, π , 2 π , \ 2\pi, 2 π , 3 π \ 3\pi 3 π 、 つまり θ \theta θ = 0 , {}= 0, = 0 , π 2 , \ \dfrac{\pi}{2}, 2 π , π , \ \pi, π , 3 2 π \ \dfrac{3}{2}\pi 2 3 π 。cos θ \cos\theta cos θ = − 1 2 {}= -\dfrac{1}{2} = − 2 1 は θ \theta θ = 2 3 π , {}= \dfrac{2}{3}\pi, = 3 2 π , 4 3 π \ \dfrac{4}{3}\pi 3 4 π 。
θ = 0 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\theta = 0,} θ = 0 , π 2 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{\pi}{2},} 2 π , 2 3 π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{2}{3}\pi,} 3 2 π , π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \pi,} π , 4 3 π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{4}{3}\pi,} 3 4 π , 3 2 π ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{3}{2}\pi} 2 3 π 検算:θ \theta θ = 2 3 π {}= \dfrac{2}{3}\pi = 3 2 π で 3 2 \dfrac{\sqrt{3}}{2} 2 3 + ( − 3 2 ) {}+ \left(-\dfrac{\sqrt{3}}{2}\right) + ( − 2 3 ) + 0 {}+ 0 + 0 = 0 {}= 0 = 0 。 (2) で sin θ \sin\theta sin θ と sin 2 θ \sin 2\theta sin 2 θ を先に組にすると、真ん中が 3 2 θ \dfrac{3}{2}\theta 2 3 θ になって sin 3 θ \sin 3\theta sin 3 θ とそろいません。「どの 2 つを組にすると真ん中が残りの角と同じになるか」を探すのがコツです。
積の形の最大・最小——積和で和にしてから
sin θ cos ( θ − π 6 ) \sin\theta\cos\left(\theta - \dfrac{\pi}{6}\right) sin θ cos ( θ − 6 π ) のような積は、どちらの因数も動くので、そのままでは最大・最小が読めません。積和で和に直すと、角の差 α \alpha α − β {}- \beta − β のほうは θ \theta θ が消えて定数 になり、動くのは角の和の 1 項だけになります。あとは第11章と同じく「かたまりの範囲を先に書く」型です。
第10章の sin θ cos θ \sin\theta\cos\theta sin θ cos θ = sin 2 θ 2 {}= \dfrac{\sin 2\theta}{2} = 2 sin 2 θ で最大が 1 2 \dfrac{1}{2} 2 1 と分かったのと同じ理屈で、積和はここでも「両替してから読む」道具です。
積の形の関数は、積和で和に直して動く項を 1 つにし、そのかたまりの範囲を先に書いて最大・最小を読むということです。
例題5:積の最大・最小
0 0 0 ≦ θ {}\leqq \theta ≦ θ ≦ π 2 {}\leqq \dfrac{\pi}{2} ≦ 2 π のとき、関数 y y y = 4 sin θ cos ( θ − π 6 ) {}= 4\sin\theta\cos\left(\theta - \dfrac{\pi}{6}\right) = 4 sin θ cos ( θ − 6 π ) の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
【解答】
積和の 1 本目で α \alpha α = θ {}= \theta = θ ,β \beta β = θ {}= \theta = θ − π 6 {}- \dfrac{\pi}{6} − 6 π 。 角の和は 2 θ 2\theta 2 θ − π 6 {}- \dfrac{\pi}{6} − 6 π 、 差は π 6 \dfrac{\pi}{6} 6 π で、差から θ \theta θ が消えます。
y \displaystyle y y = 4 ⋅ 1 2 { sin ( 2 θ − π 6 ) + sin π 6 } \displaystyle {}= 4 \cdot \frac{1}{2}\left\{\sin\left(2\theta - \frac{\pi}{6}\right) + \sin\frac{\pi}{6}\right\} = 4 ⋅ 2 1 { sin ( 2 θ − 6 π ) + sin 6 π } = 2 sin ( 2 θ − π 6 ) \displaystyle {}= 2\sin\left(2\theta - \frac{\pi}{6}\right) = 2 sin ( 2 θ − 6 π ) + 1 \displaystyle {}+ 1 + 1 かたまり 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 + 1 {}+ 1 + 1 = 3 {}= 3 = 3
最小:t t t = − π 6 {}= -\dfrac{\pi}{6} = − 6 π , つまり θ \theta θ = 0 {}= 0 = 0 で 2 ⋅ ( − 1 2 ) 2 \cdot \left(-\dfrac{1}{2}\right) 2 ⋅ ( − 2 1 ) + 1 {}+ 1 + 1 = 0 {}= 0 = 0
最大値 3 ( θ = π 3 ) , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.8360em}\text{最大値 } 3\ \left(\theta = \frac{\pi}{3}\right),} 最大値 3 ( θ = 3 π ) , 最小値 0 ( θ = 0 ) ‾ \displaystyle \underline{\rule[-0.686em]{0em}{1.8360em}\quad \text{最小値 } 0\ (\theta = 0)} 最小値 0 ( θ = 0 ) 検算:θ \theta θ = π 3 {}= \dfrac{\pi}{3} = 3 π で 4 ⋅ 3 2 ⋅ cos π 6 4 \cdot \dfrac{\sqrt{3}}{2} \cdot \cos\dfrac{\pi}{6} 4 ⋅ 2 3 ⋅ cos 6 π = 4 ⋅ 3 2 ⋅ 3 2 {}= 4 \cdot \dfrac{\sqrt{3}}{2} \cdot \dfrac{\sqrt{3}}{2} = 4 ⋅ 2 3 ⋅ 2 3 = 3 {}= 3 = 3 、θ \theta θ = 0 {}= 0 = 0 で 4 ⋅ 0 4 \cdot 0 4 ⋅ 0 = 0 {}= 0 = 0 。 展開して 2 3 sin θ cos θ 2\sqrt{3}\sin\theta\cos\theta 2 3 sin θ cos θ + 2 sin 2 θ {}+ 2\sin^2\theta + 2 sin 2 θ にし、第11章の「両替 → 合成」でも同じ式 2 sin ( 2 θ − π 6 ) 2\sin\left(2\theta - \dfrac{\pi}{6}\right) 2 sin ( 2 θ − 6 π ) + 1 {}+ 1 + 1 にたどり着きます。積和は、その 2 段を 1 段で済ませる近道です。
周期の違う 2 本の波——平均の速い波 × 差のゆっくりした波
第11章では、周期が同じ 2 本の波を足すと 1 本の波にまとまることを見ました。第11章の厳密定義の補足では、sin 3 θ \sin 3\theta sin 3 θ + sin θ {}+ \sin\theta + sin θ のように周期の違う波の和は R sin ( θ + φ ) R\sin(\theta + \varphi) R sin ( θ + φ ) の形にならない ことも示しました。では、周期の違う波の和はどんな形をしているのでしょう。
和積の公式が答えです。
sin 3 θ \displaystyle \sin 3\theta sin 3 θ + sin θ \displaystyle {}+ \sin\theta + sin θ = 2 sin 2 θ cos θ \displaystyle {}= 2\sin 2\theta\cos\theta = 2 sin 2 θ cos θ = ( 2 cos θ ) × sin 2 θ \displaystyle {}= (2\cos\theta) \times \sin 2\theta = ( 2 cos θ ) × sin 2 θ
右辺を「sin 2 θ \sin 2\theta sin 2 θ という波の振幅が、2 cos θ 2\cos\theta 2 cos θ に従ってゆっくり変わっている」と読みます。sin 2 θ \sin 2\theta sin 2 θ の振幅は、第11章までは r r r という定数 でした。ここでは振幅そのものが時間(θ \theta θ ) とともに伸び縮みします。グラフに y y y = ± 2 cos θ {}= \pm 2\cos\theta = ± 2 cos θ を重ねると、和の波はこの 2 本の曲線の間に収まり、ときどき触れながら揺れています。
θ
y
O
π/2
π
3π/2
2π
2
1
−1
−2
y = sin 3θ + sin θ = 2 cos θ · sin 2θ
外枠 y = ±2 cos θ
sin 3 θ \sin 3\theta sin 3 θ と sin θ \sin\theta sin θ は周期が 3 倍も違うので、「速い波」と「ゆっくりした波」の区別はまだはっきりしません。2 本の周期が近い ときに、この読み方が生きてきます。sin 9 θ \sin 9\theta sin 9 θ + sin 7 θ {}+ \sin 7\theta + sin 7 θ なら
sin 9 θ \displaystyle \sin 9\theta sin 9 θ + sin 7 θ \displaystyle {}+ \sin 7\theta + sin 7 θ = 2 sin 8 θ cos θ \displaystyle {}= 2\sin 8\theta\cos\theta = 2 sin 8 θ cos θ
真ん中 8 θ 8\theta 8 θ の速い波 sin 8 θ \sin 8\theta sin 8 θ が、半分の差 θ \theta θ のゆっくりした波 2 cos θ 2\cos\theta 2 cos θ を「外枠」にして揺れます。外枠が大きいところでは 2 本が強め合い、外枠が 0 0 0 のところでは打ち消し合う。水面に 2 つの波が重なって、大きなうねりと静かな所が交互に来る様子そのものです。
θ
y
O
π/2
π
3π/2
2π
2
1
−1
−2
y = sin 9θ + sin 7θ = 2 cos θ · sin 8θ
外枠 y = ±2 cos θ(差のゆっくりした波)
最後の一文は大事です。∣ 2 cos θ ∣ |2\cos\theta| ∣2 cos θ ∣ のグラフは、cos θ \cos\theta cos θ の山も谷も折り返して山にするので、周期が π \pi π に縮みます(第7章 j16 の ∣ sin θ ∣ |\sin\theta| ∣ sin θ ∣ の周期 π \pi π と同じ)。fig02 でも、うねりの大きな所は θ \theta θ = 0 , {}= 0, = 0 , π , \ \pi, π , 2 π \ 2\pi 2 π と、π \pi π ごとに来ています。
周期の違う 2 本の波の和は、和積の公式で「平均の速い波」と「差のゆっくりした外枠」の積になり、外枠の絶対値の周期ごとに強め合いと打ち消し合いが繰り返されるということです。
例題6:うなりの回数
時刻 t t t 秒における 2 つの音の波を y y y = sin ( 884 π t ) {}= \sin(884\pi t) = sin ( 884 π t ) ,y y y = sin ( 880 π t ) {}= \sin(880\pi t) = sin ( 880 π t ) とします(振動数はそれぞれ 1 秒に 442 442 442 回と 440 440 440 回)。2 つの和を積の形で表し、1 秒あたりに音が大きくなる回数(うなりの回数)を求めなさい。
【解答】
和積の 1 本目で、真ん中 884 π t + 880 π t 2 \dfrac{884\pi t + 880\pi t}{2} 2 884 π t + 880 π t = 882 π t {}= 882\pi t = 882 π t 、 半分の差 884 π t − 880 π t 2 \dfrac{884\pi t - 880\pi t}{2} 2 884 π t − 880 π t = 2 π t {}= 2\pi t = 2 π t 。
sin ( 884 π t ) \displaystyle \sin(884\pi t) sin ( 884 π t ) + sin ( 880 π t ) \displaystyle {}+ \sin(880\pi t) + sin ( 880 π t ) = 2 cos ( 2 π t ) sin ( 882 π t ) \displaystyle {}= 2\cos(2\pi t)\sin(882\pi t) = 2 cos ( 2 π t ) sin ( 882 π t ) 速い波 sin ( 882 π t ) \sin(882\pi t) sin ( 882 π t ) は 1 秒に 441 441 441 回振動する音(2 つの平均)で、その振幅が外枠 2 cos ( 2 π t ) 2\cos(2\pi t) 2 cos ( 2 π t ) に従って変わります。cos ( 2 π t ) \cos(2\pi t) cos ( 2 π t ) の周期は 2 π 2 π \dfrac{2\pi}{2\pi} 2 π 2 π = 1 {}= 1 = 1 秒ですが、音の大きさは外枠の絶対値 ∣ 2 cos ( 2 π t ) ∣ |2\cos(2\pi t)| ∣2 cos ( 2 π t ) ∣ で決まり、その周期は 1 2 \dfrac{1}{2} 2 1 秒。したがって
2 sin ( 882 π t ) cos ( 2 π t ) , ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.0000em}2\sin(882\pi t)\cos(2\pi t),} 2 sin ( 882 π t ) cos ( 2 π t ) , うなりは 1 秒に 2 回 ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.0000em}\quad \text{うなりは 1 秒に } 2 \text{ 回}} うなりは 1 秒に 2 回 2 2 2 回は振動数の差 442 442 442 − 440 {}- 440 − 440 に等しく、第8章小話3の「1 秒あたり ∣ f 1 − f 2 ∣ |f_1 - f_2| ∣ f 1 − f 2 ∣ 回」がこれで式から確かめられました。外枠の cos \cos cos の振動数は差の半分の 1 1 1 回ですが、山と谷の両方で音が大きくなるので、聞こえる回数は 2 2 2 倍の 2 2 2 回です。
分野のまとめ——三角比から三角関数、そして次の分野へ
12 章を振り返ると、この分野は 3 つの段階でできていました。
後半 4 章の公式は、どれも加法定理に何かを代入するか、足し引きするか、逆向きに読む だけで出てきました。第9章で「加法定理はいちばん大きな公式」と書いたのは、このことです。もとをたどれば、加法定理そのものは「単位円の点 P ( cos θ , sin θ ) \mathrm{P}(\cos\theta,\ \sin\theta) P ( cos θ , sin θ ) 」 という第6章の定義と、「回転しても距離は変わらない」という第9章の弦の長さの計算から出ています。
この分野の道具は、ほかの分野のあちこちで使われます。
微分積分 :第5章の厳密定義 定理3(sin θ \sin\theta sin θ < θ {}< \theta < θ < tan θ {}< \tan\theta < tan θ ) が、極限 lim θ → 0 sin θ θ \displaystyle \lim_{\theta \to 0}\frac{\sin\theta}{\theta} θ → 0 lim θ sin θ = 1 \displaystyle {}= 1 = 1 の土台になります(微分積分 第10章)。sin x \sin x sin x の微分が cos x \cos x cos x になることを示すときは、sin ( x + h ) \sin(x + h) sin ( x + h ) − sin x {}- \sin x − sin x = 2 cos ( x + h 2 ) sin h 2 {}= 2\cos\left(x + \dfrac{h}{2}\right)\sin\dfrac{h}{2} = 2 cos ( x + 2 h ) sin 2 h ——この章の和積の公式がそのまま使われます(微分積分 第11章)。
数III の積分 :sin 2 x \sin^2 x sin 2 x の積分は第10章の次数下げ、sin 3 x cos x \sin 3x\cos x sin 3 x cos x の積分はこの章の積和で和に直してから行います。第10章小話3 の t t t = tan θ 2 {}= \tan\dfrac{\theta}{2} = tan 2 θ は、置換積分の定番の置き換えです(微分積分 第14章)。
ベクトル :内積 a ⃗ ⋅ b ⃗ \vec{a} \cdot \vec{b} a ⋅ b = ∣ a ⃗ ∣ ∣ b ⃗ ∣ cos θ {}= |\vec{a}||\vec{b}|\cos\theta = ∣ a ∣∣ b ∣ cos θ は、第3章の余弦定理をベクトルの言葉で書き直したものです(ベクトル 第3章)。
複素数平面 :第9章 j18 の点の回転と、第9章小話3 の ( cos α + i sin α ) ( cos β + i sin β ) (\cos\alpha + i\sin\alpha)(\cos\beta + i\sin\beta) ( cos α + i sin α ) ( cos β + i sin β ) = cos ( α + β ) {}= \cos(\alpha + \beta) = cos ( α + β ) + i sin ( α + β ) {}+ i\sin(\alpha + \beta) + i sin ( α + β ) が、極形式の積とド・モアブルの定理になります(複素数平面と二次曲線 第2・3章)。
三角比は「測れない長さを測る」ために生まれ、三角関数は「回るもの・揺れるもの」を表す言葉になりました。波の足し算(第11章)と掛け算(第12章)まで来た今、フーリエの「どんな波も sin \sin sin と cos \cos cos の和」(第7章小話1)の入口に立っています。この先の分野で sin \sin sin ・cos \cos cos に出会ったら、単位円と加法定理に戻れば、たいていのことは自分で作り直せます。
※ここは発展ページ です。高校の範囲では「加法定理を足し引きすれば積和、おき直せば和積」で十分ですが、「A A A , B B B を勝手に選んでおき直してよいのはなぜか?」「和積の方程式で解を落としていないと言えるのか?」「cos 2 7 π \cos\dfrac{2}{7}\pi cos 7 2 π + ⋯ {}+ \cdots + ⋯ のような和はいつでも計算できるのか?」が気になる人のために、根拠を紹介します。最後に、12 章全体の論理の骨組みを振り返ります。
定理1:積和の公式
任意の実数 α \alpha α ,β \beta β について
sin α cos β \displaystyle \sin\alpha\cos\beta sin α cos β = 1 2 { sin ( α + β ) + sin ( α − β ) } \displaystyle {}= \frac{1}{2}\{\sin(\alpha + \beta) + \sin(\alpha - \beta)\} = 2 1 { sin ( α + β ) + sin ( α − β )} cos α sin β \displaystyle \cos\alpha\sin\beta cos α sin β = 1 2 { sin ( α + β ) − sin ( α − β ) } \displaystyle {}= \frac{1}{2}\{\sin(\alpha + \beta) - \sin(\alpha - \beta)\} = 2 1 { sin ( α + β ) − sin ( α − β )} cos α cos β \displaystyle \cos\alpha\cos\beta cos α cos β = 1 2 { cos ( α + β ) + cos ( α − β ) } \displaystyle {}= \frac{1}{2}\{\cos(\alpha + \beta) + \cos(\alpha - \beta)\} = 2 1 { cos ( α + β ) + cos ( α − β )} sin α sin β \displaystyle \sin\alpha\sin\beta sin α sin β = − 1 2 { cos ( α + β ) − cos ( α − β ) } \displaystyle {}= -\frac{1}{2}\{\cos(\alpha + \beta) - \cos(\alpha - \beta)\} = − 2 1 { cos ( α + β ) − cos ( α − β )} が成り立つ。
証明 第9章の定理1・2より、加法定理の 4 本は任意の実数 α \alpha α ,β \beta β で成り立つ。sin ( α ± β ) \sin(\alpha \pm \beta) sin ( α ± β ) の 2 本を辺ごとに足して 2 2 2 で割ると 1 つ目、引いて 2 2 2 で割ると 2 つ目が得られる。cos ( α ± β ) \cos(\alpha \pm \beta) cos ( α ± β ) の 2 本を足して 2 2 2 で割ると 3 つ目、引いて − 2 -2 − 2 で割ると 4 つ目が得られる。(証明終)
証明は本文と同じですが、「任意の実数で成り立つ」ことがここでは大事です。第9章で加法定理を一般角まで証明しておいたから、α \alpha α = 3 θ {}= 3\theta = 3 θ でも α \alpha α = 75 ∘ {}= 75^\circ = 7 5 ∘ でも、角の和が 2 π 2\pi 2 π を超えても、ためらわず代入できます。
定理2:和積の公式——おき直しの正当性
任意の実数 A A A ,B B B について
sin A \displaystyle \sin A sin A + sin B \displaystyle {}+ \sin B + sin B = 2 sin A + B 2 cos A − B 2 \displaystyle {}= 2\sin\frac{A + B}{2}\cos\frac{A - B}{2} = 2 sin 2 A + B cos 2 A − B が成り立つ(sin A \sin A sin A − sin B {}- \sin B − sin B , cos A \cos A cos A ± cos B {}\pm \cos B ± cos B も同様)。
証明 A A A ,B B B を任意にとり、α \alpha α = A + B 2 {}= \dfrac{A + B}{2} = 2 A + B ,β \beta β = A − B 2 {}= \dfrac{A - B}{2} = 2 A − B とおく。これは実数であり、α \alpha α + β {}+ \beta + β = A {}= A = A ,α \alpha α − β {}- \beta − β = B {}= B = B を満たす。定理1の 1 つ目にこの α \alpha α ,β \beta β を代入すると
sin A + B 2 cos A − B 2 \displaystyle \sin\frac{A + B}{2}\cos\frac{A - B}{2} sin 2 A + B cos 2 A − B = 1 2 ( sin A + sin B ) \displaystyle {}= \frac{1}{2}(\sin A + \sin B) = 2 1 ( sin A + sin B ) 両辺を 2 2 2 倍すればよい。残りの 3 本も定理1の 2〜4 つ目に同じ α \alpha α ,β \beta β を代入して得られる。(証明終)
ポイントは、「( α , β ) (\alpha,\ \beta) ( α , β ) ↦ ( α + β , α − β ) {}\mapsto (\alpha + \beta,\ \alpha - \beta) ↦ ( α + β , α − β ) という対応が、実数の組全体をもれなく・重なりなく覆う」ことです。逆向きの ( A , B ) (A,\ B) ( A , B ) ↦ ( A + B 2 , A − B 2 ) {}\mapsto \left(\dfrac{A + B}{2},\ \dfrac{A - B}{2}\right) ↦ ( 2 A + B , 2 A − B ) が存在するので、どんな A A A ,B B B に対しても、それを作る α \alpha α ,β \beta β がちゃんとある。α \alpha α + β {}+ \beta + β = A {}= A = A ,α \alpha α − β {}- \beta − β = 2 A {}= 2A = 2 A のように係数を変えると、この逆向きが作れない組み合わせも出てくるので、「和と差」という組み方には意味があります。
定理3:sin A = sin B、cos A = cos B の解
実数 A A A ,B B B について
(1) sin A \sin A sin A = sin B {}= \sin B = sin B ⟺ A {}\iff A ⟺ A = B {}= B = B + 2 n π {}+ 2n\pi + 2 nπ または A A A = π {}= \pi = π − B {}- B − B + 2 n π {}+ 2n\pi + 2 nπ (n n n は整数)
(2) cos A \cos A cos A = cos B {}= \cos B = cos B ⟺ A {}\iff A ⟺ A = B {}= B = B + 2 n π {}+ 2n\pi + 2 nπ または A A A = − B {}= -B = − B + 2 n π {}+ 2n\pi + 2 nπ (n n n は整数)
証明 (1) 定理2より sin A \sin A sin A − sin B {}- \sin B − sin B = 2 cos A + B 2 sin A − B 2 {}= 2\cos\dfrac{A + B}{2}\sin\dfrac{A - B}{2} = 2 cos 2 A + B sin 2 A − B 。 これが 0 0 0 になるのは、cos A + B 2 \cos\dfrac{A + B}{2} cos 2 A + B = 0 {}= 0 = 0 または sin A − B 2 \sin\dfrac{A - B}{2} sin 2 A − B = 0 {}= 0 = 0 のとき、かつそのときに限る。第8章の一般解(定理2で完全性を証明済み)より
cos A + B 2 \cos\dfrac{A + B}{2} cos 2 A + B = 0 {}= 0 = 0 ⟺ A + B 2 {}\iff \dfrac{A + B}{2} ⟺ 2 A + B = π 2 {}= \dfrac{\pi}{2} = 2 π + n π {}+ n\pi + nπ ⟺ A {}\iff A ⟺ A = π {}= \pi = π − B {}- B − B + 2 n π {}+ 2n\pi + 2 nπ
sin A − B 2 \sin\dfrac{A - B}{2} sin 2 A − B = 0 {}= 0 = 0 ⟺ A − B 2 {}\iff \dfrac{A - B}{2} ⟺ 2 A − B = n π {}= n\pi = nπ ⟺ A {}\iff A ⟺ A = B {}= B = B + 2 n π {}+ 2n\pi + 2 nπ
(2) cos A \cos A cos A − cos B {}- \cos B − cos B = − 2 sin A + B 2 sin A − B 2 {}= -2\sin\dfrac{A + B}{2}\sin\dfrac{A - B}{2} = − 2 sin 2 A + B sin 2 A − B が 0 0 0 になるのは、A + B 2 \dfrac{A + B}{2} 2 A + B = n π {}= n\pi = nπ または A − B 2 \dfrac{A - B}{2} 2 A − B = n π {}= n\pi = nπ 、 つまり A A A = − B {}= -B = − B + 2 n π {}+ 2n\pi + 2 nπ または A A A = B {}= B = B + 2 n π {}+ 2n\pi + 2 nπ のとき、かつそのときに限る。(証明終)
「 ⟺ \iff ⟺ (同値)」まで言えたので、和積で解いた方程式に解のもれも余分もないことが保証されます。例題4 (1) の sin 3 θ \sin 3\theta sin 3 θ = sin θ {}= \sin\theta = sin θ なら、3 θ 3\theta 3 θ = θ {}= \theta = θ + 2 n π {}+ 2n\pi + 2 nπ (θ \theta θ = n π {}= n\pi = nπ ) か 3 θ 3\theta 3 θ = π {}= \pi = π − θ {}- \theta − θ + 2 n π {}+ 2n\pi + 2 nπ (θ \theta θ = π 4 {}= \dfrac{\pi}{4} = 4 π + n π 2 {}+ \dfrac{n\pi}{2} + 2 nπ ) で、0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π から拾うと本文の 6 個です。単位円でいえば、(1) は「高さが同じ 2 点は、同じ点か y y y 軸対称な点」、(2) は「横の位置が同じ 2 点は、同じ点か x x x 軸対称な点」——第8章の水面と壁の図を、式だけで言い切ったものです。
定理4:cos の等差の和
n n n を正の整数とし、θ \theta θ は sin θ 2 \sin\dfrac{\theta}{2} sin 2 θ ≠ 0 {}\neq 0 = 0 (つまり θ \theta θ ≠ 2 m π {}\neq 2m\pi = 2 mπ ,m m m は整数)を満たすとする。このとき
cos θ \displaystyle \cos\theta cos θ + cos 2 θ \displaystyle {}+ \cos 2\theta + cos 2 θ + ⋯ \displaystyle {}+ \cdots + ⋯ + cos n θ \displaystyle {}+ \cos n\theta + cos n θ = sin ( n + 1 2 ) θ 2 sin θ 2 \displaystyle {}= \frac{\sin\left(n + \frac{1}{2}\right)\theta}{2\sin\frac{\theta}{2}} = 2 sin 2 θ sin ( n + 2 1 ) θ − 1 2 \displaystyle {}- \frac{1}{2} − 2 1 証明 定理1の 2 つ目 2 cos α sin β 2\cos\alpha\sin\beta 2 cos α sin β = sin ( α + β ) {}= \sin(\alpha + \beta) = sin ( α + β ) − sin ( α − β ) {}- \sin(\alpha - \beta) − sin ( α − β ) で α \alpha α = k θ {}= k\theta = k θ ,β \beta β = θ 2 {}= \dfrac{\theta}{2} = 2 θ とおくと、k k k = 1 , {}= 1, = 1 , 2 , \ 2, 2 , … , \ \ldots, … , n \ n n について
2 sin θ 2 cos k θ \displaystyle 2\sin\frac{\theta}{2}\cos k\theta 2 sin 2 θ cos k θ = sin ( k + 1 2 ) θ \displaystyle {}= \sin\left(k + \frac{1}{2}\right)\theta = sin ( k + 2 1 ) θ − sin ( k − 1 2 ) θ \displaystyle {}- \sin\left(k - \frac{1}{2}\right)\theta − sin ( k − 2 1 ) θ k k k = 1 {}= 1 = 1 から n n n まで辺ごとに足すと、右辺は隣どうしが打ち消し合い、sin ( n + 1 2 ) θ \sin\left(n + \dfrac{1}{2}\right)\theta sin ( n + 2 1 ) θ − sin θ 2 {}- \sin\dfrac{\theta}{2} − sin 2 θ だけが残る。両辺を 2 sin θ 2 ( ≠ 0 ) 2\sin\dfrac{\theta}{2}\ (\neq 0) 2 sin 2 θ ( = 0 ) で割ればよい。(証明終)
j19 は、cos 2 θ \cos 2\theta cos 2 θ + cos 4 θ {}+ \cos 4\theta + cos 4 θ + cos 6 θ {}+ \cos 6\theta + cos 6 θ の形(公差 2 θ 2\theta 2 θ ) で同じことをしたものです。定理4で n n n = 3 {}= 3 = 3 ,θ \theta θ = 2 7 π {}= \dfrac{2}{7}\pi = 7 2 π とすると、( 3 + 1 2 ) ⋅ 2 7 π \left(3 + \dfrac{1}{2}\right) \cdot \dfrac{2}{7}\pi ( 3 + 2 1 ) ⋅ 7 2 π = π {}= \pi = π なので分子が 0 0 0 になり、和は − 1 2 -\dfrac{1}{2} − 2 1 で j19 (2) と一致します。両辺を 2 2 2 倍して 1 1 1 を足した 1 1 1 + 2 ( cos θ + ⋯ + cos n θ ) {}+ 2(\cos\theta + \cdots + \cos n\theta) + 2 ( cos θ + ⋯ + cos n θ ) = sin ( n + 1 2 ) θ sin θ 2 {}= \dfrac{\sin\left(n + \frac{1}{2}\right)\theta}{\sin\frac{\theta}{2}} = sin 2 θ sin ( n + 2 1 ) θ は、大学のフーリエ解析でディリクレ核 と呼ばれ、「波を n n n 本まで足すと元の関数にどれだけ近づくか」を調べるときの主役になります。小話2の直交性とあわせて、積和の公式はフーリエの理論の入口を支えています。
補足1:周期の違う波の和は周期関数か。 sin 3 θ \sin 3\theta sin 3 θ + sin θ {}+ \sin\theta + sin θ も sin 9 θ \sin 9\theta sin 9 θ + sin 7 θ {}+ \sin 7\theta + sin 7 θ も、どちらの項も 2 π 2\pi 2 π で元に戻るので、和も周期 2 π 2\pi 2 π の関数です(一般に正の整数 m m m ,n n n について sin m θ \sin m\theta sin m θ + sin n θ {}+ \sin n\theta + sin n θ は 2 π 2\pi 2 π を「周期の 1 つ」にもつ)。ところが sin θ \sin\theta sin θ + sin 2 θ {}+ \sin\sqrt{2}\theta + sin 2 θ のように周期の比が無理数になると、2 本の山が再びぴったりそろう時刻がなく、この和は周期関数になりません(証明は省きます)。うなりや大潮小潮で「約 15 日ごとに」と言えるのは外枠の話で、波全体が完全に同じ形に戻るとは限らないのです。
**補足2:12 章の論理の骨組み。**この分野の公式を「何から何が出たか」でたどると、出発点は 2 つだけです。
定義 :単位円上の点 P ( cos θ , sin θ ) \mathrm{P}(\cos\theta,\ \sin\theta) P ( cos θ , sin θ ) (第6章。第1章の直角三角形・第2章の単位円の定義はその特別な場合で、定義の拡張のたびに「もとの範囲で一致する」ことを確かめた)
加法定理 :cos ( α − β ) \cos(\alpha - \beta) cos ( α − β ) = cos α cos β {}= \cos\alpha\cos\beta = cos α cos β + sin α sin β {}+ \sin\alpha\sin\beta + sin α sin β (第9章定理1。距離の公式と余弦定理から)
相互関係・対称の公式(第6章)は定義から、正弦定理・余弦定理(第3章)は円周角と座標から、加法定理の残り 3 本・2 倍角・半角・合成・積和・和積(第9〜12章)はすべて cos ( α − β ) \cos(\alpha - \beta) cos ( α − β ) に代入し、足し引きし、逆向きに読むことで得られました。大学では、sin \sin sin と cos \cos cos を無限個の項の和(べき級数)や微分方程式で定義し直し、単位円や角の概念なしに同じ公式を導きます。出発点を変えても同じ公式の体系が再現されること——これが、三角関数が「図形の道具」から「数学全体の共通言語」になった理由です。