利用反正切函数公式arctan F ( n ) + arctan F ( n+ 1)=arctan ,根据收缩公式:若 v k =f ( k ) +f ( k+ 1),则 (-1) k v k =(-1) a f ( a )-(-1) n+ 1 f ( n + 1), n ⩾ a .计算出正负相间反正切函数序列封闭形和式。再用微分法得到正负相间分式序列封闭形和式,最后给出一些正负相间反正切级数与分式级数恒等式。
命题 1设 a , b , c , d 为实数,则正负相间反正切序列封闭形和式为
证明 设 F ( n )= ,由反正切函数公式
故(1)式成立。
在(1)式依次令 a= 0; b= 0; d= 0; c= 0得到(2),(3),(4),(5)式。
命题 2设 a , b , c , d 为实数,则正负相间分式序列封闭形和式为
证明 对(2)式,依次对 b ,微分得到(6)式,(2)式对 c , d 微分并两端乘以-1,得到(7),(8)式。
(3)式对 a 微分,得到(9)式,(3)式对 c , d 微分并两端乘以-1,得到(10),(11)式。
(4)式对 a , b ,微分,得到(12),(13)式;(4)式对 c 微分,并两端乘以-1,得到(14)式。
(5)式对 a , b ,微分,得到(15),(16)式,(5)式对 d 微分,并两端乘以-1,得到(17)式。
在(1)令 a= 1, b= 2, c= 2, d= 1;在(2)令 b= 2, c= 1, d= 1;在(3)令 a =2, c= 1, d= 1;在(4)令 a= 1, b= 1, c= 2;
(5)式令 a= 1, b= 1, d= 2,得到
例 1下列正负相间反正切序列封闭形和式成立
在(6)令 b= 1, c= 1, d= 0;在(7)令 b= 1, c= 1, d= 1;在(8)令 b= 1, c =1, d= 1;在(9)式令 a= 1, c= 1, d= 1;在(10)令 a= 1, c= 1, d= 0;(11)令 a= 1, c= 1, d= 1;在(12)令 a= 1, c= 1, d= 1;
在(13)令 a= 1, b= 1, c= 1;在(14)令 a= 0, b= 1, c= 1;在(15)令 a= 1, b= 1, d= 1;在(16)令 a= 1, b= 1, d= 1;
在(17)令 a= 1, b= 0, d= 1;得到:
例 2下列正负相间分式序列封闭形和式成立
推论 1设 a , b , c , d 为实数,则正负相间反正切级数为
证明 在(1),(2),(3),(4),(5)式,取极限
依次得到(18),(19),(20),(21),(22)式。
推论 2设 a , b , c , d 为实数,则正负相间分式级数和式为
依次得到(23)-(34)式。