证明反三角函数公式arctanA-arctanB=arctan(A-B)/1+AB,arctanA+arctanB=ar