∵tana＝cot﹙90º－a﹚＝x
又arctana与arccota共同的区间是[0,π/2] ∴x＞0
∴a＝arctanx 90º－a＝arccotx
∴arctanx＋arccotx＝90º＝π/2