Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
FIBONACCI NUMBERS IN THE COUNT OF SPANNING TREES 14 FEB. 1977 ST(Nk+1hST(Nj+1). Thus ST(Wkt1) = L2k+2-2+2F2k + 2(F2 + F4 + -+F2k.2l F4 + •••+ F2k-2) + 2F2k(F2+ and, if/ > 2, ST(WkJ) = L2k+2j- 2 + 2F2kF2j + 2F2j(F2+ F4 + ••+ F2h2>. Simple Fibonacci identities reduce these equations to the desired formula. REFERENCES 1. D. C. Fielder, "Fibonacci Numbers in Tree Counts for Sector and Related Graphs," The Fibonacci Quarterly, Vol. 12 (1974), pp. 355-359. 2. F. Harary, Graph Theory, Addison-Wesley Publishing Company, Reading, Mass., 1969. 3. A. J. W. Hilton, "The Number of Spanning Trees of Labelled Wheels, Fans and Baskets," Combinatorics, The Institute of Mathematics and its Applications, Oxford, 1972. ******* T H E D I O P H A N T I N E E Q U A T I O N (x7 + x2 + •» +xn)2 = xf + x32+>~ + x3n W. R. UTZ University of Missouri - Columbia, Mo. The Diophantine equation (1) (x1+x2 + -+xn)2 = x3 + x32 + ~+x3n has the non-trivial solution X; = i as well as permutations of this n-tuple since n n £ / - n(n + 1)/2 and £ j3 = n2(n + l)2/4. i=l i=1 Also, for any n, x; v n for all / = /, 2, •••, n, is a solution of (1). Thus, (1) has an infinite number of non-trivial solutions in positive integers. On the other hand if one assumes x\ > Of then for each / one has x; <n . To see this, let a be the largest coordinate in a solution (xj, x2, ••-, xn). Then, Xf + x2 + •'• + xn < na. For the same solution x3+x2+- + x3 > a3 2 and so a < n . Thus, we see that for a fixed positive integer, A7, equation (1) has only a finite number of solutions in positive integers and we have proved the following theorem. Theorem. Equation (1) has only a finite number of solutions in positive integers for a fixed positive integer /7 but as n -> °° the number of solutions is unbounded. Clearly if (x j, x2f •••, xn) is a solution of (1) wherein some entry is zero, then one has knowledge of a solution (1) for/7 - 7 and so, except for/7 = /, we exclude all solutions with a zero coordinate hereafter. [Continued on page 16.]