在这个题的证明:arctanX2-arctanX1