反三角正切积分 根据 双对数
的定义为
(1)
|
(Lewin 1958, 第 33 页)。它具有级数
(2)
|
并以闭合形式给出和
(3)
|
这是拉马努金 (Ramanujan) 考虑过的 (Lewin 1958, 第 39 页)。反三角正切积分可以用 双对数 表示为
(4)
|
用 勒让德χ函数 表示为
(5)
|
用 莱克超越函数 表示为
(6)
|
并作为积分
(7)
|
的导数为
(8)
|
它满足以下恒等式
(9)
|
其中
(10)
|
是广义反三角正切函数。
具有特殊值
(11)
|
其中 是 卡塔兰常数,以及函数关系
(12)
|
两个等价的恒等式
(13)
|
(14)
|
和
(15)
|
(Lewin 1958, 第 39 页)。三倍角公式由下式给出
(16)
|
这导致
(17)
|
以及代数形式
(18)
|
(Lewin 1958, 第 41 页)。