Burrows
Burrows
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide
range of content in a trusted digital archive. We use information technology and tools to increase productivity and
facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected].
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
https://about.jstor.org/terms
Taylor & Francis, Ltd. and Mathematical Association of America are collaborating with JSTOR
to digitize, preserve and extend access to The American Mathematical Monthly
1. Introduction. The Bernoulli family produced several mathematicians, the first of whom was
Jacob (1654-1705). He was the son of Nicolaus, a merchant in Basle, and it is reported [1] that
Jacob had the motto 'Invito patre sidera verso' (against my father's will I study the stars). Despite
his father's opposition, Jacob devoted his life to the study of mathematics and astronomy. His
most famous work is 'Ars Conjectandi,' which was published after his death, in 1713, and which
reflected his interest in probability. It was in this book that the famous Bernoulli numbers were
introduced in connection with finding sums of powers of integers. Jacob was very enthusiastic
about the technique that he had developed and in comparing his calculations with those of
Bullialdus (1605-1694) he states [2] 'with the help of this table it took me less than half of a
quarter of an hour to find that the tenth powers of the first 1000 numbers being added together
will yield the sum
91,409,924,241,424,243,424,241,924,242,500.'
In this article we show that a simple formula will give highly accurate answers to such sums and
with the help of a very crude electronic calculator we can obtain, in 9 seconds,
1000
r=1
and the idea stems from another observation of Bernoulli's that the sums can be expressed in the
form p([n(n + 1)]) when k is odd and (2n + 1)p([n(n + 1)]) when k is even, where p(x) is a
polynomial [3]. We refine the approximation (1.1) and extend the results to the case where
any real number.
Brian L. Burrows: I obtained my B.Sc. from the University of Surrey in 1968 and my doctorate from
Nottingham University in 1971 for research into quantum mechanics. Since then I have published work in numerical
analysis, variational methods, combinatorics and quantum theory. My nonmathematical interests include campanol-
ogy, avoiding administration, and being beaten at squash by Dr. Talbot.
Richard F. Talbot: I was awarded my B.Sc. by Nottingham University in 1966 and I obtained my doctorate from
the same university in 1969 for research in the area of fluid mechanics. Since that time my mathematical interests
have diversified into combinatorics and more recently numerical analysis. Apart from my family my main
nonmathematical interests are local history, sport in general including cricket (similar to baseball but more
intellectual!), and squash.
394
where
/ 1\ ~k+1
(2.3) E = Sk+( n
(2.5) n( 2) ( _ 2) ,E (y n jl+-)
so that the right-hand side is either an even or an odd polynomi
rewritten
k-i1 t
ak+ +
(2.7) 1) 1
ak+(1 = 1,
a(k) = 0,
ak(3 )( )+ ak2( ) = 0,
and generally
(a- k - ( P-1 (I (- 1 )) + *+
We first observe that the second of the
ak-2, ak-4, ... are all zero. From the first of
akl,ak-3,... in turn, we have
1
ak+i = k + 1'
ak+l =-
( (k
(2.8) ak-3=ona
ak-5=-31 (k)
k=2~ 7-63 kY
127 k
ak7 2 7*240 \7
Thus, for example, when k = 3 we obtain
L r3 = s4=n + 2 n + - + n + ao.
r=1 2 S( 4) 2( 8[
When n = 1, S4(3) = 1 and so ao = 1
Therefore,
/ 1\ 1/I 1\~2 2
= -n2(n + 1)2,
4
From (2.11) it is clear that good results may be obtained from the
(2.12) S(k) Xk k + i
+1.
We may illustrate these results by considering E35= r5 and, comparing the exact value of
333,263,700 with just two approximations that can be obtained from (2.10) or equivalently (2.11).
The first approximation, expressed in (2.12), gives
L r5 _3__ = 333,594,489,
r=1l
r5 6 - 35 54 = 333,263,608
1
+( kq r
Integrating from r - 2 to r + 2 then gives
(3.5) g(k) = r+ k 2 ) Er + ( 4 E r k +
where
g(k) =k 1(n + 2) -2 (k 0 - 1)
where
R ( =q
Rq+1 ~k f+
) r+ (1/2) k--( )q+ldX
)f?(1/2)Zir1(x -r)?d
and Zr iS given in (3.1).
Thus for q > k - 1,
k n r+ p 1\2) k-q-1
JRq+1I < (qf ,i r -~ - jx - rjq?1 dx,
q + I r=1 - (1/2) 2,
that is,
and so
jRq+ij <
From this we can easily deduce that for fixed k and n, lirn q4 R q + 1=0 so that the series
(3.6) converges.
Putting k, k - 2, k - 4,... in turn in equation (3.6) gives the set of equations
(3.8)
(3.9) g =MS,
where
0 0 0 1..
and
1 2( 3 1 22 (4)1i2 4 3 126
0 0 1 (k- 4)
0 0 0 1
so that
(3.11) S4 = MV9g4.
From this, we can obtain a 4-term approximation to S(k) given by
Now, E35 jr25 = 76138.722369 and the table below gives the successive approximations for
various values of 1.
1 Approximation
1 76160.721097
2 76138.725044
3 76138.722204
4 76138.722459
(4.6) r1 I + log { }
(4.6) ~~~~~~n p- 1 n + 2
r r=r
(4.7) 1 -+ {log + 2 (( 2 ( 2
r=1 r r=1 r1 2
For n = 50, equation (4.5) leads to the approximation 4.48924 compared with the exact value of
4.499205, an error of .22%. The following table compares this with the approximations (4.6) and
(4.7) for various values of p.
Approximation p = 2 p = 3 p = 4
(4.6) 4.51651 4.40468 4.50254
(4.7) 4.49801 4.49903 4.49916
(4.8) E rk= E rk p + k )p _
r=1 r=1 k 1 22 1 k 1 2
5 8064 ( 2 - 2) -
We can easily adapt the proof of convergence of (3.6) to the case where
course k < - 1). From a modified form of (3.7) we have
lRqI < (k (r -
2q 1) q 2r=p /
lim Rq= 0.
q -o0
Computations using the terms given in (4.9) have been carried out for the infinite series where
k = -2 and k = - 3.5 with various values of p. The results are shown below.
k p = 2 p = 3 p = 4 Exact
- 2 1.644466 1.644928 1.644934 1.644934
- 3.5 1.124871 1.126723 1.126733 1.126730
where ml is the Ith entry in the first row of Ml71 (see (3.9)-(3.12)) and g(k) is given
In fact (5.1) converges only when k is a positive integer and in this case the series breaks off
after finitely many terms.
In all other cases the series (5.1) diverges and we now show that its terms eventually have
increasing modulus.
We first note that from (4.2)
1- 2
Mla(k-4)
0 0 1 ~~~~~~~~~~~~~~~~~~1- 2
... Xl14 Y a(k-2i)
a(k - 21 + 4)
0 0 0 0 1
where
(5.4) Mix= e,
where e is the Ith column of t
Cramer's Rule and noting that
(5.5)
2 1-2
0 a(k) Xla(k)a(k - 2) 2 171a(k - 2i) ... X2 U a(k - 2i)
1- 2
0 0 a(k- 21+ 4)
1 0 1
2 1-2
0 0 0 a(k-21+4)
Ix 2 ... 1I-2
1 1 xi1 ... X1-3
0 1 1
(5.7) AI= 0
: ; 1 X1
0 0 ... 1
1 X1 X -2
0 f,
(5.8) A,= 0 f2
0 0 ... f1-2
i fi
1 0.7
2 0.63265306
13 0.60792713
14 0.60792711
15 0.60792710
16 0.60792710
(5.10) A (A)
(5.16) Im3A3I/S( k)
is small. For negative k (particularly k < -1) the approximations are formed by using p > 1.
Since X93 decreases with p, then it is always possible to reduce the size of ImA331. These argume
hold for any t with sufficiently large n or p so that it is always possible to obtain good estimates
from the initial terms of (5.1). This gives a heuristic argument why we have been able to obtain
surprisingly good approximations to S(k) from a series of terms (5.1) that actually diverges!
References
130. MISCELLANEA
These forms were like the cunning tables used by mathematicians, which may be entered from
top, bottom, right, and left, which entrances consist of scores of lines and dozens of columns, and
from which may be drawn, without reasoning or thinking, thousands of different conclusions, all
unchallengeably precise and true.