求证:2(cosa-sina)/(1+sina+cosa)=tan(pei/4-a/2)-tana/2