sin(π/8)*cos(π/8)=(2*sin(π/8)*cos(π/8))/2 (分子分母同乘2)
=sin(2(π/8))/2 (应用倍角公式)
=sin(π/4)/2
=(√2/2)/2
=√2/4.