查看原题
证明 $\forall x \in R, \arctan e ^x+\arctan e ^{-x} \equiv \frac{\pi}{2}$ .
                        
不再提醒