求证:(1-2sinxcosx)/(tanx-1)=1/(tanx+cotx)-cos^2