  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.
