Page 11 -
P. 11

3
                                                                     Change Making
                        see that “every” way of making change (into 1’s, 2’s, and 3’s) for
                        “every” n will appear in this multiplying out. Thus if we call C(n) the
                        number of ways of making change for n, then C(n) will be the exact
                                       n
                        coefficient of z when the multiplication is effected. (Furthermore
                        all is rigorous and not just formal, since we have restricted ourselves
                        to |z| < 1 wherein convergence is absolute.)
                           Thus

                                                               1
                                               n
                                         C(n)z                              ,         à 1)
                                                                         3
                                                                 2
                                                    (1 − zð( 1 − z )(1 − z )
                        and the generating function for our unknown quantity C(n) is
                        produced. Our number theoretic problem has been translated into
                        a problem about analytic functions, namely, finding the Taylor
                        coefficients of the function      1     3 .
                                                          2
                                                   (1−zð( 1−z )(1−z )
                           Fine.Awelldefinedanalyticproblem,buthowtosolveit?Wemust
                        resist the temptation to solve this problem by undoing the analysis
                        which led to its formulation. Thus the thing not to do is expand  1  ,
                                                                                     1−z
                          1    1                      z ,     z ,    z and multiply only to
                                                                   3c
                                                       a
                                                             2b
                         1−z 2 ,  1−z 3 respectively into
                        discover that the coefficient is the number of ways of making change
                        for n.
                           The correct answer, in this case, comes from an algebraic tech-
                        nique that we all learned in calculus, namely partial fractions. Recall
                        that this leads to terms like  A  k for which we know the expan-
                                                    (1−αz)
                        sion explicitly (namely,  1  k is just a constant times the (k − 1)th
                                                (1−αz)
                                                   n n

                        derivative of  1         α z ).
                                     (1−αz)
                           Carrying out the algebra, then, leads to the partial fractional
                        decomposition which we may arrange in the following form:
                                      1
                                        2
                                                3
                           (1 − zð( 1 − z )(1 − z )
                                1     1        1     1       1     1        1    1
                                            +             +              +             .
                                                                      2
                                                                                    3
                                6 (1 − zð  3   4 (1 − zð  2  4 (1 − z )     3 (1 − z )
                        Thus, since
                                  1         d    1        d      n                n
                                                                z        (n + 1)z
                               (1 − zð  2   dz 1 − z     dz
   6   7   8   9   10   11   12   13   14   15   16