Prove a sum is not the fifth power of any integer

  • Context: MHB 
  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    Integer Power Sum
Click For Summary
SUMMARY

The discussion centers on proving that the sum \( X = \sum_{k=1}^{60} \epsilon_k \cdot k^{k^k} \), where each \( \epsilon_k \) is either 1 or -1, cannot be expressed as the fifth power of any integer. The proof leverages properties of modular arithmetic and the characteristics of fifth powers in relation to their residues. It is established that \( X \) does not conform to the necessary conditions that define fifth powers, thus confirming that \( X \) is not a fifth power of any integer.

PREREQUISITES
  • Understanding of modular arithmetic
  • Familiarity with integer powers and their properties
  • Knowledge of sums involving alternating series
  • Basic concepts of number theory
NEXT STEPS
  • Study modular arithmetic and its applications in number theory
  • Explore the properties of integer powers, specifically fifth powers
  • Investigate alternating series and their convergence properties
  • Learn about advanced number theory concepts such as Diophantine equations
USEFUL FOR

Mathematicians, number theorists, and students interested in advanced proofs related to integer powers and modular arithmetic.

anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Suppose $X$ is a number of the form $\displaystyle X=\sum_{k=1}^{60} \epsilon_k \cdot k^{k^k}$, where each $\epsilon_k$ is either 1 or -1.

Prove that $X$ is not the fifth power of any integer.
 
Mathematics news on Phys.org
Solution of other:

WLOG, we may assume that $\epsilon_{60}=1$. Let $\large m=60^{\dfrac{1}{5}({60^{60})}}$.

We show that if $\epsilon_{59}=-1$, then $(m-1)^5<X<m^5$---(1) and

if $\epsilon_{59}=1$, then $m^5<X<(m+1)^5$---(2)

From (1), we note that $60^{60}=(59+1)^{60}>59^{60}+60(59)^{59}>2\cdot 59^{60}$---(3)

so that using (3)

$\large m^3=60^{\dfrac{3}{5}({60^{60})}}>60^{\dfrac{6}{5}({59^{60})}}>59^{({59^{60})}}>59^{({59^{59+1})}}=59\cdot59^{59^{59}}$----(4)

Then

$\begin{align*}(m-1)^5&=m^5-5m^3(m-1)-5m(2m-1)-1\\&<m^5-5m^3(m-2)\\&<m^5-5m^3\\&<m^5-m^3\end{align*}$

and from (4) we have

$\begin{align*}m^5-m^3&<m^5-59\cdot59^{59^{59}}\\&<60^{60^{60}}+\sum_{k=1}^{59} (-1)k^{k^k}\\&\le X\\&<m^5-59^{59^{59}}+58\cdot 58^{58^{58}}\\&<m^5\end{align*}$

A similar argument proves (2) and we're done.
 

Similar threads

Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
906
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K