因为有个倍角公式：sin2x=2sinxcosx
对于这题,π/2-2a=2×(π/4-a)
所以有sin(π/2-2a)=2sin(π/4-a)cos(π/4-a)