已知(1-tan a)/(1+tan a)=根号2,球cot(pi/4+a)=