cot(派/4+A)=tan[派/2-(派/4+A)]
=tan(派/4-A)
=(tan派/4-tanA)/(1+tan派/4*tanA)
=(1-tanA)/(1+tanA)
=4+根号5