怎么证明:正切的反三角函数 arctgx 与对积分1/(1+t*t)dt从0积到x呢?,如图