解y‘=[cos(π/4-x)]’=-sin（π/4-x)(π/4-x）'
=-sin（π/4-x)(-1）
=sin（π/4-x)