反三角函数证明:arctabx+arccotx=π/2,求导得出结果是0,