由半角公式 (1-cosα)/2=sin²(α/2) 得
1-2sin²(α/2)=cosα
所以
1-2sin²π/8=cosπ/4
而cosπ/4=sinπ/4=√2/2
那么
1-2sin²π/8=cos π/4=sin π/4