Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Denote by $r_{s,k}(x)$, the number of ways in which $x$ can be expressed as the sum of $k$ $s^{th}$ powers of integers. Now, the Hilbert-Waring theorem is equivalent to the following. $$\forall s\in \mathbb{N}\; \exists\: k \; \: \text{such that} \;r_{s,k}(x)\geq 1\; \forall\; x \in \mathbb{N}$$  Now, call me optimistic, but I've been trying to prove this fact via contradiction. So, assuming the contradiction gives us the following. $$\forall s\in \mathbb{N}\; \nexists\: k \; \: \text{such that} \;r_{s,k}(x)\geq 1\; \forall\; x \in \mathbb{N}$$  Now, if this is true, then it means that there is at least one $s$ for which there exists a corresponding $k$, such that $r_{s,k}(x)\geq 1$. So, for all the other integers $s$, the opposite must hold.

I have come this far till now. If we can show somehow that from the above arguments it must follow that $r_{s,k}(x)=0$ the proof will follow, since for any integer $a$, $r_{s,k}(a^s)$ is always greater than or equal to one.

I'd be grateful to anyone who pitches in any ideas on how to approach this problem, or of it's hopeless to do so. :)

Many thanks in advance!

share|cite|improve this question
Crossposted to MO – t.b. May 11 '11 at 8:42

Since this is unanswered:

Your confusion comes from incorrectly negating the statement.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.