证明：
因为ctg(π/2-arctgx) = tg(arctg(x)) ----诱导公式
=x ------ arctg定义
所以arcctg x = π/2-arctgx -----arcctg 定义
所以arcctg x+arctgx =π/2