La verdad es que tiene una demostración más sencilla que el rollo que he
puesto
Sea a_k una sucesión de números reales, y sea S la serie o sumatorio
S = sum_k arctg(a_k)
por ser los a_k reales, se cumple
S = sum_k arg(1 + i a_k)
S = Im(sum_k( ln(1+i a_k))
S = Im(ln(prod_k (1+i a_k)))
S = arg(prod_k(1+ i a_k))
Como resultado de esta fórmula se obtiene otra que ya dedujimos en su día:
--
Antonio