A Question for Mr. Modulator

If n = x 5 y 5 z 5 n = x^5 - y^5 - z^5 , where x x , y y , and z z are positive integers, which of the following could not be a value for n n ?

Challenge: Solve without a calculator or computer.

4 456 000 \num{4456000} 1 936 000 \num{1936000} 4 217 000 \num{4217000} 8 313 000 \num{8313000} 1 803 000 \num{1803000} 8 658 000 \num{8658000}

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Chris Lewis
May 6, 2021

The title suggests we want to use modular arithmetic; in fact, Fermat's little theorem , a p 1 1 ( m o d p ) a^{p-1} \equiv 1 \pmod{p} (where p p is a prime and a a is an integer not divisible by p p ) almost works straight away. The problem is of course that p 1 p-1 can't be 5 5 ; the next best thing is to try p = 2 5 + 1 = 11 p=2\cdot 5+1=11 .

Fermat's little theorem tells us that a 10 a^{10} is congruent to either 0 0 or 1 1 mod 11 11 ; therefore a 5 a^5 is congruent to one of { 1 , 0 , 1 } \{-1,0,1\} . By considering all combinations of these, we find that x 5 y 5 z 5 x^5-y^5-z^5 has to be congruent to one of { 0 , 1 , 2 , 3 , 8 , 9 , 10 } \{0, 1, 2, 3, 8, 9, 10\}

Among the options, we find (see below for a non-calculator method) that 4217000 7 ( m o d 11 ) 4217000\equiv 7 \pmod{11} is the only one that doesn't belong to this set, so the answer (without explicitly finding ( x , y , z ) (x,y,z) for the others) is 4217000 \boxed{4217000} .


To find n ( m o d 11 ) n \pmod{11} manually, we can just use long division, but this is a little tedious for very large n n (and also, we're interested in the remainder, not the quotient).

Instead, say n n has k k digits, and n = d k 1 d k 2 d 0 n=\overline{d_{k-1} d_{k-2} \cdots d_0} . Since 10 1 ( m o d 11 ) 10\equiv-1 \pmod{11} , we have d k 1 d k 2 d 0 r = 0 k 1 1 0 r d r r = 0 k 1 ( 1 ) r d r ( m o d 11 ) \begin{aligned} \overline{d_{k-1} d_{k-2} \cdots d_0} &\equiv \sum_{r=0}^{k-1} 10^r d_r \\ &\equiv \sum_{r=0}^{k-1} (-1)^r d_r \pmod{11} \end{aligned}

ie we need to find the sums of the digits in odd and even positions (counting from the right).

For example, 4217000 ( 4 + 1 + 0 + 0 ) ( 2 + 7 + 0 ) = 4 7 ( m o d 11 ) 4217000 \equiv (4+1+0+0)-(2+7+0) = -4 \equiv 7 \pmod{11}

Just for completeness, (computer-aided!) solutions for the other cases are

n n x x y y z z
1803000 1803000 25 25 1 1 24 24
1936000 1936000 30 30 22 22 28 28
4456000 4456000 30 30 24 24 26 26
8313000 8313000 25 25 8 8 17 17
8658000 8658000 25 25 9 9 16 16

Is there a way to solve these without a calculator or computer?

Chris Lewis - 1 month, 1 week ago

Nice solution! That's how I did it, too.

David Vreken - 1 month, 1 week ago

Log in to reply

Is there something special about the form you chose ( x 5 y 5 z 5 x^5-y^5-z^5 )? I noticed (strictly back on the computer now) that multiples of 11 11 seem to be the only divisors that help - is that right?

To make it a clearer question, I think my conjecture is that if S ( N ) S(N) is the set of residues modulo N N of x 5 y 5 z 5 x^5-y^5-z^5 , where x , y , z x,y,z are integers, then S ( N ) = { 7 N 11 if 11 N N otherwise |S(N)|=\begin{cases} \frac{7N}{11} & \text{ if } 11|N \\ N & \text{ otherwise} \end{cases}

Chris Lewis - 1 month, 1 week ago

Log in to reply

I started by investigating powers of 5 5 and noticing that after dividing by 11 11 the remainders are 1 , 0 , 1 {-1, 0, 1} , which is of course explained by Fermat's little theorem. The form I chose after that ( x 5 y 5 z 5 x^5 - y^5 - z^5 ) was somewhat random.

David Vreken - 1 month, 1 week ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...