Unit Fractions and Fibonacci

Suppose we wish to generate integer solutions of the harmonic equation

                      1       1       1
                     ---  +  ---  =  ---
                      x       y       z

This can be regarded as a special case of a more general expansion 
related to the Fibonacci numbers.  Let s[j], j=0,1,2,... be a sequence 
of integers that satisfy the recurrence s[k] = s[k-1] + s[k-2] with 
arbitrary initial values s[0] and s[1].  It can be shown that for 
any integers m,n with m>n we have

        1                 1            m          1
   -----------   =   -----------  +  SUM    -------------       (1)
   s[n-1] s[n]       s[m] s[m+1]      j=n   s[j-1] s[j+1]


For example, setting s[0]=s[1]=1 and n=5, m=10 gives

       1        1     1     1      1      1      1      1
      ---  =   --- + --- + --- + ---- + ---- + ---- + -----
       40       65   168   442   1155   3026   7920   12816

In general, to expand 1/D into a sum of unit fractions, the method
is to split D into two factors, D = pq.  Then we can set s[0]=p and
s[1]=q and generate the s sequences as follows

           k    s[k]     s[k] s[k-1]      s[k] s[k-2]
          ---  -------   -----------      -----------
           0    p
           1    q        pq
           2    p+q      q(p+q)           p(p+q)
           3    p+2q     (p+q)(p+2q)      q(p+2q)
           4    2p+3q    (p+2q)(2p+3q)    (p+q)(2p+3q)
           5    3p+5q    (2p+3q)(3p+5q)   (p+2q)(3p+5q)
           6    5p+8q    (3p+5q)(5p+8q)   (2p+3q)(5p+8q)
           7    8p+13q   (5p+8q)(8p+13q)  (3p+5q)(8p+13q)
                 etc            etc            etc

We can now express 1/pq as the sum of the inverses of the numbers 
in the third column down to the mth row, plus the inverse of the mth 
number in the second column.  Thus we have

 1/pq  =  1/p(p+q) + 1/q(p+q)

       =  1/p(p+q) + 1/q(p+2q) + 1/(p+q)(p+2q)

       =  1/p(p+q) + 1/q(p+2q) + 1/(p+q)(2p+3q) + 1/(p+2q)(2p+3q)

                              etc.

Of course, we can let m in equation (1) go to infinity, giving the 
infinite unit fraction expansion

                  1              inf         1
             -----------   =    SUM    -------------           (2)
             s[n-1] s[n]         j=n   s[j-1] s[j+1]


This can also be generalized to higher order recurrences.  For
example, if we define the sequence s[j] to satisfy the 3rd order
recurrence s[k] = s[k-2] + s[k-3] with the initial values a,b,c,
then we can generate the following sequences

       k    s[k]      s[k]s[k-1]s[k-2]        s[k]s[k-1]s[k-3]
      ---  ------   --------------------    ----------------------
       0    a
       1    b
       2    c          abc
       3    a+b        bc(a+b)                ac(a+b)
       4    b+c        c(a+b)(b+c)            b(a+b)(b+c)
       5    a+b+c      (a+b)(b+c)(a+b+c)      c(b+c)(a+b+c)
       6    a+2b+c     (b+c)(a+b+c)(a+2b+c)   (a+b)(a+b+c)(a+2b+c)
             etc              etc                     etc

so we have

1/abc = 1/ac(a+b) + 1/bc(a+b)

    = 1/ac(a+b) + 1/b(a+b)(b+c) + 1/c(a+b)(b+c)

  = 1/ac(a+b) + 1/b(a+b)(b+c) + 1/c(b+c)(a+b+c) + 1/(a+b)(b+c)(a+b+c)

and so on.  To illustrate, with a=3,b=7,c=11 this last formula gives

    1/231  =  1/330 + 1/770

           =  1/330 + 1/1260 + 1/1980

           =  1/330 + 1/1260 + 1/3780 + 1/4158

and with a=23,b=c=1 it gives

     1/23  =  1/24 + 1/552

           =  1/48 + 1/50 + 1/552 + 1/1200

Return to MathPages Main Menu