一、前言
在《基于函数证明有关 $\arctan$ 的一个三角恒等式》一文中,荒原之梦考研数学借助函数这一工具,证明了下面的(反)三角函数恒等式:
$$
\textcolor{lightgreen}{
\arctan \left(\frac{1}{t}\right) = \frac{\pi}{2} – \arctan t, \quad t > 0
}
$$
在本文中,荒原之梦考研数学将借助几何工具,从三角函数$\tan$和反三角函数$\arctan$的定义出发,继续证明上面的恒等式,并扩展到下面这个恒等式:
$$
\textcolor{lightgreen}{
\arctan \left(\frac{1}{t}\right) = – \frac{\pi}{2} – \arctan t, \quad t < 0
}
$$