求证sin(π/4-a)=cos(π/4+a)