# An integer sequence with integer $k$ norms

Find the maximum value of $n$(if exists) such that there exists a sequence $a_1,a_2,\ldots,a_n$ of positive integers such that for every $2\leq k \leq n$

$$\sqrt[k]{a_1^k+a_2^k+\cdots+a_k^k}$$

is itself an integer.

I know the sequence 3,4,5 for $n=3$ works, but I do not know anything for larger values.

If there is no maximum value, is there exist an infinite sequence having such a property?

• I would help if you told us where you found this problem. If you formulated it yourself, how do you know that such a maximum exists? If you found it in a book, which book is it? If it was posed to you during a course, what topics were covered in that course?
– A.P.
Mar 30, 2015 at 8:15
• I was thinking about differrent problems near this idea that a perfect power can be written as sum of other perfect powers. I formulated this problem myself. Yes, you are right. There may be no upper bound for size of such sequence. I edit the problem. thanks. Mar 30, 2015 at 10:07
• You state that "...I know the sequence $3,4,5$ for $n=3$ works". From your formulation, "...for every $2 \leq k \leq n$", are you suggesting that, $$\sqrt[k]{3^k+4^k+5^k}$$ is an integer for $k=2,3$? (It isn't for $k=2$.) Apr 1, 2015 at 12:29
• @Tito Piezas. $\sqrt[k]{a_1^k+...+a_k^k}$ must be integer, not $\sqrt[k]{a_1^k+...+a_n^k}$! When the power is $k$, you see first $k$ elements of the sequence not all of them. In this example it says that $\sqrt[2]{3^2+4^2}$ and $\sqrt[3]{3^3+4^3+5^3}$ are integers. Apr 1, 2015 at 13:20
• @user56292: Ah, ok. This is slightly easier then. For the case $n=3$, one has $$(p^2-q^2)^3+(2pq)^3+x^3 = y^3$$ For the case $n=4$, I can check Wroblewski's tables. Give me a while to do the calculations. Apr 1, 2015 at 13:53

## 2 Answers

This is not a complete answer, but is too long for a comment. The case $$n=4$$ entails solving the simultaneous system,

\begin{align} &x_1^2+x_2^2 = y_1^2\tag1\\ &x_1^3+x_2^3+x_3^3 = y_2^3\tag2\\ &x_1^4+x_4^4+x_3^4+x_4^4 = y_3^4\tag3 \end{align}

Solving $$(3)$$ in particular is no trivial matter. Fortunately, Jarek Wroblewski has a complete table of the 1009 primitive solutions with $$y_3<220000$$. After checking them, it turns out there is no subset of the terms $$x_i$$ such that $$(1)$$ or $$(2)$$ has solutions.

If indeed $$n=4$$ has solutions, then it should involve larger terms.

P.S. Incidentally, there is the curiosity,

$$15935^2 + 27022^2 + 57910^2 + 59260^2 = 88597^2$$

$$15935^4 + 27022^4 + 57910^4 + 59260^4 = 70121^4$$

though this is only one of its kind in the table.

Partial answer: There does not exist such an infinite sequence.

Proof. Let $p\geq3$ be prime. We have, for some $x\in\mathbb Z$, $$x^{p-1}=a_1^{p-1}+\cdots+a_{p-1}^{p-1}.$$ By Little Fermat, each term is $0$ or $1$ mod $p$. Clearly, for the LHS to be $0$ or $1$, at most one term in the RHS can be not divisible by $p$. In particular, $p\mid a_1a_2$. So $a_1a_2$ would be divisible by every prime $p\geq3$, contradiction. $\square$

Maybe, by making explicit the obtained lower bounds on the $a_k$, this observation allows to prove that there exists a maximal length for such sequences...