If n = x 5 − y 5 − z 5 , where x , y , and z are positive integers, which of the following could not be a value for n ?
Challenge: Solve without a calculator or computer.
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.
Just for completeness, (computer-aided!) solutions for the other cases are
n | x | y | z |
1 8 0 3 0 0 0 | 2 5 | 1 | 2 4 |
1 9 3 6 0 0 0 | 3 0 | 2 2 | 2 8 |
4 4 5 6 0 0 0 | 3 0 | 2 4 | 2 6 |
8 3 1 3 0 0 0 | 2 5 | 8 | 1 7 |
8 6 5 8 0 0 0 | 2 5 | 9 | 1 6 |
Is there a way to solve these without a calculator or computer?
Nice solution! That's how I did it, too.
Log in to reply
Is there something special about the form you chose ( x 5 − y 5 − z 5 )? I noticed (strictly back on the computer now) that multiples of 1 1 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 ) is the set of residues modulo N of x 5 − y 5 − z 5 , where x , y , z are integers, then ∣ S ( N ) ∣ = { 1 1 7 N N if 1 1 ∣ N otherwise
Log in to reply
I started by investigating powers of 5 and noticing that after dividing by 1 1 the remainders are − 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 ) was somewhat random.
Problem Loading...
Note Loading...
Set Loading...
The title suggests we want to use modular arithmetic; in fact, Fermat's little theorem , a p − 1 ≡ 1 ( m o d p ) (where p is a prime and a is an integer not divisible by p ) almost works straight away. The problem is of course that p − 1 can't be 5 ; the next best thing is to try p = 2 ⋅ 5 + 1 = 1 1 .
Fermat's little theorem tells us that a 1 0 is congruent to either 0 or 1 mod 1 1 ; therefore a 5 is congruent to one of { − 1 , 0 , 1 } . By considering all combinations of these, we find that x 5 − y 5 − z 5 has to be congruent to one of { 0 , 1 , 2 , 3 , 8 , 9 , 1 0 }
Among the options, we find (see below for a non-calculator method) that 4 2 1 7 0 0 0 ≡ 7 ( m o d 1 1 ) is the only one that doesn't belong to this set, so the answer (without explicitly finding ( x , y , z ) for the others) is 4 2 1 7 0 0 0 .
To find n ( m o d 1 1 ) manually, we can just use long division, but this is a little tedious for very large n (and also, we're interested in the remainder, not the quotient).
Instead, say n has k digits, and n = d k − 1 d k − 2 ⋯ d 0 . Since 1 0 ≡ − 1 ( m o d 1 1 ) , 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 1 1 )
ie we need to find the sums of the digits in odd and even positions (counting from the right).
For example, 4 2 1 7 0 0 0 ≡ ( 4 + 1 + 0 + 0 ) − ( 2 + 7 + 0 ) = − 4 ≡ 7 ( m o d 1 1 )