cos²π/8=1/2(cosπ/4+1)=(根号2+2)/4
∴1/2-cos²π/8=负根号2/4