反正切函数公式是arctanA+arctanB=arctan[（A+B）/（1-AB）]，反正切函数是数学术语，是反三角函数之一，是指函数y=tanx的反函数。
三角函数是基本初等函数之一，是以角度（数学上最常用弧度制）为自变量，角度对应任意角终边与单位圆交点坐标或其比值为因变量的函数，也可以等价地用与单位圆有关的各种线段的长度来定义。
利用分部积分法：
∫arctanxdx
=x*arctanx-∫xd(arctanx)
=xarctanx-∫x/(1+x²)dx
=xarctanx-(1/2)∫1/(1+x²)dx²
=xarctanx-(1/2)∫1/(1+x²)d(1+x²)
=xarctanx-(1/2)ln|1+x²|+c, c为任意常数。
∴原函数是xarctanx-(1/2)ln|1+x²|+c。
