已知1-tana/1+tana=根号5 cot(π/4+a)