微积分:证明:arctan X +arccot X = 兀/2