## Abstract

The infinite harmonic series as hitherto understood, whether with alternating or continuous signs, is not the complete series. It may be extended in both directions to infinity, and then it exists in two forms, either with alternating or with continuous signs, both of which have finite sums. These are termed * ^{A}S_{D}* and

*in contradistinction to the singly infinite harmonic series*

^{C}S_{D}*— or, since the form with alternating signs alone is convergent,*

^{A}S_{S}*S*Examples of both the former and their sums are given in the

_{S}*Epistola posterior*of Newton to Oldenberg (24 October 1676):

^{A}

_{4}

*S*

^{1}

_{D}or

*M*=+∞ Σ

*M*=-∞ (-1)

*/4*

^{M}*M*+1 = 1 + 1/3 - 1/5 - 1/7 + 1/9 + 1/11 --++...∞=π/2/2'

^{C}

_{S}

*S*

^{1}

_{D}or

*M*=+∞ Σ

*M*=-∞ +1/8

*M*+1 = 1-1/7+1/9-1/13+1/17-1/23+1/25-+...∞=π(√2+1)/8. The Leibniz inverse tangent series (1673), which is the special case of Gregory’s general form (1671), for the magnitude of the angle, π/4, the tangent of which is unity, uniquely may be written not only as

_{2}

*S*

^{1}

_{S}, which for this case is 1/2[

^{A}

_{2}S

^{1}

_{D}] but also as the complete infinite harmonic series of continuous sign with

*a/d*= 1/4,

^{C}

_{4}

*S*

^{1}

_{D}=∞...++1/-11+1/-7+1/-3+1+1/5+1/9+1/13++...∞=π/4. The general solution for the sums, in both cases based on a well-known eighteenth-century theorem of Euler, was virtually given by Glaisher (1873) and they may be written

^{A}

_{d}

*S*

^{a}

_{D}or +∞Σ-∞ (-1)

*/*

^{M}*a+Md*=π/d cosec aπ/d;

^{C}

_{d}

*S*

^{a}

_{D}or +∞Σ-∞ +1/

*a+Md*=π/d cot aπ/d; The above forms multiplied by a (or what comes to the same thing setting a as unity and using the ratio

*d/a*for the ‘common difference’) bear the geometrical interpretation that the sum, for the alternating sign series, is the ratio of the length of the arc to that of the chord in a circular sector or segment of included angle (2π

*a)/d*, and, for the continuous sign series, the same ratio multiplied by cos (2π

*a)/d*. The two series are thus completely self-contained periodic circular functions without any restriction whatever on the magnitude of the angles they numerate. Glaisher’s well-known series for higher powers of π (1873) are all doubly infinite series, as [π/d cosec aπ/d]

^{2}= +∞Σ-∞ 1/(

*a+Md*)

^{2}; [π/d cosec aπ/d]

^{2}[π/d cot aπ/d]

^{2}= +∞Σ-∞ 1/(

*a+Md*)

^{3}; the first showing in this form that for the alternating sign series the sum of the squares of the individual terms is equal to the square of their sum. From this viewpoint the ordinary singly infinite harmonic series

*S*consists of the positive terms of a cotangent series and the negative terms of the corresponding tangent series. Nevertheless, its sum can be found by modem methods using complex numbers when a and d are integers and

_{S}*a/d*is not greater than unity. A table of sums for all cases up to

*d*= 16 is included. The sums are of the form of the sum or difference of 1/2[

*] and a composite logarithmic quantity termed*

^{A}_{d}S^{a}_{D}*d*.

^{l}^{a}_{d}S

^{a}=π/2d cosec aπ/d +

_{d}l

^{a};

_{d}S

^{d}=π/2d cosec aπ/d +

_{d}l

^{a}; (-1)

^{a}

_{d0}l

^{a}=2/d n=

*d*-1/2 Σ n=1 cos

*aπn*/d loge sec πn/d;

_{de}l

^{a0}=2/d n=d/4 Σ n=1 cos

*aπm/d*loge cot

*πm/2d*. (1) applies when

*d*is odd, (2) when it is even,

*m*being 2

*n*— 1. If

*d*/2 is even, the upper limit of summation in (2) is (

*d*—2)/4, not

*d*/4. In (1) log sec (

*πn/d*)is 2 coth

^{-1}cot

^{2}(

*πn/2d*). In (2) log cot (

*πn/2d*) is tanh

^{-1}cos (

*πn/d*).

## Footnotes

This text was harvested from a scanned image of the original document using optical character recognition (OCR) software. As such, it may contain errors. Please contact the Royal Society if you find an error you would like to see corrected. Mathematical notations produced through Infty OCR.

- Received August 20, 1942.

- Scanned images copyright © 2017, Royal Society