An addition type formula for the double cotangent function

Abstract

In this paper, we prove an addition type formula for the double cotangent function. Furthermore, we see that the addition theorem of the usual cotangent function, the reciprocity laws of (classical and higher) Dedekind sums, Lerch’s functional equation and Ramanujan’s formula can be deduced from it.