第9章の最後で、加法定理の β に α を入れると sin 2α = 2 sin α cos α、cos 2α = cos²α − sin²α が 1 行で出ることを見ました。この章はそこから始めます。cos 2α を 3 通りの形に書き分け、その 1 つを「2 乗について解く」と、角を半分にする半角の公式になります。半角の公式で π/12 の値を「π/6 の半分」として求めると、第1章の図から出した値・第9章の「π/4 − π/6」から出した値とぴったり一致します。途中で現れる 2 重根号のはずし方と、三角定規の角の和・差では書けない π/8 の値もここで扱います。後半は sin 2θ = sin θ のような 2 倍角を含む方程式(かたまりのまま解くか、ほどいて 2 次式にするか)と、2 倍角を含む関数の最大・最小。章末で sin 2θ と cos 2θ の和が残る式に出会い、第11章「三角関数の合成」につなぎます。
2 倍角の公式——β = α とおくだけ
第9章の最後で、加法定理の β \beta β に α \alpha α を入れてみました。公式2の sin \sin sin の和(たすき掛け・同符号)と cos \cos cos の和(仲間どうし・逆符号)に β \beta β = α {}= \alpha = α を代入すると
sin 2 α \displaystyle \sin 2\alpha sin 2 α = sin α cos α \displaystyle {}= \sin\alpha\cos\alpha = sin α cos α + cos α sin α \displaystyle {}+ \cos\alpha\sin\alpha + cos α sin α = 2 sin α cos α , \displaystyle {}= 2\sin\alpha\cos\alpha, = 2 sin α cos α , cos 2 α \displaystyle \cos 2\alpha cos 2 α = cos α cos α \displaystyle {}= \cos\alpha\cos\alpha = cos α cos α − sin α sin α \displaystyle {}- \sin\alpha\sin\alpha − sin α sin α = cos 2 α \displaystyle {}= \cos^2\alpha = cos 2 α − sin 2 α \displaystyle {}- \sin^2\alpha − sin 2 α
でした。角を 2 倍にした三角関数が、もとの角 α \alpha α の三角関数だけで書けています。
cos 2 α \cos 2\alpha cos 2 α にはもう一工夫できます。cos 2 α \cos^2\alpha cos 2 α − sin 2 α {}- \sin^2\alpha − sin 2 α には sin \sin sin と cos \cos cos が両方残っていますが、相互関係 sin 2 α \sin^2\alpha sin 2 α + cos 2 α {}+ \cos^2\alpha + cos 2 α = 1 {}= 1 = 1 を使えば片方を消せます。sin 2 α \sin^2\alpha sin 2 α = 1 {}= 1 = 1 − cos 2 α {}- \cos^2\alpha − cos 2 α を入れると 2 cos 2 α 2\cos^2\alpha 2 cos 2 α − 1 {}- 1 − 1 、cos 2 α \cos^2\alpha cos 2 α = 1 {}= 1 = 1 − sin 2 α {}- \sin^2\alpha − sin 2 α を入れると 1 1 1 − 2 sin 2 α {}- 2\sin^2\alpha − 2 sin 2 α です。tan \tan tan は第9章公式3(分子同符号・分母逆符号)に β \beta β = α {}= \alpha = α を入れれば出ます。
cos 2 α \cos 2\alpha cos 2 α の 3 つの形は、中身は同じで「見せ方」が違うだけです。どれを使うかは、式の中でほかに何が出てくるかで決めます。sin α \sin\alpha sin α だけが分かっているなら 1 1 1 − 2 sin 2 α {}- 2\sin^2\alpha − 2 sin 2 α 、cos α \cos\alpha cos α だけなら 2 cos 2 α 2\cos^2\alpha 2 cos 2 α − 1 {}- 1 − 1 、 両方あるなら cos 2 α \cos^2\alpha cos 2 α − sin 2 α {}- \sin^2\alpha − sin 2 α 。 この「相手に合わせて形を選ぶ」判断が、この章の後半(方程式・最大最小)でずっと効いてきます。
第8章 j09 では sin 2 θ \sin 2\theta sin 2 θ = 1 2 {}= \dfrac{1}{2} = 2 1 の 2 θ 2\theta 2 θ を箱 に入れて、かたまり t t t として扱いました。2 倍角の公式は、その箱をほどく 道具です。箱の中身 2 θ 2\theta 2 θ を θ \theta θ の式に広げると、sin 2 θ \sin 2\theta sin 2 θ は 2 sin θ cos θ 2\sin\theta\cos\theta 2 sin θ cos θ という θ \theta θ の世界の式になります。箱のまま扱うか、ほどくか——どちらが得かは問題によります。
2 倍角の公式は加法定理で β \beta β = α {}= \alpha = α とおいたもので、cos 2 α \cos 2\alpha cos 2 α には cos 2 α \cos^2\alpha cos 2 α − sin 2 α {}- \sin^2\alpha − sin 2 α ,2 cos 2 α 2\cos^2\alpha 2 cos 2 α − 1 {}- 1 − 1 ,1 1 1 − 2 sin 2 α {}- 2\sin^2\alpha − 2 sin 2 α の 3 つの形があり、相手に合わせて選ぶということです。
例題1:2 倍角の値を求める
(1) sin α \sin\alpha sin α = 4 5 {}= \dfrac{4}{5} = 5 4 で、α \alpha α の動径が第2象限にあるとき、sin 2 α \sin 2\alpha sin 2 α ,cos 2 α \cos 2\alpha cos 2 α ,tan 2 α \tan 2\alpha tan 2 α の値をそれぞれ求めなさい。
(2) tan α \tan\alpha tan α = 2 {}= 2 = 2 のとき、tan 2 α \tan 2\alpha tan 2 α の値を求めなさい。
【解答】
(1) まず残りの値を相互関係で出します(第9章と同じ「準備」です)。α \alpha α は第2象限なので cos α \cos\alpha cos α < 0 {}< 0 < 0 で
cos α \displaystyle \cos\alpha cos α = − 1 − 16 25 \displaystyle {}= -\sqrt{1 - \frac{16}{25}} = − 1 − 25 16 = − 3 5 \displaystyle {}= -\frac{3}{5} = − 5 3 公式1に入れます。
sin 2 α \displaystyle \sin 2\alpha sin 2 α = 2 ⋅ 4 5 ⋅ ( − 3 5 ) \displaystyle {}= 2 \cdot \frac{4}{5} \cdot \left(-\frac{3}{5}\right) = 2 ⋅ 5 4 ⋅ ( − 5 3 ) = − 24 25 ‾ , \displaystyle {}= \underline{-\frac{24}{25}}, = − 25 24 , cos 2 α \displaystyle \cos 2\alpha cos 2 α = 1 \displaystyle {}= 1 = 1 − 2 ⋅ 16 25 \displaystyle {}- 2 \cdot \frac{16}{25} − 2 ⋅ 25 16 = − 7 25 ‾ \displaystyle {}= \underline{-\frac{7}{25}} = − 25 7 tan 2 α \displaystyle \tan 2\alpha tan 2 α = sin 2 α cos 2 α \displaystyle {}= \frac{\sin 2\alpha}{\cos 2\alpha} = cos 2 α sin 2 α = − 24 25 − 7 25 \displaystyle {}= \frac{-\dfrac{24}{25}}{-\dfrac{7}{25}} = − 25 7 − 25 24 = 24 7 ‾ \displaystyle {}= \underline{\frac{24}{7}} = 7 24 cos 2 α \cos 2\alpha cos 2 α は sin α \sin\alpha sin α が与えられているので 1 1 1 − 2 sin 2 α {}- 2\sin^2\alpha − 2 sin 2 α の形を選びました。cos 2 α \cos^2\alpha cos 2 α − sin 2 α {}- \sin^2\alpha − sin 2 α = 9 25 {}= \dfrac{9}{25} = 25 9 − 16 25 {}- \dfrac{16}{25} − 25 16 で計算しても同じ値です。検算:24 2 24^2 2 4 2 + 7 2 {}+ 7^2 + 7 2 = 625 {}= 625 = 625 = 25 2 {}= 25^2 = 2 5 2 。
(2) 公式1の tan \tan tan の式に入れます。
tan 2 α \displaystyle \tan 2\alpha tan 2 α = 2 ⋅ 2 1 − 2 2 \displaystyle {}= \frac{2 \cdot 2}{1 - 2^2} = 1 − 2 2 2 ⋅ 2 = 4 − 3 \displaystyle {}= \frac{4}{-3} = − 3 4 = − 4 3 ‾ \displaystyle {}= \underline{-\frac{4}{3}} = − 3 4 (1) で sin 2 α \sin 2\alpha sin 2 α < 0 {}< 0 < 0 ,cos 2 α \cos 2\alpha cos 2 α < 0 {}< 0 < 0 なので、2 α 2\alpha 2 α の動径は第3象限です。実際、α \alpha α は π 2 \dfrac{\pi}{2} 2 π と π \pi π のあいだで sin α \sin\alpha sin α = 0.8 {}= 0.8 = 0.8 ですから α \alpha α ≈ 0.70 π {}\approx 0.70\pi ≈ 0.70 π 、2 α 2\alpha 2 α ≈ 1.41 π {}\approx 1.41\pi ≈ 1.41 π で第3象限に入っています。(2) では α \alpha α の象限が分かりませんが、tan 2 α \tan 2\alpha tan 2 α は 1 つに決まります。α \alpha α を α \alpha α + π {}+ \pi + π に変えても 2 α 2\alpha 2 α は 2 π 2\pi 2 π ずれるだけだからです。
半角の公式——2 乗と「角の 2 倍」を両替する
cos 2 α \cos 2\alpha cos 2 α の 3 つの形のうち、sin \sin sin だけ・cos \cos cos だけの 2 つを、2 乗について解いてみます。
cos 2 α \displaystyle \cos 2\alpha cos 2 α = 1 \displaystyle {}= 1 = 1 − 2 sin 2 α \displaystyle {}- 2\sin^2\alpha − 2 sin 2 α ⟹ sin 2 α \displaystyle {}\Longrightarrow\ \sin^2\alpha ⟹ sin 2 α = 1 − cos 2 α 2 , \displaystyle {}= \frac{1 - \cos 2\alpha}{2}, = 2 1 − cos 2 α , cos 2 α \displaystyle \cos 2\alpha cos 2 α = 2 cos 2 α \displaystyle {}= 2\cos^2\alpha = 2 cos 2 α − 1 \displaystyle {}- 1 − 1 ⟹ cos 2 α \displaystyle {}\Longrightarrow\ \cos^2\alpha ⟹ cos 2 α = 1 + cos 2 α 2 \displaystyle {}= \frac{1 + \cos 2\alpha}{2} = 2 1 + cos 2 α
第9章 j20 で α \alpha α = π 12 {}= \dfrac{\pi}{12} = 12 π に使ったのが、この 1 つ目の式でした。ここで α \alpha α を α 2 \dfrac{\alpha}{2} 2 α に書き換えると、右辺の 2 α 2\alpha 2 α が α \alpha α になり、「角 α \alpha α の cos \cos cos から角 α 2 \dfrac{\alpha}{2} 2 α の値を出す」式になります。
右辺には cos α \cos\alpha cos α しか出てきません。sin \sin sin の半角も cos \cos cos の半角も、材料は cos α \cos\alpha cos α だけです。覚え方は「sin \sin sin はマイナス、cos \cos cos はプラス」で、α \alpha α = 0 {}= 0 = 0 を入れると sin 2 0 \sin^2 0 sin 2 0 = 0 {}= 0 = 0 ,cos 2 0 \cos^2 0 cos 2 0 = 1 {}= 1 = 1 になるので、符号を取り違えてもすぐ気づけます。
この公式は、左から読むか右から読むかで役目が変わります。左から右へ読むと「角を半分にする」式。右から左へ——正確には元の形 sin 2 α \sin^2\alpha sin 2 α = 1 − cos 2 α 2 {}= \dfrac{1 - \cos 2\alpha}{2} = 2 1 − cos 2 α で読むと、「2 乗を 1 乗に下げる」式です。2 乗という「次数」を 1 つ手放すかわりに、角を 2 倍にしてもらう 。お札を小銭に両替するように、次数と角を交換しているわけです。後半の最大・最小や第11章では、この「次数を下げる」向きの使い方が主役になります。
sin α cos α \sin\alpha\cos\alpha sin α cos α も 2 倍角の公式 sin 2 α \sin 2\alpha sin 2 α = 2 sin α cos α {}= 2\sin\alpha\cos\alpha = 2 sin α cos α を裏返せば sin α cos α \sin\alpha\cos\alpha sin α cos α = sin 2 α 2 {}= \dfrac{\sin 2\alpha}{2} = 2 sin 2 α で、やはり 1 次の式に両替できます。まとめると、sin 2 α \sin^2\alpha sin 2 α ,cos 2 α \cos^2\alpha cos 2 α ,sin α cos α \sin\alpha\cos\alpha sin α cos α の 3 つの「2 次の項」は、どれも sin 2 α \sin 2\alpha sin 2 α ,cos 2 α \cos 2\alpha cos 2 α の 1 次式で書けます。
半角の公式は cos 2 α \cos 2\alpha cos 2 α の式を 2 乗について解いたもので、「角を半分にする」とも「2 乗を下げて角を 2 倍にする」とも読め、平方根の符号は α 2 \dfrac{\alpha}{2} 2 α の象限で決めるということです。
例題2:半角の公式を使う
(1) 0 0 0 < α {}< \alpha < α < π {}< \pi < π で cos α \cos\alpha cos α = 1 3 {}= \dfrac{1}{3} = 3 1 のとき、sin α 2 \sin\dfrac{\alpha}{2} sin 2 α ,cos α 2 \cos\dfrac{\alpha}{2} cos 2 α ,tan α 2 \tan\dfrac{\alpha}{2} tan 2 α の値をそれぞれ求めなさい。
(2) 半角の公式を用いて、sin 2 π 12 \sin^2\dfrac{\pi}{12} sin 2 12 π ,cos 2 π 12 \cos^2\dfrac{\pi}{12} cos 2 12 π の値をそれぞれ求めなさい。
【解答】
(1) 0 0 0 < α {}< \alpha < α < π {}< \pi < π より 0 0 0 < α 2 {}< \dfrac{\alpha}{2} < 2 α < π 2 {}< \dfrac{\pi}{2} < 2 π なので、α 2 \dfrac{\alpha}{2} 2 α の sin \sin sin ・cos \cos cos ・tan \tan tan はすべて正です。
sin 2 α 2 \displaystyle \sin^2\frac{\alpha}{2} sin 2 2 α = 1 − 1 3 2 \displaystyle {}= \frac{1 - \dfrac{1}{3}}{2} = 2 1 − 3 1 = 1 3 , \displaystyle {}= \frac{1}{3}, = 3 1 , cos 2 α 2 \displaystyle \cos^2\frac{\alpha}{2} cos 2 2 α = 1 + 1 3 2 \displaystyle {}= \frac{1 + \dfrac{1}{3}}{2} = 2 1 + 3 1 = 2 3 \displaystyle {}= \frac{2}{3} = 3 2 sin α 2 \displaystyle \sin\frac{\alpha}{2} sin 2 α = 1 3 \displaystyle {}= \frac{1}{\sqrt{3}} = 3 1 = 3 3 ‾ , \displaystyle {}= \underline{\frac{\sqrt{3}}{3}}, = 3 3 , cos α 2 \displaystyle \cos\frac{\alpha}{2} cos 2 α = 2 3 \displaystyle {}= \frac{\sqrt{2}}{\sqrt{3}} = 3 2 = 6 3 ‾ , \displaystyle {}= \underline{\frac{\sqrt{6}}{3}}, = 3 6 , tan α 2 \displaystyle \tan\frac{\alpha}{2} tan 2 α = sin α 2 cos α 2 \displaystyle {}= \frac{\sin\dfrac{\alpha}{2}}{\cos\dfrac{\alpha}{2}} = cos 2 α sin 2 α = 1 2 \displaystyle {}= \frac{1}{\sqrt{2}} = 2 1 = 2 2 ‾ \displaystyle {}= \underline{\frac{\sqrt{2}}{2}} = 2 2 (2) π 12 \dfrac{\pi}{12} 12 π は π 6 \dfrac{\pi}{6} 6 π の半分なので、公式2で α \alpha α = π 6 {}= \dfrac{\pi}{6} = 6 π (cos π 6 \cos\dfrac{\pi}{6} cos 6 π = 3 2 {}= \dfrac{\sqrt{3}}{2} = 2 3 ) とします。
sin 2 π 12 \displaystyle \sin^2\frac{\pi}{12} sin 2 12 π = 1 − 3 2 2 \displaystyle {}= \frac{1 - \dfrac{\sqrt{3}}{2}}{2} = 2 1 − 2 3 = 2 − 3 4 ‾ , \displaystyle {}= \underline{\frac{2 - \sqrt{3}}{4}}, = 4 2 − 3 , cos 2 π 12 \displaystyle \cos^2\frac{\pi}{12} cos 2 12 π = 1 + 3 2 2 \displaystyle {}= \frac{1 + \dfrac{\sqrt{3}}{2}}{2} = 2 1 + 2 3 = 2 + 3 4 ‾ \displaystyle {}= \underline{\frac{2 + \sqrt{3}}{4}} = 4 2 + 3 (1) の α \alpha α は三角定規の角ではありませんが、半角の値はちゃんと出ます。「0 0 0 < α {}< \alpha < α < π {}< \pi < π 」 という範囲の条件がないと、α 2 \dfrac{\alpha}{2} 2 α の象限が決まらず符号が 1 つに決まりません——半角の問題で範囲が必ず添えられるのはそのためです。検算:1 3 \dfrac{1}{3} 3 1 + 2 3 {}+ \dfrac{2}{3} + 3 2 = 1 {}= 1 = 1 で相互関係を満たします。(2) は第9章 j20 と同じ値です。平方根をとれば sin π 12 \sin\dfrac{\pi}{12} sin 12 π = 2 − 3 2 {}= \dfrac{\sqrt{2 - \sqrt{3}}}{2} = 2 2 − 3 ですが、この形のままでは第9章の値 6 − 2 4 \dfrac{\sqrt{6} - \sqrt{2}}{4} 4 6 − 2 と同じかどうか一目では分かりません。次の節で「2 重根号」をはずします。
2 重根号のはずし方——π/12 が 3 通りの道で一致する
2 − 3 \sqrt{2 - \sqrt{3}} 2 − 3 のように、根号の中にさらに根号がある形を 2 重根号 といいます。これを p \sqrt{p} p − q {}- \sqrt{q} − q のような「ふつうの根号の和・差」に直すことを考えます。
手がかりは展開の逆です。( p + q ) 2 (\sqrt{p} + \sqrt{q})^2 ( p + q ) 2 = p {}= p = p + q {}+ q + q + 2 p q {}+ 2\sqrt{pq} + 2 pq ですから、根号の中が「( 和 ) (\text{和}) ( 和 ) + 2 ( 積 ) {}+ 2\sqrt{(\text{積})} + 2 ( 積 ) 」 の形に見えれば、2 乗の形に戻せます。
「和が a a a 、 積が b b b の 2 数を探す」のは、数I で x 2 x^2 x 2 − a x {}- ax − a x + b {}+ b + b を因数分解するときと同じ作業です。差の形で大きいほうを前に置くのは、p \sqrt{p} p − q {}- \sqrt{q} − q が正でなければ根号の値(0 0 0 以上)と等しくならないからです。
2 − 3 \sqrt{2 - \sqrt{3}} 2 − 3 には「2 2 2 」 が見えないので、根号の中の分母・分子に 2 2 2 をかけます。
2 − 3 \displaystyle \sqrt{2 - \sqrt{3}} 2 − 3 = 4 − 2 3 2 \displaystyle {}= \sqrt{\frac{4 - 2\sqrt{3}}{2}} = 2 4 − 2 3 = 4 − 2 3 2 \displaystyle {}= \frac{\sqrt{4 - 2\sqrt{3}}}{\sqrt{2}} = 2 4 − 2 3
和が 4 4 4 、 積が 3 3 3 の 2 数は 3 3 3 と 1 1 1 なので 4 − 2 3 \sqrt{4 - 2\sqrt{3}} 4 − 2 3 = 3 {}= \sqrt{3} = 3 − 1 {}- 1 − 1 。 よって 2 − 3 \sqrt{2 - \sqrt{3}} 2 − 3 = 3 − 1 2 {}= \dfrac{\sqrt{3} - 1}{\sqrt{2}} = 2 3 − 1 = 6 − 2 2 {}= \dfrac{\sqrt{6} - \sqrt{2}}{2} = 2 6 − 2 です。
O
π/2
π/3
π/4
π/6
π/8
π/12
π/3 → π/6 → π/12
π/2 → π/4 → π/8
(→ は「半分にする」)
2 重根号は、根号の中を「和 ± 2 積 \pm\, 2\sqrt{\text{積}} ± 2 積 」 の形に整えて ( p ± q ) 2 (\sqrt{p} \pm \sqrt{q})^2 ( p ± q ) 2 に戻すとはずせるということです。
例題3:π/12 の値を「半分」から求める
例題2 (2) の結果を用いて、sin π 12 \sin\dfrac{\pi}{12} sin 12 π ,cos π 12 \cos\dfrac{\pi}{12} cos 12 π ,tan π 12 \tan\dfrac{\pi}{12} tan 12 π の値をそれぞれ求め、第9章で π 12 \dfrac{\pi}{12} 12 π = π 4 {}= \dfrac{\pi}{4} = 4 π − π 6 {}- \dfrac{\pi}{6} − 6 π から求めた値と一致することを確かめなさい。
【解答】
0 0 0 < π 12 {}< \dfrac{\pi}{12} < 12 π < π 2 {}< \dfrac{\pi}{2} < 2 π なので、値はすべて正です。
sin π 12 \displaystyle \sin\frac{\pi}{12} sin 12 π = 2 − 3 4 \displaystyle {}= \sqrt{\frac{2 - \sqrt{3}}{4}} = 4 2 − 3 = 2 − 3 2 \displaystyle {}= \frac{\sqrt{2 - \sqrt{3}}}{2} = 2 2 − 3 = 1 2 ⋅ 6 − 2 2 \displaystyle {}= \frac{1}{2} \cdot \frac{\sqrt{6} - \sqrt{2}}{2} = 2 1 ⋅ 2 6 − 2 = 6 − 2 4 ‾ \displaystyle {}= \underline{\frac{\sqrt{6} - \sqrt{2}}{4}} = 4 6 − 2 cos \cos cos も同じ手順です。2 + 3 \sqrt{2 + \sqrt{3}} 2 + 3 = 4 + 2 3 2 {}= \dfrac{\sqrt{4 + 2\sqrt{3}}}{\sqrt{2}} = 2 4 + 2 3 = 3 + 1 2 {}= \dfrac{\sqrt{3} + 1}{\sqrt{2}} = 2 3 + 1 = 6 + 2 2 {}= \dfrac{\sqrt{6} + \sqrt{2}}{2} = 2 6 + 2 より
cos π 12 \displaystyle \cos\frac{\pi}{12} cos 12 π = 2 + 3 2 \displaystyle {}= \frac{\sqrt{2 + \sqrt{3}}}{2} = 2 2 + 3 = 6 + 2 4 ‾ \displaystyle {}= \underline{\frac{\sqrt{6} + \sqrt{2}}{4}} = 4 6 + 2 tan \tan tan は公式2の tan 2 \tan^2 tan 2 の式を使うと、2 重根号を通らずに済みます。
tan 2 π 12 \displaystyle \tan^2\frac{\pi}{12} tan 2 12 π = 1 − 3 2 1 + 3 2 \displaystyle {}= \frac{1 - \dfrac{\sqrt{3}}{2}}{1 + \dfrac{\sqrt{3}}{2}} = 1 + 2 3 1 − 2 3 = 2 − 3 2 + 3 \displaystyle {}= \frac{2 - \sqrt{3}}{2 + \sqrt{3}} = 2 + 3 2 − 3 = ( 2 − 3 ) 2 ( 2 + 3 ) ( 2 − 3 ) \displaystyle {}= \frac{(2 - \sqrt{3})^2}{(2 + \sqrt{3})(2 - \sqrt{3})} = ( 2 + 3 ) ( 2 − 3 ) ( 2 − 3 ) 2 = ( 2 − 3 ) 2 \displaystyle {}= (2 - \sqrt{3})^2 = ( 2 − 3 ) 2 2 2 2 − 3 {}- \sqrt{3} − 3 > 0 {}> 0 > 0 なので tan π 12 \tan\dfrac{\pi}{12} tan 12 π = 2 ‾ {}= \underline{\rule[-0.1328em]{0em}{1.0400em}2} = 2 − 3 ‾ \underline{\rule[-0.1328em]{0em}{1.0400em}{}- \sqrt{3}} − 3 。
第9章の例題1・例題2・例題3で求めた cos π 12 \cos\dfrac{\pi}{12} cos 12 π = 6 + 2 4 {}= \dfrac{\sqrt{6} + \sqrt{2}}{4} = 4 6 + 2 ,sin π 12 \sin\dfrac{\pi}{12} sin 12 π = 6 − 2 4 {}= \dfrac{\sqrt{6} - \sqrt{2}}{4} = 4 6 − 2 ,tan π 12 \tan\dfrac{\pi}{12} tan 12 π = 2 {}= 2 = 2 − 3 {}- \sqrt{3} − 3 と一致します。(確認終)
これで π 12 \dfrac{\pi}{12} 12 π (15 ∘ 15^\circ 1 5 ∘ ) の値に、3 本の道がそろいました。第1章 j19 では三角定規に二等辺三角形をくっつけた図 から、第9章では π 4 \dfrac{\pi}{4} 4 π − π 6 {}- \dfrac{\pi}{6} − 6 π という差 から、この章では π 6 \dfrac{\pi}{6} 6 π の半分 から。出発点も道具も違うのに、同じ数に着きます。第1章の図で 15 ∘ 15^\circ 1 5 ∘ が現れたのは、二等辺三角形の底角が「外角 30 ∘ 30^\circ 3 0 ∘ の半分」だったから——あの図はそもそも半角の図だったのです。
x
y
α
α/2
1
1
B(−1, 0)
P(cos α, sin α)
O
H
BH = 1 + cos α
PH = sin α
tan(α/2) = sin α / (1 + cos α)
図のように単位円上の点 P ( cos α , sin α ) \mathrm{P}(\cos\alpha,\ \sin\alpha) P ( cos α , sin α ) と点 B ( − 1 , 0 ) \mathrm{B}(-1,\ 0) B ( − 1 , 0 ) を結ぶと、O B \mathrm{OB} OB = O P {}= \mathrm{OP} = OP = 1 {}= 1 = 1 の二等辺三角形ができ、底角 ∠ O B P \angle\mathrm{OBP} ∠ OBP は外角 α \alpha α の半分 α 2 \dfrac{\alpha}{2} 2 α になります。P \mathrm{P} P から x x x 軸に下ろした垂線の足を H \mathrm{H} H とすると、直角三角形 B H P \mathrm{BHP} BHP から
tan α 2 \displaystyle \tan\frac{\alpha}{2} tan 2 α = P H B H \displaystyle {}= \frac{\mathrm{PH}}{\mathrm{BH}} = BH PH = sin α 1 + cos α \displaystyle {}= \frac{\sin\alpha}{1 + \cos\alpha} = 1 + cos α sin α
が読めます(図は 0 0 0 < α {}< \alpha < α < π {}< \pi < π の場合)。α \alpha α = π 6 {}= \dfrac{\pi}{6} = 6 π を入れると 1 2 1 + 3 2 \dfrac{\frac{1}{2}}{1 + \frac{\sqrt{3}}{2}} 1 + 2 3 2 1 = 1 2 + 3 {}= \dfrac{1}{2 + \sqrt{3}} = 2 + 3 1 = 2 {}= 2 = 2 − 3 {}- \sqrt{3} − 3 。 第1章 j19 の図は、この図の α \alpha α = π 6 {}= \dfrac{\pi}{6} = 6 π の場合を直角三角形の言葉で描いたものでした。この式は符号の心配がいらない便利な形で、厳密定義ページでどんな α \alpha α でも成り立つことを確かめます。
π/8——「半分」で初めて届く角
第9章で値が出せたのは、π 12 \dfrac{\pi}{12} 12 π ,5 12 π \dfrac{5}{12}\pi 12 5 π のように三角定規の角 π 6 \dfrac{\pi}{6} 6 π ,π 4 \dfrac{\pi}{4} 4 π ,π 3 \dfrac{\pi}{3} 3 π の和・差で書ける角でした。π 8 \dfrac{\pi}{8} 8 π (22.5 ∘ 22.5^\circ 22. 5 ∘ ) はそうは書けません。三角定規の角はすべて π 12 \dfrac{\pi}{12} 12 π の整数倍なので、和・差もすべて π 12 \dfrac{\pi}{12} 12 π の整数倍になり、π 8 \dfrac{\pi}{8} 8 π にはならないのです。ところが π 8 \dfrac{\pi}{8} 8 π = 1 2 ⋅ π 4 {}= \dfrac{1}{2} \cdot \dfrac{\pi}{4} = 2 1 ⋅ 4 π ですから、半角の公式なら届きます。
定規とコンパスがあれば、どんな角でも二等分の作図ができます。三角定規の π 4 \dfrac{\pi}{4} 4 π を二等分すれば π 8 \dfrac{\pi}{8} 8 π 、 それをまた二等分すれば π 16 \dfrac{\pi}{16} 16 π ……。 半角の公式は、その作図を計算で やる道具です。加法定理が「角の足し算・引き算」を計算にしたのに対し、半角の公式は「角の二等分」を計算にしました。
2 − 2 \sqrt{2 - \sqrt{2}} 2 − 2 を公式3の形に整えると 4 − 2 2 2 \sqrt{\dfrac{4 - 2\sqrt{2}}{2}} 2 4 − 2 2 で、和が 4 4 4 、 積が 2 2 2 の 2 数を探すことになります。p p p + q {}+ q + q = 4 {}= 4 = 4 ,p q pq pq = 2 {}= 2 = 2 を満たす p p p ,q q q は 2 2 2 ± 2 {}\pm \sqrt{2} ± 2 で、根号の中に根号が残ってしまいます。2 重根号がいつもはずせるわけではない——はずせる条件は厳密定義ページで扱います。
π 8 \dfrac{\pi}{8} 8 π は三角定規の角の和・差では書けないが、π 4 \dfrac{\pi}{4} 4 π の半分として半角の公式で値が出せ、sin \sin sin ・cos \cos cos は 2 重根号のまま答えるということです。
例題4:π/8 の三角関数
半角の公式を用いて、sin π 8 \sin\dfrac{\pi}{8} sin 8 π ,cos π 8 \cos\dfrac{\pi}{8} cos 8 π ,tan π 8 \tan\dfrac{\pi}{8} tan 8 π の値をそれぞれ求めなさい。
【解答】
公式2で α \alpha α = π 4 {}= \dfrac{\pi}{4} = 4 π (cos π 4 \cos\dfrac{\pi}{4} cos 4 π = 2 2 {}= \dfrac{\sqrt{2}}{2} = 2 2 ) とします。0 0 0 < π 8 {}< \dfrac{\pi}{8} < 8 π < π 2 {}< \dfrac{\pi}{2} < 2 π なので値はすべて正です。
sin 2 π 8 \displaystyle \sin^2\frac{\pi}{8} sin 2 8 π = 1 − 2 2 2 \displaystyle {}= \frac{1 - \dfrac{\sqrt{2}}{2}}{2} = 2 1 − 2 2 = 2 − 2 4 , \displaystyle {}= \frac{2 - \sqrt{2}}{4}, = 4 2 − 2 , cos 2 π 8 \displaystyle \cos^2\frac{\pi}{8} cos 2 8 π = 1 + 2 2 2 \displaystyle {}= \frac{1 + \dfrac{\sqrt{2}}{2}}{2} = 2 1 + 2 2 = 2 + 2 4 \displaystyle {}= \frac{2 + \sqrt{2}}{4} = 4 2 + 2 sin π 8 \displaystyle \sin\frac{\pi}{8} sin 8 π = 2 − 2 2 ‾ , \displaystyle {}= \underline{\frac{\sqrt{2 - \sqrt{2}}}{2}}, = 2 2 − 2 , cos π 8 \displaystyle \cos\frac{\pi}{8} cos 8 π = 2 + 2 2 ‾ \displaystyle {}= \underline{\frac{\sqrt{2 + \sqrt{2}}}{2}} = 2 2 + 2 tan \tan tan は tan 2 \tan^2 tan 2 の式から出します。
tan 2 π 8 \displaystyle \tan^2\frac{\pi}{8} tan 2 8 π = 2 − 2 2 + 2 \displaystyle {}= \frac{2 - \sqrt{2}}{2 + \sqrt{2}} = 2 + 2 2 − 2 = ( 2 − 2 ) 2 ( 2 + 2 ) ( 2 − 2 ) \displaystyle {}= \frac{(2 - \sqrt{2})^2}{(2 + \sqrt{2})(2 - \sqrt{2})} = ( 2 + 2 ) ( 2 − 2 ) ( 2 − 2 ) 2 = ( 2 − 2 ) 2 2 \displaystyle {}= \frac{(2 - \sqrt{2})^2}{2} = 2 ( 2 − 2 ) 2 tan π 8 \displaystyle \tan\frac{\pi}{8} tan 8 π = 2 − 2 2 \displaystyle {}= \frac{2 - \sqrt{2}}{\sqrt{2}} = 2 2 − 2 = 2 ‾ \displaystyle {}= \underline{\rule[-0.0839em]{0em}{1.0400em}\sqrt{2}} = 2 − 1 ‾ \displaystyle \underline{\rule[-0.0839em]{0em}{1.0400em}{}- 1} − 1 おおよその値は sin π 8 \sin\dfrac{\pi}{8} sin 8 π ≈ 0.383 {}\approx 0.383 ≈ 0.383 ,cos π 8 \cos\dfrac{\pi}{8} cos 8 π ≈ 0.924 {}\approx 0.924 ≈ 0.924 ,tan π 8 \tan\dfrac{\pi}{8} tan 8 π ≈ 0.414 {}\approx 0.414 ≈ 0.414 。tan \tan tan だけは 2 重根号が消えました。図の見方でも、tan π 8 \tan\dfrac{\pi}{8} tan 8 π = sin π 4 1 + cos π 4 {}= \dfrac{\sin\frac{\pi}{4}}{1 + \cos\frac{\pi}{4}} = 1 + cos 4 π sin 4 π = 2 2 1 + 2 2 {}= \dfrac{\frac{\sqrt{2}}{2}}{1 + \frac{\sqrt{2}}{2}} = 1 + 2 2 2 2 = 1 2 + 1 {}= \dfrac{1}{\sqrt{2} + 1} = 2 + 1 1 = 2 {}= \sqrt{2} = 2 − 1 {}- 1 − 1 と 1 行で出ます。
2 倍角を含む方程式——かたまりのまま解くか、ほどくか
第8章 j09 の sin 2 θ \sin 2\theta sin 2 θ = 1 2 {}= \dfrac{1}{2} = 2 1 は、2 θ 2\theta 2 θ を箱 t t t に入れて「t t t の範囲を先に決め、sin t \sin t sin t = 1 2 {}= \dfrac{1}{2} = 2 1 を解く」で済みました。式の中に 2 θ 2\theta 2 θ しか出てこないからです。では sin 2 θ \sin 2\theta sin 2 θ = sin θ {}= \sin\theta = sin θ はどうでしょう。2 θ 2\theta 2 θ と θ \theta θ が混ざっていて、1 つの箱には入りません。こういうときは箱をほどき、θ \theta θ の式にそろえます。
手順 2 の cos 2 θ \cos 2\theta cos 2 θ の選び方がこの節の要です。cos 2 θ \cos 2\theta cos 2 θ + sin θ {}+ \sin\theta + sin θ なら sin \sin sin にそろえたいので 1 1 1 − 2 sin 2 θ {}- 2\sin^2\theta − 2 sin 2 θ を、cos 2 θ \cos 2\theta cos 2 θ + cos θ {}+ \cos\theta + cos θ なら 2 cos 2 θ 2\cos^2\theta 2 cos 2 θ − 1 {}- 1 − 1 を選べば、式が sin θ \sin\theta sin θ だけ(cos θ \cos\theta cos θ だけ)になり、第8章 j13・j14 で練習した「t t t = sin θ {}= \sin\theta = sin θ とおいて 2 次方程式」に落ちます。sin 2 θ \sin 2\theta sin 2 θ をほどくと sin θ \sin\theta sin θ と cos θ \cos\theta cos θ が両方出ますが、相手も sin θ \sin\theta sin θ か cos θ \cos\theta cos θ なら共通因数でくくれます。
2 倍角を含む方程式は、角が 2 θ 2\theta 2 θ だけならかたまりのまま、θ \theta θ と混ざっていれば 2 倍角でほどいて 1 種類にそろえ、第8章の型に落とすということです。
例題5:2 倍角を含む方程式
0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π とします。
(1) sin 2 θ \sin 2\theta sin 2 θ = sin θ {}= \sin\theta = sin θ
(2) cos 2 θ \cos 2\theta cos 2 θ = 3 sin θ {}= 3\sin\theta = 3 sin θ − 1 {}- 1 − 1
上の各方程式の解を求めなさい。
【解答】
(1) 2 θ 2\theta 2 θ と θ \theta θ が混ざっているので、sin 2 θ \sin 2\theta sin 2 θ をほどきます。
2 sin θ cos θ \displaystyle 2\sin\theta\cos\theta 2 sin θ cos θ = sin θ \displaystyle {}= \sin\theta = sin θ ⟹ sin θ ( 2 cos θ − 1 ) \displaystyle {}\Longrightarrow\ \sin\theta\,(2\cos\theta - 1) ⟹ sin θ ( 2 cos θ − 1 ) = 0 \displaystyle {}= 0 = 0 両辺を sin θ \sin\theta sin θ で割ってはいけません(sin θ \sin\theta sin θ = 0 {}= 0 = 0 の解を落とします)。積が 0 0 0 なので、sin θ \sin\theta sin θ = 0 {}= 0 = 0 または cos θ \cos\theta cos θ = 1 2 {}= \dfrac{1}{2} = 2 1 。 水面 y y y = 0 {}= 0 = 0 との交点が θ \theta θ = 0 , {}= 0, = 0 , π \ \pi π 、 壁 x x x = 1 2 {}= \dfrac{1}{2} = 2 1 との交点が θ \theta θ = π 3 , {}= \dfrac{\pi}{3}, = 3 π , 5 3 π \ \dfrac{5}{3}\pi 3 5 π です。
θ = 0 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\theta = 0,} θ = 0 , π 3 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{\pi}{3},} 3 π , π , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \pi,} π , 5 3 π ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{5}{3}\pi} 3 5 π (2) 相手が sin θ \sin\theta sin θ なので、cos 2 θ \cos 2\theta cos 2 θ = 1 {}= 1 = 1 − 2 sin 2 θ {}- 2\sin^2\theta − 2 sin 2 θ を選びます。t t t = sin θ {}= \sin\theta = sin θ (− 1 -1 − 1 ≦ t {}\leqq t ≦ t ≦ 1 {}\leqq 1 ≦ 1 ) とおくと
1 \displaystyle 1 1 − 2 t 2 \displaystyle {}- 2t^2 − 2 t 2 = 3 t \displaystyle {}= 3t = 3 t − 1 \displaystyle {}- 1 − 1 ⟹ 2 t 2 \displaystyle {}\Longrightarrow\ 2t^2 ⟹ 2 t 2 + 3 t \displaystyle {}+ 3t + 3 t − 2 \displaystyle {}- 2 − 2 = 0 \displaystyle {}= 0 = 0 ⟹ ( 2 t − 1 ) ( t + 2 ) \displaystyle {}\Longrightarrow\ (2t - 1)(t + 2) ⟹ ( 2 t − 1 ) ( t + 2 ) = 0 \displaystyle {}= 0 = 0 − 1 -1 − 1 ≦ t {}\leqq t ≦ t ≦ 1 {}\leqq 1 ≦ 1 より t t t = − 2 {}= -2 = − 2 は捨てて t t t = 1 2 {}= \dfrac{1}{2} = 2 1 、 つまり sin θ \sin\theta sin θ = 1 2 {}= \dfrac{1}{2} = 2 1 。
θ = π 6 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\theta = \frac{\pi}{6},} θ = 6 π , 5 6 π ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{5}{6}\pi} 6 5 π (1) を検算してみます。θ \theta θ = π 3 {}= \dfrac{\pi}{3} = 3 π のとき sin 2 3 π \sin\dfrac{2}{3}\pi sin 3 2 π = 3 2 {}= \dfrac{\sqrt{3}}{2} = 2 3 = sin π 3 {}= \sin\dfrac{\pi}{3} = sin 3 π で成り立ちます。(2) で cos 2 θ \cos 2\theta cos 2 θ = 2 cos 2 θ {}= 2\cos^2\theta = 2 cos 2 θ − 1 {}- 1 − 1 を選ぶと、sin θ \sin\theta sin θ と cos θ \cos\theta cos θ が混ざって先に進めません。「相手の顔を見て形を選ぶ」ことで、2 倍角の方程式が第8章の 2 次方程式に戻りました。
2 倍角を含む関数の最大・最小
最大・最小でも考え方は同じです。式が sin θ \sin\theta sin θ (または cos θ \cos\theta cos θ ) の 1 種類にそろえば、t t t = sin θ {}= \sin\theta = sin θ の 2 次関数として第8章 j16・j18 の方法で扱えます。逆に sin θ cos θ \sin\theta\cos\theta sin θ cos θ のような積が残るときは、公式2の「両替」で次数を下げて sin 2 θ \sin 2\theta sin 2 θ のかたまりにします。
t
y
O
3/2
1
−3
−1
1/2
1
最大 3/2
最小 −3(t = −1)
(1, 1)
y = −2t² + 2t + 1
2 倍角を含む関数の最大・最小は、1 種類にそろえて 2 次関数にするか、次数を下げて 2 θ 2\theta 2 θ のかたまりにするかのどちらかだということです。
例題6:2 倍角を含む関数の最大・最小
(1) 0 0 0 ≦ θ {}\leqq \theta ≦ θ < 2 π {}< 2\pi < 2 π のとき、関数 y y y = cos 2 θ {}= \cos 2\theta = cos 2 θ + 2 sin θ {}+ 2\sin\theta + 2 sin θ の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
(2) 0 0 0 ≦ θ {}\leqq \theta ≦ θ ≦ π 3 {}\leqq \dfrac{\pi}{3} ≦ 3 π のとき、関数 y y y = sin θ cos θ {}= \sin\theta\cos\theta = sin θ cos θ の最大値・最小値と、そのときの θ \theta θ の値を求めなさい。
【解答】
(1) 相手が sin θ \sin\theta sin θ なので cos 2 θ \cos 2\theta cos 2 θ = 1 {}= 1 = 1 − 2 sin 2 θ {}- 2\sin^2\theta − 2 sin 2 θ 。t t t = sin θ {}= \sin\theta = sin θ (− 1 -1 − 1 ≦ t {}\leqq t ≦ t ≦ 1 {}\leqq 1 ≦ 1 ) とおくと
y \displaystyle y y = 1 \displaystyle {}= 1 = 1 − 2 t 2 \displaystyle {}- 2t^2 − 2 t 2 + 2 t \displaystyle {}+ 2t + 2 t = − 2 ( t − 1 2 ) 2 \displaystyle {}= -2\left(t - \frac{1}{2}\right)^2 = − 2 ( t − 2 1 ) 2 + 3 2 \displaystyle {}+ \frac{3}{2} + 2 3 図のように、上に凸の放物線で頂点の t t t = 1 2 {}= \dfrac{1}{2} = 2 1 は範囲に入っています。最大は t t t = 1 2 {}= \dfrac{1}{2} = 2 1 で 3 2 \dfrac{3}{2} 2 3 。 最小は頂点から遠い端 t t t = − 1 {}= -1 = − 1 で y y y = − 2 {}= -2 = − 2 − 2 {}- 2 − 2 + 1 {}+ 1 + 1 = − 3 {}= -3 = − 3 。sin θ \sin\theta sin θ = 1 2 {}= \dfrac{1}{2} = 2 1 となる θ \theta θ は π 6 , \dfrac{\pi}{6}, 6 π , 5 6 π \ \dfrac{5}{6}\pi 6 5 π 、sin θ \sin\theta sin θ = − 1 {}= -1 = − 1 は 3 2 π \dfrac{3}{2}\pi 2 3 π です。
最大値 3 2 ( θ = π 6 , 5 6 π ) , ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}\text{最大値 } \frac{3}{2}\ \left(\theta = \frac{\pi}{6},\ \frac{5}{6}\pi\right),} 最大値 2 3 ( θ = 6 π , 6 5 π ) , 最小値 ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}\quad \text{最小値 }} 最小値 − 3 ( θ = 3 2 π ) ‾ \displaystyle \underline{\rule[-0.95em]{0em}{2.4000em}{}-3\ \left(\theta = \frac{3}{2}\pi\right)} − 3 ( θ = 2 3 π ) (2) 積 sin θ cos θ \sin\theta\cos\theta sin θ cos θ を次数下げで y y y = 1 2 sin 2 θ {}= \dfrac{1}{2}\sin 2\theta = 2 1 sin 2 θ にします。かたまり 2 θ 2\theta 2 θ の範囲を先に書くと 0 0 0 ≦ 2 θ {}\leqq 2\theta ≦ 2 θ ≦ 2 3 π {}\leqq \dfrac{2}{3}\pi ≦ 3 2 π 。 この範囲で sin 2 θ \sin 2\theta sin 2 θ は 0 0 0 から 1 1 1 まで上がり(2 θ 2\theta 2 θ = π 2 {}= \dfrac{\pi}{2} = 2 π )、 2 3 π \dfrac{2}{3}\pi 3 2 π で 3 2 \dfrac{\sqrt{3}}{2} 2 3 まで下がります。
最大値 1 2 ( θ = π 4 ) , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\text{最大値 } \frac{1}{2}\ \left(\theta = \frac{\pi}{4}\right),} 最大値 2 1 ( θ = 4 π ) , 最小値 0 ( θ = 0 ) ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\quad \text{最小値 } 0\ (\theta = 0)} 最小値 0 ( θ = 0 ) (1) の最小値を t t t = 1 {}= 1 = 1 (右端)と比べると、t t t = 1 {}= 1 = 1 では y y y = 1 {}= 1 = 1 なので、頂点から遠いのはたしかに t t t = − 1 {}= -1 = − 1 の側です。(2) は sin θ \sin\theta sin θ と cos θ \cos\theta cos θ を 1 種類にそろえようとすると sin θ 1 − sin 2 θ \sin\theta\sqrt{1 - \sin^2\theta} sin θ 1 − sin 2 θ になって手に負えませんが、両替すれば一瞬です。
第11章へ——sin 2θ と cos 2θ が両方残ったら
次数下げを使うと、sin 2 θ \sin^2\theta sin 2 θ ,sin θ cos θ \sin\theta\cos\theta sin θ cos θ ,cos 2 θ \cos^2\theta cos 2 θ を組み合わせた式はすべて sin 2 θ \sin 2\theta sin 2 θ と cos 2 θ \cos 2\theta cos 2 θ の 1 次式になります。たとえば
sin 2 θ \displaystyle \sin^2\theta sin 2 θ + 2 sin θ cos θ \displaystyle {}+ 2\sin\theta\cos\theta + 2 sin θ cos θ + 3 cos 2 θ \displaystyle {}+ 3\cos^2\theta + 3 cos 2 θ = 1 − cos 2 θ 2 \displaystyle {}= \frac{1 - \cos 2\theta}{2} = 2 1 − cos 2 θ + sin 2 θ \displaystyle {}+ \sin 2\theta + sin 2 θ + 3 ( 1 + cos 2 θ ) 2 \displaystyle {}+ \frac{3(1 + \cos 2\theta)}{2} + 2 3 ( 1 + cos 2 θ ) = 2 \displaystyle {}= 2 = 2 + sin 2 θ \displaystyle {}+ \sin 2\theta + sin 2 θ + cos 2 θ \displaystyle {}+ \cos 2\theta + cos 2 θ
です。ところが、ここで手が止まります。sin 2 θ \sin 2\theta sin 2 θ + cos 2 θ {}+ \cos 2\theta + cos 2 θ には sin \sin sin と cos \cos cos が両方残っていて、例題6 (1) のように 1 種類にそろえることも、(2) のように 1 つのかたまりにすることもできません。
手がかりは第9章 j19 (2) にあります。そこでは加法定理で sin ( θ + π 4 ) \sin\left(\theta + \dfrac{\pi}{4}\right) sin ( θ + 4 π ) = 2 2 ( sin θ + cos θ ) {}= \dfrac{\sqrt{2}}{2}(\sin\theta + \cos\theta) = 2 2 ( sin θ + cos θ ) と展開しました。この式を右から左へ 読むと
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 にまとまっています。加法定理を「ほどく」向きではなく「まとめる」向きに使ったわけです。一般に a sin θ a\sin\theta a sin θ + b cos θ {}+ b\cos\theta + b cos θ を 1 つの sin \sin sin にまとめる方法が、第11章の三角関数の合成 です。まとめてしまえば、最大・最小は sin \sin sin の値の範囲 − 1 -1 − 1 から 1 1 1 だけで決まります。j20 でその入口を少しだけ見ておきましょう。
コンセントの 100 V と 141 V——√2 の正体は sin² の平均
第7章の小話で、家庭のコンセントの電圧は最大値が約 141 V 141\ \text{V} 141 V のサインカーブ v v v = 141 sin ( 100 π t ) {}= 141\sin(100\pi t) = 141 sin ( 100 π t ) (東日本)なのに、「100 V 100\ \text{V} 100 V 」 と呼ばれていると書きました。141 141 141 と 100 100 100 の比は 2 \sqrt{2} 2 。 そのときは理由を伏せましたが、この章の半角の公式(次数を下げる向き)で説明できます。
電気が熱や光として仕事をする量(電力)は、電圧の 2 乗 に比例します。電圧が V sin θ V\sin\theta V sin θ なら、電力は V 2 sin 2 θ V^2\sin^2\theta V 2 sin 2 θ に比例します。ここで次数を下げると
sin 2 θ \displaystyle \sin^2\theta sin 2 θ = 1 2 \displaystyle {}= \frac{1}{2} = 2 1 − 1 2 cos 2 θ \displaystyle {}- \frac{1}{2}\cos 2\theta − 2 1 cos 2 θ 右辺の cos 2 θ \cos 2\theta cos 2 θ は、1 周期のあいだに正と負を同じだけ行き来するので、平均すると 0 0 0 です。残るのは 1 2 \dfrac{1}{2} 2 1 。 つまり sin 2 θ \sin^2\theta sin 2 θ の平均は 1 2 \dfrac{1}{2} 2 1 で、交流の電力の平均は「最大値 V V V の直流」の半分になります。
では、同じ平均電力を出す直流は何ボルトか。直流 E E E の電力は E 2 E^2 E 2 に比例するので、E 2 E^2 E 2 = V 2 2 {}= \dfrac{V^2}{2} = 2 V 2 、 つまり E E E = V 2 {}= \dfrac{V}{\sqrt{2}} = 2 V 。 この E E E が 実効値 で、V V V = 141 {}= 141 = 141 なら E E E = 141 2 {}= \dfrac{141}{\sqrt{2}} = 2 141 ≈ 100 {}\approx 100 ≈ 100 。 コンセントの「100 V 100\ \text{V} 100 V 」 は、「熱の出方で比べると 100 V 100\ \text{V} 100 V の直流と同じ」という意味だったのです。2 \sqrt{2} 2 は、2 乗の平均が 1 2 \dfrac{1}{2} 2 1 になることから来ていました。
豆知識
sin 2 θ \sin^2\theta sin 2 θ = 1 2 {}= \dfrac{1}{2} = 2 1 − 1 2 cos 2 θ {}- \dfrac{1}{2}\cos 2\theta − 2 1 cos 2 θ には、もう 1 つ情報があります。電力の波は cos 2 θ \cos 2\theta cos 2 θ で揺れる、つまり 電圧の 2 倍の速さ で脈打つのです。50 Hz 50\ \text{Hz} 50 Hz の地域では電力は 1 1 1 秒に 100 100 100 回、60 Hz 60\ \text{Hz} 60 Hz なら 120 120 120 回強弱をくり返します。昔の蛍光灯がかすかにちらついて見えたのは、このためです(今の照明の多くは電子回路でちらつきを抑えています)。
ボールをいちばん遠くへ——飛距離は sin 2θ で決まる
ボールを速さ v v v 、 地面から角 θ \theta θ の向きに投げ上げると、どこまで飛ぶでしょう。空気の抵抗を無視すると、物理(力学)で習う式から、同じ高さに落ちるまでの水平距離は
L \displaystyle L L = 2 v 2 sin θ cos θ g \displaystyle {}= \frac{2v^2\sin\theta\cos\theta}{g} = g 2 v 2 sin θ cos θ = v 2 sin 2 θ g \displaystyle {}= \frac{v^2\sin 2\theta}{g} = g v 2 sin 2 θ となります(g g g は重力加速度で約 9.8 9.8 9.8 )。sin θ \sin\theta sin θ は「上向きの速さ」から来る滞空時間、cos θ \cos\theta cos θ は「横向きの速さ」から来ていて、その積 2 sin θ cos θ 2\sin\theta\cos\theta 2 sin θ cos θ がちょうど sin 2 θ \sin 2\theta sin 2 θ にまとまります。
sin 2 θ \sin 2\theta sin 2 θ が最大の 1 1 1 になるのは 2 θ 2\theta 2 θ = π 2 {}= \dfrac{\pi}{2} = 2 π 、 つまり θ \theta θ = π 4 {}= \dfrac{\pi}{4} = 4 π (45 ∘ 45^\circ 4 5 ∘ ) です。高く投げすぎると横に進まず、低く投げすぎるとすぐ落ちる。その釣り合いがちょうど 45 ∘ 45^\circ 4 5 ∘ で取れます。
さらに、sin 2 θ \sin 2\theta sin 2 θ = sin ( π − 2 θ ) {}= \sin(\pi - 2\theta) = sin ( π − 2 θ ) = sin 2 ( π 2 − θ ) {}= \sin 2\left(\dfrac{\pi}{2} - \theta\right) = sin 2 ( 2 π − θ ) なので、θ \theta θ と π 2 \dfrac{\pi}{2} 2 π − θ {}- \theta − θ で飛距離は同じ です。30 ∘ 30^\circ 3 0 ∘ で投げても 60 ∘ 60^\circ 6 0 ∘ で投げても同じ地点に落ちる(60 ∘ 60^\circ 6 0 ∘ のほうが高く上がって長く飛ぶ)。この 2 つの性質はガリレオが 1638 年の『新科学対話』で示したとされています。第6章公式5の「π 2 \dfrac{\pi}{2} 2 π − θ {}- \theta − θ 」 が、ここでは「山なりの軌道と低い軌道」という目に見える形で現れています。
豆知識
実際のスポーツでは空気の抵抗や、投げる位置の高さ(肩の高さ)があるので、最適な角度は 45 ∘ 45^\circ 4 5 ∘ より低くなることが多いといわれます(砲丸投げ・やり投げなどで、競技や選手によって異なります※諸説あり)。数学の答え 45 ∘ 45^\circ 4 5 ∘ は「理想化した世界」の答えで、現実に合わせるには式に抵抗の項を足していきます。それでも「まず理想化して形をつかむ」ことが、物理の考え方の出発点です。
tan(α/2) からピタゴラス数を作る
j13 で、t t t = tan α 2 {}= \tan\dfrac{\alpha}{2} = tan 2 α とおくと
cos α \displaystyle \cos\alpha cos α = 1 − t 2 1 + t 2 , \displaystyle {}= \frac{1 - t^2}{1 + t^2}, = 1 + t 2 1 − t 2 , sin α \displaystyle \sin\alpha sin α = 2 t 1 + t 2 \displaystyle {}= \frac{2t}{1 + t^2} = 1 + t 2 2 t と、根号を使わずに書けることを示しました。t t t に有理数を入れると、cos α \cos\alpha cos α も sin α \sin\alpha sin α も有理数になり、しかも cos 2 α \cos^2\alpha cos 2 α + sin 2 α {}+ \sin^2\alpha + sin 2 α = 1 {}= 1 = 1 を満たします。
t t t = n m {}= \dfrac{n}{m} = m n (m m m > n {}> n > n > 0 {}> 0 > 0 の整数)を入れて分母を払うと、cos α \cos\alpha cos α = m 2 − n 2 m 2 + n 2 {}= \dfrac{m^2 - n^2}{m^2 + n^2} = m 2 + n 2 m 2 − n 2 ,sin α \sin\alpha sin α = 2 m n m 2 + n 2 {}= \dfrac{2mn}{m^2 + n^2} = m 2 + n 2 2 mn 。 つまり
( m 2 − n 2 ) 2 \displaystyle (m^2 - n^2)^2 ( m 2 − n 2 ) 2 + ( 2 m n ) 2 \displaystyle {}+ (2mn)^2 + ( 2 mn ) 2 = ( m 2 + n 2 ) 2 \displaystyle {}= (m^2 + n^2)^2 = ( m 2 + n 2 ) 2 が成り立ちます。三平方の定理 a 2 a^2 a 2 + b 2 {}+ b^2 + b 2 = c 2 {}= c^2 = c 2 を満たす整数の組(ピタゴラス数 )の製造機です。m m m = 2 {}= 2 = 2 ,n n n = 1 {}= 1 = 1 なら ( 3 , 4 , 5 ) (3,\ 4,\ 5) ( 3 , 4 , 5 ) 、m m m = 3 {}= 3 = 3 ,n n n = 2 {}= 2 = 2 なら ( 5 , 12 , 13 ) (5,\ 12,\ 13) ( 5 , 12 , 13 ) 、m m m = 4 {}= 4 = 4 ,n n n = 1 {}= 1 = 1 なら ( 15 , 8 , 17 ) (15,\ 8,\ 17) ( 15 , 8 , 17 ) 、m m m = 4 {}= 4 = 4 ,n n n = 3 {}= 3 = 3 なら ( 7 , 24 , 25 ) (7,\ 24,\ 25) ( 7 , 24 , 25 ) 。 第9章 j04 で「3 3 3 , 4 4 4 ,5 5 5 と 5 5 5 ,12 12 12 ,13 13 13 から 16 16 16 ,63 63 63 ,65 65 65 が生まれた」のも、この仲間です。
図で見ると、本文の fig01 がそのまま製造機になっています。点 B ( − 1 , 0 ) \mathrm{B}(-1,\ 0) B ( − 1 , 0 ) から傾き t t t の直線を引くと、単位円ともう 1 点で交わり、その点が ( 1 − t 2 1 + t 2 , 2 t 1 + t 2 ) \left(\dfrac{1 - t^2}{1 + t^2},\ \dfrac{2t}{1 + t^2}\right) ( 1 + t 2 1 − t 2 , 1 + t 2 2 t ) です。傾き t t t が有理数なら交点の座標も有理数——単位円上の「座標がともに有理数の点」は、B \mathrm{B} B からの直線の傾きで 1 つずつ数えられます。
豆知識
ピタゴラス数の表は古く、紀元前 1800 年ごろのバビロニアの粘土板「プリンプトン 322」に、( 119 , 120 , 169 ) (119,\ 120,\ 169) ( 119 , 120 , 169 ) のような大きな組まで刻まれているとされます(何のための表だったかは諸説あります)。j01 の sin 2 α \sin 2\alpha sin 2 α = − 120 169 {}= -\dfrac{120}{169} = − 169 120 ,cos 2 α \cos 2\alpha cos 2 α = 119 169 {}= \dfrac{119}{169} = 169 119 は、ちょうどこの組でした。また、t t t = tan α 2 {}= \tan\dfrac{\alpha}{2} = tan 2 α の置き換えは、数III の積分で「sin \sin sin ・ cos \cos cos の分数式を t t t の分数式に直す」強力な道具として再登場します。
※ここは発展ページ です。高校の範囲では「2 倍角・半角の公式を加法定理から導き、値の計算・方程式・最大最小に使える」ことで十分ですが、「半角の符号はなぜ範囲がないと決まらないのか?」「2 重根号はいつはずせるのか?」「tan α 2 \tan\dfrac{\alpha}{2} tan 2 α の式はどんな角でも使えるのか?」が気になる人のために、根拠を紹介します。
定理1:2 倍角・半角の公式(一般角)と、半角の符号
すべての実数 α \alpha α に対して、公式1(sin 2 α \sin 2\alpha sin 2 α , cos 2 α \cos 2\alpha cos 2 α の 3 形)と公式2(sin 2 α 2 \sin^2\dfrac{\alpha}{2} sin 2 2 α , cos 2 α 2 \cos^2\dfrac{\alpha}{2} cos 2 2 α ) が成り立つ。
一方、cos α \cos\alpha cos α の値(あるいは α \alpha α の動径)だけからは sin α 2 \sin\dfrac{\alpha}{2} sin 2 α ,cos α 2 \cos\dfrac{\alpha}{2} cos 2 α の符号は決まらない。α \alpha α を α \alpha α + 2 π {}+ 2\pi + 2 π に置き換えると、sin α 2 \sin\dfrac{\alpha}{2} sin 2 α ,cos α 2 \cos\dfrac{\alpha}{2} cos 2 α はともに符号だけが変わる。
証明 第9章の厳密定義(定理1・定理2)より、加法定理は任意の実数 α \alpha α ,β \beta β で成り立つ。β \beta β = α {}= \alpha = α を代入すれば公式1の sin 2 α \sin 2\alpha sin 2 α と cos 2 α \cos 2\alpha cos 2 α = cos 2 α {}= \cos^2\alpha = cos 2 α − sin 2 α {}- \sin^2\alpha − sin 2 α を得て、相互関係(第6章 定理2、一般角で成立)を用いれば残りの 2 形を得る。公式2は、cos 2 φ \cos 2\varphi cos 2 φ = 1 {}= 1 = 1 − 2 sin 2 φ {}- 2\sin^2\varphi − 2 sin 2 φ = 2 cos 2 φ {}= 2\cos^2\varphi = 2 cos 2 φ − 1 {}- 1 − 1 が任意の実数 φ \varphi φ で成り立つので、φ \varphi φ = α 2 {}= \dfrac{\alpha}{2} = 2 α を代入して 2 乗について解けばよい。
後半について、α + 2 π 2 \dfrac{\alpha + 2\pi}{2} 2 α + 2 π = α 2 {}= \dfrac{\alpha}{2} = 2 α + π {}+ \pi + π であり、第6章公式4(原点対称)より sin ( α 2 + π ) \sin\left(\dfrac{\alpha}{2} + \pi\right) sin ( 2 α + π ) = − sin α 2 {}= -\sin\dfrac{\alpha}{2} = − sin 2 α ,cos ( α 2 + π ) \cos\left(\dfrac{\alpha}{2} + \pi\right) cos ( 2 α + π ) = − cos α 2 {}= -\cos\dfrac{\alpha}{2} = − cos 2 α 。α \alpha α と α \alpha α + 2 π {}+ 2\pi + 2 π は動径が一致し cos \cos cos の値も等しいが、半角の値は符号が逆になる。(証明終)
三角関数は「動径の関数」でしたが、半角は動径だけでは決まりません。α \alpha α と α \alpha α + 2 π {}+ 2\pi + 2 π は同じ位置を指すのに、半分にすると α 2 \dfrac{\alpha}{2} 2 α と α 2 \dfrac{\alpha}{2} 2 α + π {}+ \pi + π という原点対称の位置に分かれるからです。本文や問題で半角を扱うとき、必ず「0 0 0 < α {}< \alpha < α < π {}< \pi < π 」 「π \pi π < α {}< \alpha < α < 3 2 π {}< \dfrac{3}{2}\pi < 2 3 π 」 のように 角そのものの範囲 を不等式で与えたのは、この定理の後半のためです。「α \alpha α の動径が第3象限」とだけ言われたら、α 2 \dfrac{\alpha}{2} 2 α は第2象限か第4象限かで、答えが 2 組になります。
一方、tan α 2 \tan\dfrac{\alpha}{2} tan 2 α は π \pi π ずれても値が変わらない(tan \tan tan の周期は π \pi π ) ので、動径だけで決まります。次の定理は、それを式で確かめるものです。
定理2:tan(α/2) を符号なしで表す式
α \alpha α ≠ π {}\neq \pi = π + 2 n π {}+ 2n\pi + 2 nπ (n n n は整数)のとき
tan α 2 \displaystyle \tan\frac{\alpha}{2} tan 2 α = sin α 1 + cos α \displaystyle {}= \frac{\sin\alpha}{1 + \cos\alpha} = 1 + cos α sin α さらに α \alpha α ≠ n π {}\neq n\pi = nπ のときは tan α 2 \tan\dfrac{\alpha}{2} tan 2 α = 1 − cos α sin α {}= \dfrac{1 - \cos\alpha}{\sin\alpha} = sin α 1 − cos α も成り立つ。
証明 α \alpha α ≠ π {}\neq \pi = π + 2 n π {}+ 2n\pi + 2 nπ より α 2 \dfrac{\alpha}{2} 2 α ≠ π 2 {}\neq \dfrac{\pi}{2} = 2 π + n π {}+ n\pi + nπ 、 よって cos α 2 \cos\dfrac{\alpha}{2} cos 2 α ≠ 0 {}\neq 0 = 0 で tan α 2 \tan\dfrac{\alpha}{2} tan 2 α は定義される。また 1 1 1 + cos α {}+ \cos\alpha + cos α = 2 cos 2 α 2 {}= 2\cos^2\dfrac{\alpha}{2} = 2 cos 2 2 α ≠ 0 {}\neq 0 = 0 。 2 倍角の公式より
sin α 1 + cos α \displaystyle \frac{\sin\alpha}{1 + \cos\alpha} 1 + cos α sin α = 2 sin α 2 cos α 2 2 cos 2 α 2 \displaystyle {}= \frac{2\sin\dfrac{\alpha}{2}\cos\dfrac{\alpha}{2}}{2\cos^2\dfrac{\alpha}{2}} = 2 cos 2 2 α 2 sin 2 α cos 2 α = sin α 2 cos α 2 \displaystyle {}= \frac{\sin\dfrac{\alpha}{2}}{\cos\dfrac{\alpha}{2}} = cos 2 α sin 2 α = tan α 2 \displaystyle {}= \tan\frac{\alpha}{2} = tan 2 α 2 つ目は、sin α \sin\alpha sin α ≠ 0 {}\neq 0 = 0 のとき 1 − cos α sin α \dfrac{1 - \cos\alpha}{\sin\alpha} sin α 1 − cos α = 2 sin 2 α 2 2 sin α 2 cos α 2 {}= \dfrac{2\sin^2\frac{\alpha}{2}}{2\sin\frac{\alpha}{2}\cos\frac{\alpha}{2}} = 2 sin 2 α cos 2 α 2 sin 2 2 α = tan α 2 {}= \tan\dfrac{\alpha}{2} = tan 2 α 。 (証明終)
本文の fig01 では 0 0 0 < α {}< \alpha < α < π {}< \pi < π の図で tan α 2 \tan\dfrac{\alpha}{2} tan 2 α = sin α 1 + cos α {}= \dfrac{\sin\alpha}{1 + \cos\alpha} = 1 + cos α sin α を読みましたが、定理2は α \alpha α がどこにあっても成り立ちます。平方根をとる必要がないので、公式2の tan 2 \tan^2 tan 2 の式よりも符号の心配が少なく済みます。α \alpha α = π {}= \pi = π + 2 n π {}+ 2n\pi + 2 nπ を除くのは、そのとき α 2 \dfrac{\alpha}{2} 2 α = π 2 {}= \dfrac{\pi}{2} = 2 π + n π {}+ n\pi + nπ で tan α 2 \tan\dfrac{\alpha}{2} tan 2 α を定義しないからです(図では点 P \mathrm{P} P が B ( − 1 , 0 ) \mathrm{B}(-1,\ 0) B ( − 1 , 0 ) に重なり、直線 B P \mathrm{BP} BP が引けない場合にあたります)。
定理3:単位円上の点の表し方(有理パラメータ表示)
実数 t t t に対して点 Q ( t ) \mathrm{Q}(t) Q ( t ) = ( 1 − t 2 1 + t 2 , 2 t 1 + t 2 ) {}= \left(\dfrac{1 - t^2}{1 + t^2},\ \dfrac{2t}{1 + t^2}\right) = ( 1 + t 2 1 − t 2 , 1 + t 2 2 t ) を対応させると、Q ( t ) \mathrm{Q}(t) Q ( t ) は単位円上の B ( − 1 , 0 ) \mathrm{B}(-1,\ 0) B ( − 1 , 0 ) 以外の点であり、この対応で t t t と「単位円上の B \mathrm{B} B 以外の点」とが 1 対 1 に対応する。Q ( t ) \mathrm{Q}(t) Q ( t ) は、B \mathrm{B} B を通る傾き t t t の直線と単位円の B \mathrm{B} B 以外の交点である。
証明 B \mathrm{B} B を通る傾き t t t の直線 y y y = t ( x + 1 ) {}= t(x + 1) = t ( x + 1 ) を x 2 x^2 x 2 + y 2 {}+ y^2 + y 2 = 1 {}= 1 = 1 に代入すると x 2 x^2 x 2 + t 2 ( x + 1 ) 2 {}+ t^2(x + 1)^2 + t 2 ( x + 1 ) 2 = 1 {}= 1 = 1 で、これは次と同値である。
( x + 1 ) { ( 1 + t 2 ) x − ( 1 − t 2 ) } \displaystyle (x + 1)\{(1 + t^2)x - (1 - t^2)\} ( x + 1 ) {( 1 + t 2 ) x − ( 1 − t 2 )} = 0 \displaystyle {}= 0 = 0 x x x = − 1 {}= -1 = − 1 (点 B \mathrm{B} B ) 以外の解は x x x = 1 − t 2 1 + t 2 {}= \dfrac{1 - t^2}{1 + t^2} = 1 + t 2 1 − t 2 で、y y y = t ( x + 1 ) {}= t(x + 1) = t ( x + 1 ) = 2 t 1 + t 2 {}= \dfrac{2t}{1 + t^2} = 1 + t 2 2 t 。 これが Q ( t ) \mathrm{Q}(t) Q ( t ) で、x x x ≠ − 1 {}\neq -1 = − 1 だから B \mathrm{B} B ではない。逆に B \mathrm{B} B 以外の単位円上の点 ( x , y ) (x,\ y) ( x , y ) に対しては x x x ≠ − 1 {}\neq -1 = − 1 なので B \mathrm{B} B とその点を結ぶ直線の傾き t t t = y x + 1 {}= \dfrac{y}{x + 1} = x + 1 y がただ 1 つ定まり、その点は Q ( t ) \mathrm{Q}(t) Q ( t ) に一致する。(証明終)
点 Q ( t ) \mathrm{Q}(t) Q ( t ) を ( cos α , sin α ) (\cos\alpha,\ \sin\alpha) ( cos α , sin α ) と書くと、傾き t t t は直線 B Q \mathrm{BQ} BQ と x x x 軸のなす角 α 2 \dfrac{\alpha}{2} 2 α (fig01 の円周角)の tan \tan tan で、定理2の t t t = sin α 1 + cos α {}= \dfrac{\sin\alpha}{1 + \cos\alpha} = 1 + cos α sin α と一致します。j13 の式は、この定理を tan α 2 \tan\dfrac{\alpha}{2} tan 2 α の言葉で書いたものでした。t t t が有理数なら Q ( t ) \mathrm{Q}(t) Q ( t ) の座標も有理数、逆に座標が有理数なら t t t = y x + 1 {}= \dfrac{y}{x + 1} = x + 1 y も有理数なので、「単位円上の有理点」と「有理数 t t t 」 が 1 対 1 に対応します。小話3のピタゴラス数の製造機は、この事実にもとづいています。
定理4:2 重根号がはずせる条件
a a a ,b b b を正の有理数とし、b \sqrt{b} b は無理数で、a 2 a^2 a 2 > 4 b {}> 4b > 4 b とする。このとき、a + 2 b \sqrt{a + 2\sqrt{b}} a + 2 b = p {}= \sqrt{p} = p + q {}+ \sqrt{q} + q を満たす 0 0 0 以上の有理数 p p p ,q q q が存在するための必要十分条件は、a 2 a^2 a 2 − 4 b {}- 4b − 4 b がある有理数の 2 乗であることである。(a − 2 b \sqrt{a - 2\sqrt{b}} a − 2 b についても同様。)
証明 (必要)両辺を 2 乗して a a a + 2 b {}+ 2\sqrt{b} + 2 b = p {}= p = p + q {}+ q + q + 2 p q {}+ 2\sqrt{pq} + 2 pq 。r r r = a {}= a = a − p {}- p − p − q {}- q − q (有理数)とおくと 2 p q 2\sqrt{pq} 2 pq = 2 b {}= 2\sqrt{b} = 2 b + r {}+ r + r 。 さらに 2 乗して 4 p q 4pq 4 pq = 4 b {}= 4b = 4 b + 4 r b {}+ 4r\sqrt{b} + 4 r b + r 2 {}+ r^2 + r 2 、 よって 4 r b 4r\sqrt{b} 4 r b = 4 p q {}= 4pq = 4 pq − 4 b {}- 4b − 4 b − r 2 {}- r^2 − r 2 は有理数。b \sqrt{b} b は無理数なので r r r = 0 {}= 0 = 0 、 すなわち p p p + q {}+ q + q = a {}= a = a ,p q pq pq = b {}= b = b 。 したがって p p p ,q q q は 2 次方程式 x 2 x^2 x 2 − a x {}- ax − a x + b {}+ b + b = 0 {}= 0 = 0 の有理数解であり、判別式 a 2 a^2 a 2 − 4 b {}- 4b − 4 b は有理数の 2 乗である。
(十分)a 2 a^2 a 2 − 4 b {}- 4b − 4 b = c 2 {}= c^2 = c 2 (c c c は正の有理数)なら、p p p = a + c 2 {}= \dfrac{a + c}{2} = 2 a + c ,q q q = a − c 2 {}= \dfrac{a - c}{2} = 2 a − c は正の有理数で p p p + q {}+ q + q = a {}= a = a ,p q pq pq = a 2 − c 2 4 {}= \dfrac{a^2 - c^2}{4} = 4 a 2 − c 2 = b {}= b = b 。 よって ( p + q ) 2 (\sqrt{p} + \sqrt{q})^2 ( p + q ) 2 = a {}= a = a + 2 b {}+ 2\sqrt{b} + 2 b で、両辺とも正だから主張が成り立つ。(証明終)
本文の 2 つの例に当てはめてみます。2 − 3 \sqrt{2 - \sqrt{3}} 2 − 3 = 2 − 2 3 4 {}= \sqrt{2 - 2\sqrt{\frac{3}{4}}} = 2 − 2 4 3 は a a a = 2 {}= 2 = 2 ,b b b = 3 4 {}= \dfrac{3}{4} = 4 3 で、a 2 a^2 a 2 − 4 b {}- 4b − 4 b = 4 {}= 4 = 4 − 3 {}- 3 − 3 = 1 {}= 1 = 1 = 1 2 {}= 1^2 = 1 2 。 はずせます(p p p = 3 2 {}= \dfrac{3}{2} = 2 3 , q q q = 1 2 {}= \dfrac{1}{2} = 2 1 で、3 2 \sqrt{\dfrac{3}{2}} 2 3 − 1 2 {}- \sqrt{\dfrac{1}{2}} − 2 1 = 6 − 2 2 {}= \dfrac{\sqrt{6} - \sqrt{2}}{2} = 2 6 − 2 )。 一方 2 − 2 \sqrt{2 - \sqrt{2}} 2 − 2 = 2 − 2 1 2 {}= \sqrt{2 - 2\sqrt{\frac{1}{2}}} = 2 − 2 2 1 は a a a = 2 {}= 2 = 2 ,b b b = 1 2 {}= \dfrac{1}{2} = 2 1 で、a 2 a^2 a 2 − 4 b {}- 4b − 4 b = 2 {}= 2 = 2 は有理数の 2 乗ではありません。sin π 8 \sin\dfrac{\pi}{8} sin 8 π の 2 重根号がはずせないのは、計算が下手だからではなく、そもそも有理数の p p p ,q q q が存在しないからです。定理の中に「和が a a a 、 積が b b b の 2 数」=「2 次方程式の解」が現れるところは、本文で「数I の因数分解と同じ作業」と言ったことの裏付けになっています。
**補足:角の 3 等分はできない。**半角の公式は「角の二等分」を計算にしたものでした。では「角の 3 等分」はどうでしょう。j17 の 3 倍角の公式 cos 3 α \cos 3\alpha cos 3 α = 4 cos 3 α {}= 4\cos^3\alpha = 4 cos 3 α − 3 cos α {}- 3\cos\alpha − 3 cos α で 3 α 3\alpha 3 α = π 3 {}= \dfrac{\pi}{3} = 3 π とおくと、x x x = cos π 9 {}= \cos\dfrac{\pi}{9} = cos 9 π は 3 次方程式 4 x 3 4x^3 4 x 3 − 3 x {}- 3x − 3 x = 1 2 {}= \dfrac{1}{2} = 2 1 の解です。この 3 次方程式の解は、有理数から出発して四則演算と平方根( \sqrt{\ } ) を何回くり返しても書けないことが知られています(1837 年、ヴァンツェルによる)。定規とコンパスの作図でできるのは「四則と平方根」で書ける長さだけなので、π 3 \dfrac{\pi}{3} 3 π の 3 等分は作図できません。二等分は平方根 1 回(半角の公式)でできるのに、3 等分は 3 次方程式を解く必要があり、平方根では届かない——ギリシャ以来の「作図の三大問題」の 1 つは、こうして否定的に解決されました(詳しくは大学の代数学で扱います)。