证明|arctana―arctanb|