昔、JIS FORTRANという教科書に載っていた、三角関数arctanの公式がある。初めて見たのは大学一年生のときで、既にオイラーの公式は習っていたのだが、もちろん、複素関数論・複素積分は未習で、全くわからず、微分すると確かに同じなるので仰天した記憶があ…