Professional Documents
Culture Documents
k=0
_
n
k
_
r
k
.
Proof. Consider an alphabet consisting of r ordinary letters and one special letter,
say . We count the number of possible codewords of length n in two ways. First,
since there are a total of 1 +r symbols available and there are n slots to ll, the
Multiplication Principle shows that the number of codewords is (1 +r)
n
.
On the other hand, we can partition the codewords according to the number of
non-s that appear. Let this number be k, so that 0 k n. Constructing a code-
word with k non-s consists of selecting n k of the n slots for the s, and then
selecting a codeword of length k containing no s. The Multiplication Rule says that
the number of ways of constructing such codewords is the product of the number of
ways of making each of the two selections. The rst selection is made in
_
n
nk
_
=
_
n
k
_
ways. The second, using the Multiplication Rule again, is made in r
k
ways. Summing
on k from k = 0 to k = r by the Sum Rule completes the calculation of the number
of codewords of length n. Since both sides of the Binomial Theorem count the same
quantity, we therefore have equality and have proved the theorem.
We can now proceed to extend the result to all real numbers r by using the fact that
polynomials over have only nitely many zeros. Let F(x) = (1 +x)
n
n
k=0
_
n
k
_
x
k
.
By the theorem above, F(r) = 0 for all positive integers r. Now F is a polynomial of
degree n, and has more than n zeros (in fact, it has innitely many zeros). Hence, F is
identically zero. Therefore, (1 + x)
n
=
n
k=0
_
n
k
_
x
k
for all x .
References
1. Kenneth P. Bogart, Introductory Combinatorics, 3rd ed., Harcourt/Academic Press, 2000.
2. Richard A. Brualdi, Introductory Combinatorics, 3rd ed., Prentice-Hall, 1999.
3. Fred S. Roberts, Applied Combinatorics, Prentice-Hall, 1984.
4. Ken Rosen, Discrete Mathematics and its Applications, 4th ed., McGraw-Hill, 1999.
5. Alan Tucker, Applied Combinatorics, 4th ed., Wiley, 2002.
(x) dx, we begin with f (x) under the D column, and then succes-
sively differentiate it, while g
(x).
D I
Let F =
k0
(1)
k
f
(k)
g
(k)
. Then f (x) = f
(0)
(x) g
(1)
(x) = g
(x)
f
(1)
(x)
+
g
(0)
(x) = g(x)
F
=
k0
(1)
k
f
(k+1)
g
(k)
f
(2)
(x)
g
(1)
(x)
+
k0
(1)
k
f
(k)
g
(k+1)
+
g
(2)
(x)
=
k0
(1)
k
f
(k+1)
g
(k)
+ f
(0)
g
(1)
.
.
.
.
.
.
+
k1
(1)
k
f
(k)
g
(k+1)
f
(k)
(x) g
(k+1)
(x)
= f g
.
(1)
k
g
(k)
(x)
.
.
.
.
.
.
In most applications f (x) is a polynomial, so the D column ends after nitely many
steps and column integration yields
_
f (x)g
(x) =
x, we compute
D I
e
x
x
_
xe
x
dx = e
x
x
2
/2 e
x
x
3
/6 +e
x
x
4
/24 +(1)
k
e
x
x
k
/k! +
e
x
+
x
2
/2 = e
x
[x
2
/2 x
3
/6 + x
4
/24 +(1)
k
x
k
/k! + ]
e
x
x
3
/6 = e
x
v(x),
e
x
+
x
4
/24
where v(x) =
k=2
(1)
k
x
k
/k! is well-dened. Since e
x
(x 1) and e
x
v(x) are an-
tiderivatives of xe
x
, it follows that e
x
v(x) = e
x
(x 1) +C. And since v(0) = 0, we
have C = 1. Therefore, v(x) = x 1 +e
x
and
VOL. 34, NO. 2, MARCH 2003 THE COLLEGE MATHEMATICS JOURNAL 145
e
x
= 1 x +v(x)
=
k=0
(1)
k
x
k
/k!.
Example 2. Integrating
_
x
2
e
x
dx by parts using u = x
2
and dv = e
x
dx, we get
_
x
2
e
x
dx = x
2
e
x
2[xe
x
x] = (x
2
2x + 2)e
x
. By column integration using
f (x) = e
x
, we obtain
_
x
2
e
x
dx = e
x
[x
3
/3 x
4
/(4 3) + x
5
/(5 4 3) ] = e
x
w(x).
Since e
x
w(x) and (x
2
2x +2)e
x
are antiderivatives of x
2
e
x
,
e
x
w(x) = (x
2
2x +2)e
x
+C.
And since w(0) = 0, it follows that C = 2. Therefore,
w(x) = x
2
2x +2 2e
x
and
e
x
=
1
2
[2 2x + x
2
w(x)] =
k=0
(1)
k
x
k
/k!.
Interestingly, this series results from using column integration on any integral of the
form
_
x
n
e
x
dx.
The next example produces some less familiar series of interest.
Example 3. For column integration of
_
x ln(x) dx, set
f (x) = ln(x) and g
(x) = x.
Then
D I
ln(x) x
1/x
+
x
2
/2
1/x
2
x
3
/6 = x
3
/3!
.
.
.
+
.
.
.
(1)
k1
(k 1)!
x
k
x
k+1
(k +1)!
.
.
.
x
k+2
(k +2)!
.
.
.
146 c THE MATHEMATICAL ASSOCIATION OF AMERICA
we obtain
_
x ln(x) dx =
x
2
2
ln(x)
x
2
3!
x
2
4!
2x
2
5!
3!x
2
6!
(k 1)!x
2
(k +2)!
=
x
2
2
ln(x) x
2
_
1
3!
+
1
4!
+
2
5!
+
3!
6!
+ +
k!
(k +3)!
+
_
=
x
2
2
ln(x) x
2
v(x). (1)
On the other hand, using integration by parts with u = ln(x) and dv = x dx, we nd
that
_
x ln(x) dx has the value
x
2
ln(x)
2
x
2
4
. (2)
Since (1) and (2) are both anti-derivatives of x ln(x), they agree except for at most
a constant, and hence the coefcients of their variable terms must agree. Therefore,
v(x) = 1/4, and we obtain the series
1
4
=
k=0
k!
(k +3)!
. (3)
This equality can be veried by writing the right-hand summation as a telescoping
series
1
2
k=0
_
1
(k +2)(k +1)
1
(k +3)(k +2)
_
.
If we look at the more general integral of
_
x
n
ln(x) dx, integration by parts yields
x
n+1
ln(x)
n +1
x
n+1
(n +1)
2
,
whereas column integration gives
x
n+1
ln(x)
n +1
x
n+1
p(x),
where
p(x) =
1
(n +2)(n +1)
+
1
(n +3)(n +2)(n +1)
+
2
(n +4)(n +3)(n +2)(n +1)
+ .
Equating the coefcients of x
n+1
, we obtain for each integer n 1 the family of rep-
resentations
1
(n +1)
2
= n!
k=0
k!
(k +n +2)!
. (4)
VOL. 34, NO. 2, MARCH 2003 THE COLLEGE MATHEMATICS JOURNAL 147
This series likewise can be veried by writing the right-hand side as a telescoping
series
n!
k=0
k!
(k +n +2)!
= n!
k=0
1
(k +n +2)(k +n +1) (k +n 1)(k +1)
= n!
_
1
n +1
k=0
_
1
(k +n +1) (k +2)(k +1)
1
(k +n +2)(k +n +1) (k +2)
__
.
The series (3) and (4) also follow from the more general results for
_
x
p/q
ln(x) dx,
where p and q are positive integers. Using both methods for integration, we obtain
_
p
p +q
_
2
=
k=0
k! q
k+2
k+2
i =1
( p +i q)
.
A word of caution should be mentioned regarding column integration. Selection of
the initial functions to be placed under the D and I column is critical, for convergence
may occur with one choice and not the other (although this is not too surprising since
students face the same dilemma with integration by parts). Sometimes convergence
may not occur with either choice as shown by
_
sin(x) cos(x) dx, which evaluates to
either (sin
2
x +cos
2
x +sin
2
x +cos
2
x + ).
References
1. Leonard Gillman, More on tabular integration by parts, The College Math. Journal 22(5) (1991) 407410.
2. David Horowitz, Tabular integration by parts, The College Math. Journal 21(4) (1990) 307311.
3. Margaret Lial, Raymond Greenwell, Charles Miller, Calculus with Applications, 6th ed., Addison-Wesley,
1998, pp. 430-431.
4. V. N. Murty, Integration by parts, The College Math. Journal, 11 (1980) 9094.