cos(5*3.1415926..)/8 * cos (3.1415926../8)=多少

题目

cos(5*3.1415926..)/8 * cos (3.1415926../8)=多少
3.1415926＝派

答案

cos（5π/8） × cos（π/8）
=[cos（π/2+π/8）]×cos （π/8）
=-sin（π/8）×cos （π/8）----公式：cosπ/2+a=-sina
=-1/2 × 2sin（π/8）×cos （π/8）
-----后面的2sincos用2倍角公式合并
=-1/2 × sin （π/4）
=-1/2 × √2/2
=-√2/4