It is easy to prove in a similar manner that arctanx=0xdt1+t2=0x(1t2+t4)dt=x13x3+15x5, provided that 1x1. The only difference is that the proof is a little simpler; for, since arctanx is an odd function of x, we need only consider positive values of x. And the series is convergent when x=1 as well as when x=1. We leave the discussion to the reader. The value of arctanx which is represented by the series is of course that which lies between 14π and 14π when 1x1, and which we saw in Ch. VII (Ex. LXIII. 3) to be the value represented by the integral. If x=1, we obtain the formula 14π=113+15.

Example XCI
1. log(11x)=x+12x2+13x3+ if 1x<1.

2. operatornameargtanhx=12log(1+x1x)=x+13x3+15x5+ if 1<x<1.

3. Prove that if x is positive then log(1+x)=x1+x+12(x1+x)2+13(x1+x)3+.

4. Obtain the series for log(1+x) and arctanx by means of Taylor’s theorem.

[A difficulty presents itself in the discussion of the remainder in the first series when x is negative, if Lagrange’s form Rn=(1)n1xn/{n(1+θx)n} is used; Cauchy’s form, viz. Rn=(1)n1(1θ)n1xn/(1+θx)n, should be used (cf. the corresponding discussion for the Binomial Series, Ex. LVI. 2 and § 163).

In the case of the second series we have Dxnarctanx=Dxn1{1/(1+x2)}=(1)n1(n1)!(x2+1)n/2sin{narctan(1/x)} (Ex. XLV. 11), and there is no difficulty about the remainder, which is obviously not greater in absolute value than 1/n.]

5. If y>0 then logy=2{y1y+1+13(y1y+1)3+15(y1y+1)5+}.

[Use the identity y=(1+y1y+1)/(1y1y+1). This series may be used to calculate log2, a purpose for which the series 112+13, owing to the slowness of its convergence, is practically useless. Put y=2 and find log2 to 3 places of decimals.]

6. Find log10 to 3 places of decimals from the formula log10=3log2+log(1+14).

7. Prove that log(x+1x)=2{12x+1+13(2x+1)3+15(2x+1)5+} if x>0, and that log(x1)2(x+2)(x+1)2(x2)=2{2x33x+13(2x33x)3+15(2x33x)5+} if x>2. Given that log2=.693 147 1 and log3=1.098 612 3, show, by putting x=10 in the second formula, that log11=2.397 895.

8. Show that if log2, log5, and log11 are known, then the formula log13=3log11+log59log2 gives log13 with an error practically equal to .000 15.

9. Show that 12log2=7a+5b+3c,12log3=11a+8b+5c,12log5=16a+12b+7c, where a=operatornameargtanh(1/31), b=operatornameargtanh(1/49), c=operatornameargtanh(1/161).

[These formulae enable us to find log2, log3, and log5 rapidly and with any degree of accuracy.]

10. Show that 14π=arctan(1/2)+arctan(1/3)=4arctan(1/5)arctan(1/239), and calculate π to 6 places of decimals.

11. Show that the expansion of (1+x)1+x in powers of x begins with the terms 1+x+x2+1/2x3.

12. Show that log10ex(x+1)log10(1+xx)=log10e24x2, approximately, for large values of x. Apply the formula, when x=10, to obtain an approximate value of log10e, and estimate the accuracy of the result.

13. Show that 11xlog(11x)=x+(1+12)x2+(1+12+13)x3+, if 1<x<1. [Use Ex. LXXXI. 2.]

14. Using the logarithmic series and the facts that log102.3758=.375 809 9 and log10e=.4343, show that an approximate solution of the equation x=100log10x is 237.581 21.

15. Expand logcosx and log(sinx/x) in powers of x as far as x4, and verify that, to this order, logsinx=logx145logcosx+6445logcos12x.

16. Show that 0xdt1+t4=x15x5+19x9 if 1x1. Deduce that 115+19={π+2log(2+1)}/42.

[Proceed as in § 214 and use the result of Ex. XLVIII. 7.]

17. Prove similarly that 1317+111=01t2dt1+t4={π2log(2+1)}/42.

18. Prove generally that if a and b are positive integers then 1a1a+b+1a+2b=01ta1dt1+tb, and so that the sum of the series can be found. Calculate in this way the sums of 114+17 and 1215+18.


213. The logarithmic series Main Page 215. The Binomial Series