求证:(1-sin2x)/cos2x=tan(π/4-x)