不妨令
tanα=x
tanβ=y
则arctanx+arctany=α+β
又有x*y=1
所以
tanα*tanβ=1
显然α和β互余
故arctanx+arctany=α+β=π/2
希望对楼主有所帮助,