# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Waring's problem

In number theory, Waring's Problem, proposed in 1770 by Edward Waring, asks whether for every natural number k there exists an associated positive integer s such that every natural number is the sum of at most s kth powers of natural numbers. The affirmative answer was provided by David Hilbert in 1909. Sometimes this topic is described as Hilbert-Waring's theorem.

For every k, we denote the least such s by g(k). Note we have g(1) = 1. Some simple computations show that 7 requires 4 squares, 23 requires 9 cubes, and 79 requires 19 fourth-powers. Waring conjected that these values were in fact the best possible.

Lagrange's four-square theorem of 1770 states that every natural number is the sum of at most four squares; since three squares are not enough, this theorem establishes g(2) = 4. Lagrange's four-square theorem was conjectured by Fermat in 1640 and was first stated in 1621.

Over the years various bounds were established, using increasingly sophisticated and complex proof techniques. For example, Liouville showed that g(4) is at most 53. Hardy and Littlewood showed that all sufficiently large numbers are the sum of at most 19 fourth powers.

That g(3) = 9 was established from 1909 to 1912 by Wieferich and A. J. Kempner, g(4) = 19 in 1986 by R. Balasubramanian, F. Dress, and J.-M. Deshouillers, g(5) = 37 in 1964 by Jing-run Chen and g(6) = 73 in 1940 by Pillai.

All the other values of g are now also known, as a result of work by Dickson, Pillai, Rubugunday and Niven. Their formula contains two cases, and it is conjectured that the second case never occurs; in the first case, the formula reads

g(k) = floor((3/2)k) + 2k - 2     for k ≥ 6.

giving the values

1, 4, 9, 19, 37, 73, 143, 279, 548, 1079, 2132, 4223, 8384, 16673, 33203, 66190,132055 ...

listed in Sloane's A002804.