Hilbert-Waring Theorem/Particular Cases/4

From ProofWiki
Jump to navigation Jump to search

Particular Case of the Hilbert-Waring Theorem: $k = 4$

The Hilbert-Waring Theorem states that:


For each $k \in \Z: k \ge 2$, there exists a positive integer $\map g k$ such that every positive integer can be expressed as a sum of at most $\map g k$ $k$th powers.


The case where $k = 4$ is:

Every positive integer can be expressed as the sum of at most $19$ powers of $4$.

That is:

$\map g 4 = 19$


Proof


This theorem requires a proof.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Also see


Historical Note

It is clear that some integers require at least $19$ powers of $4$ to represent them as a sum, as $79$ requires $19$ of them:

Thus Edward Waring knew that:

$g \left({4}\right) \ge 19$

Joseph Liouville subsequently showed that:

$g \left({4}\right) \le 53$

Hardy and Littlewood showed that all sufficiently large numbers are the sum of at most $19$ fourth powers.

Thus:

$g \left({4}\right) = 19$

and so Waring's claim has been shown to be true.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Hilbert-Waring_Theorem/Particular_Cases/4&oldid=625152"