On certain finite and infinite sums of inverse tangents
arXiv:2003.05306
Abstract
An identity is proved connecting two finite sums of inverse tangents. This identity is discretized version of Jacobi's imaginary transformation for the modular angle from the theory of elliptic functions. Some other related identities are discussed.
10 pages. A new theorem is added