このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]90°の約数角の三角関数はとても興味深い。[br][br]15° や 18° といった特別な角の三角関数は、二重根号や代数方程式の解として表せます。[br]その背後には、正多角形の作図にかかわる多項式のつながりがあるのです。

ウォーミングアップ[br][size=150][b]＜sin15°は？＞[br][br][/b][/size][b][size=200]sin15°は（√6ー√2)/4[/size][/b]ですが、[br]アプローチは色々あります。[br]答えよりも[b]アプローチ[/b]に着目してみよう。[br][br]直角三角形ABCで角A＝75°、角B＝15°、AB=x、AC=１とする。[br][br][color=#0000ff]「解法１：二等辺三角形を作って、ピタゴラスの定理」[br][/color]BC上に点Eをとり角BAE=15°とすると[br]△AECは角E＝30°の直角三角形で、[b]三角形ABEは二等辺三角形[/b]。[br]AE=BE=2,EC=√3なので、[br]△ABCで[b]x^2[/b]=（2+√3)^2+1^2=8+4√3=2(4+2√3)=[b]2(√3+1)^2[/b]。[br]ここで、4+2√3を平方完成していることに注意しよう。[br]正数[b]x=√2(√3+1)=√6-√2[/b]。[br]だから、sin15°＝AC/AB=1/x=（√6ー√2)/4（分母の有理化）[br][br][color=#0000ff]「解法２：二等辺三角形を作って、余弦定理」[/color][br]△ABCにBCを共有する合同な△A'BCをくっつけよう。[br]角Bが30°で挟む辺がxで底辺２の二等辺三角形AA'Bができるね。[br]△AA'Bで、[b]AA'^2[/b]=2^2=x^2+x^2-2x^2cos30°=[b]x^2(2-2*√3/2)[/b]。[br][b]x^2[/b]=4/(2-√3)=8/(4-2√3)=8/(√3-1)^2。[br]ここで、4-2√3を平方完成していることに注意しよう。[br]sin15°=1/x=(√3-1)/2√2=√2(√3-1)/4=（√6ー√2)/4[br][br]cos15°はサイン・コサインの2乗の和が1であることからも逆算できますね。[br][br]ピタゴラスは中学で学び、余弦は高校１年で学ぶ基本ですが、[br]どこをｘにするかによっては2重根号になり苦労するかもしれません。[br]最初のうちに√の係数に２がくるようにして平方完成しておくなど「[b]テクニカルな準備[/b]」[br]が必要になります。[br][br][color=#0000ff]「解法３：加法定理に数値を入れるだけ」[/color][br]その点、次の加法定理は覚えておくと楽々です。[br]15=60-45、15=45-30なので、[br]知っている30，45，60のサイン・コサインを使うと、何の苦も無くあっさり出せます。[br][b]sin15=（√6ー√2)/4、cos15=（√6+√2)/4[br][/b]geogebraのlatexでかくと、[br]sin15°[math]=sin(45-30)^\circ=sin45^\circ cos30^\circ-cos45^\circ sin30^\circ[/math]=[math]\frac{\sqrt{2}}{2}\frac{\sqrt{3}}{2}-\frac{\sqrt{2}}{2}\frac{1}{2}[/math]=[math]\frac{\sqrt{6}-\sqrt{2}}{4}[/math][br]sin15°[math]=sin(60-45)^\circ=sin60^\circ cos45^\circ-cos60^\circ sin45^\circ[/math]=[math]\frac{\sqrt{3}}{2}\frac{\sqrt{2}}{2}-\frac{1}{2}\frac{\sqrt{2}}{2}[/math]=[math]\frac{\sqrt{6}-\sqrt{2}}{4}[/math][br][br]15、30、45、60、90のサインが出れば、75も欲しくなりますね。[br]加法定理があれば、75＝60+15でも、75＝90-15でも、75＝30＋45でも出せます。[br][br]しかし、初心を忘れないでください。x+y=90ならば、三角比の定義からsinx=cosyです。[br]だから、[b]sin75°=cos15°、cos75°=sin15°[/b]が[br]一瞬で出ますね。[br][br]だんだんと角度が[br][b]数列の問題、代数の問題[/b]に近づいてきましたね。[br][br][b][size=150]＜倍角から半角へ＞[br][/size][/b]ご存知のように、A+Bという加法定理は同じ和A+Aにすると倍角2Aの公式が出るのでしたね。[br]sinをs,cosをcとします。[br][b]s2A=s(A+A)=2sAcA。[br]c2A=c(A+A)=(cA)²-(sA)²=2cA²-1=1-2sA²。[br][/b]面白いのは読みかえです。[br]２AからするとAは2Aの1/2だから半角の公式ができるのでした。[br]c2A=2cA²-1からは、[b]c²(X/2)=(1+c(X))/2[/b][br]c2A==1-2sA²からは、[b]s²(X/2)=(1-c(X))/2[/b]

これまで、15の倍数のサインコサインは出せるようになりした。[br]半角・倍角の公式もわかりました。[br]正五角形の中の星形五角形の頂角は36°です。[br]こうなると、まず、18の倍数のサインも出したくなりますね。[br][br][b][size=150]＜sin18°＞[br][/size][/b][br]トレミーの定理や相似などから、1辺１の正五角形の対角線x=(√5+1)/2[br]sin18°は2本の対角線をｘとして、底辺１の二等辺三角形から垂線降ろした直角三角形でだせます。[br][b][size=200]sin18°[/size]＝[/b](1/2)/((√5+1)/2)=1/(√5+1)=(√5-1)/(5-1)[br][color=#0000ff][b][size=200]=(√5-1)/4[/size][/b][/color][br][b][size=200]cos18°[/size]=[/b]1-{(√5-1)/4}^2=√({4^2-(√5-1)^2}/16)=√{(3+√5)(5-√5)}/4[br][color=#0000ff][b][size=200]=√(10+2√5)}/4[/size][/b][/color][br]18°のサイン・コサインがあれば、[br]加法定理、倍角定理からの「[b]18の整数倍角のサインコサイン[/b]」が計算可能ですね。[br][br][b][size=150]＜sin3°＞[/size][/b][br][br]ではサイン3度はどうでしょう。3=18-15ですから、[br][b][size=150]sin3°＝sin(18°-15°)=s18c15-c18s15[br][/size][/b]=[color=#0000ff][b][size=150](√5-1)/4*(√6+√2)/4-√(10+2√5)}/4*（√6ー√2)/4[/size][/b][/color][br]これも、地道に計算すれば出せるでしょう。[br]もちろん、[b]cos3°[/b]も同様です。[br]3°のサイン・コサインがあれば、[br]加法定理、倍角定理からの「[b]３の整数倍角のサインコサイン[/b]」が計算可能ですね。[br][br][b][size=150]＜1度のサインコサイン＞[/size][br][/b]こうなると1度のサインコサインも出したくなりますね。[br]加法定理と倍角公式を使うと、3倍角公式が作れます。[br][b]sin(3A)=-4sin^3(A)+3sinA[br]cos(3A)=4cos^3(A)+3cosA[br][/b]つまり、sin3°＝c(定数）とおき、[b]sin1°=x[/b]とすると、[br][b]sin1°=x[/b]は[b]4x^3-3x+c=0[/b]という[color=#0000ff][b][size=150]3次方程式の解[/size][/b][/color]になるのです。[br]ｘは微小な正数になるはずだね。

特定の角度を求める個別のテクニックを超えて、[br]「cos(nθ) を cosθ の多項式として表す」というとても美しい多項式があります。[br]それがチェビシェフ多項式（Chebyshev Polynomials）Tn(x) です。[br][br][b][size=150]＜チェビシェフ多項式とは＞[br][/size][/b][br][color=#0000ff][b][size=150]x = cosθ と置くとき、cos(nθ) = Tn(x)[/size][/b][/color] [br][br]と定義しましょう。[br][br]T0(x) = 1[br][br]T1(x) = x[br][br]T2(x) = 2x^2 - 1 （2倍角の公式 cos(2θ) = 2cos^2(θ) - 1）[br][br]T3(x) = 4x^3 - 3x （3倍角の公式 cos(3θ) = 4cos^3(θ) - 3cosθ）[br][br]T4(x) = 8x^4 - 8x^2 + 1[br][br]T5(x) = 16x^5 - 20x^3 + 5x[br][br][b][size=150]＜チェビシェフの多項式の作り方＞[br][/size][/b][br]この多項式たちは、三角関数の和積の公式[br][b]cos((n+1)θ) + cos((n-1)θ) = 2cosθ * cos(nθ)[br][/b]から直ちに導くことができます。[br][br]Tの式に直してみよう。[br][b][color=#0000ff][size=200]T_(n+1)(x) = 2x * Tn(x) - T_(n-1)(x)[br][/size][/color][/b][br]これは、まさに数列の漸化式ですね。[br][br]三角関数の加法定理によって、[br]倍角、半角定理が使えたあたりから、[br]三角関数が直角三角形や単位円というよりは、[br]「数列」と「代数方程式」の世界に突入していた。[br][br]チェビシェフ多項式は「[b]三角関数のストレートな代数化[/b]」をしてくれる。[br][br][b][size=150]＜チェビシェフの多項式のお役立ち＞[br][/size][/b][br]チェビシェフ多項式によって、90°の約数角は「多項式の根」として一元的把握できるようになった。[br][br]18°（90° ÷ 5）の場合[br]5θ = 90° のとき cos(5θ) = 0 となる。[br]したがって、[b]T5(x) = 16x^5 - 20x^3 + 5x = 0 [/b][br]という5次方程式の解として cos(18°)（および cos(54°)）が導き出せる。[br][br]15°（90° ÷ 6）の場合[br]cos(6θ) = 0 より、T6(x) = 0 の方程式の根として整理される。[br][br]幾何学の根幹となる三角関数を代数化することは数学のエレガントを示しているね。