用二倍角公式
cos(π/4)=1-2(sin(π/8))^2
sin(π/8)>0
解得sin(π/8)=/(2-√2)/2