9° (=π20)のときの三角関数がどんな式で表させるのかを調べてみました。
sin9°
sinの加法定理より
sin9°=sin(45°−36°)=sin45°cos36°−cos45°sin36°
ここで
sin45°=√22cos45°=√22
sin36°=√10−2√54cos36°=√5+14
なので
sin9°=√22⋅√5+14−√22⋅√10−2√54=√2(√5+1−√10−2√5)8=√2(√5+1−√2√5−√5)8=√10+√2−2√5−√58−−−−−−−−−−−−−−−−−−−−−(a)
cos9°
cosの加法定理より
cos9°=cos(45°−36°)=cos45°cos36°+sin45°sin36°=√22⋅√5+14+√22⋅√10−2√54=√2(√5+1+√10−2√5)8=√2(√5+1+√2√5−√5)8=√10+√2+2√5−√58−−−−−−−−−−−−−−−−−−−−−(b)
tan9°
三角関数の相互関係
tanθ=sinθcosθ
より
tan9°=sin9°cos9°
\text{(a),(b)を代入して
tan9°=√2(√5+1−√10−2√5)8√2(√5+1+√10−2√5)8=(√5+1)−√10−2√5(√5+1)+√10−2√5×(√5+1)−√10−2√5(√5+1)−√10−2√5=16−2(√5+1)√10−2√54(√5−1)×√5+1√5+1=16(√5+1)−4(3+√5)√10−2√516=16(√5+1)−4√(3+√5)2(10−2√5)16=16(√5+1)−16√5+2√516=√5+1−√5+2√5−−−−−−−−−−−−−−−−−−
それぞれの近似値は以下のようになります。
sin9°=0.15643cos9°=0.98769tan9°=0.15838