Base n n ?

( n 1 ) ( n 2 ) ( n 3 ) ( n 4 ) ( n 5 ) n \overline{(n-1)(n-2)(n-3)(n-4)(n-5)}_n is divisible by n 2 1 n^2-1 for all n 6 n \geq 6

Clarification : The subscript means number base n n . The line above the number means that ( n 1 ) , ( n 2 ) , (n-1), (n-2), \ldots are digits of the number.


Inspiration .

False True

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.

2 solutions

Alex G
Apr 29, 2016

The number listed is equivalent to:

( n 5 ) + ( n 4 ) n + ( n 3 ) n 2 + ( n 2 ) n 3 + ( n 1 ) n 4 (n-5) + (n-4) \cdot n + (n-3) \cdot n^2 + (n-2) \cdot n^3 +(n-1) \cdot n^4

Consider the number under m o d ( n 2 1 ) \mod {(n^2-1)} . n = n m o d ( n 2 1 ) n = n \mod{(n^2-1)} and n 2 = 1 m o d ( n 2 1 ) n^2 = 1 \mod{(n^2-1)} , a fact that follows naturally by rewriting n n as n 1 + 1 n-1+1 and dividing by n 1 n-1 . Using these two facts, it is easily proven by multiplication that n a = 1 m o d ( n 2 1 ) n^a = 1 \mod{(n^2-1)} when a a is even, and n a = n m o d ( n 2 1 ) n^a = n \mod{(n^2-1)} when a a is odd.

( n 5 ) + ( n 4 ) n + ( n 3 ) n 2 + ( n 2 ) n 3 + ( n 1 ) n 4 m o d ( n 2 1 ) (n-5) + (n-4) \cdot n + (n-3) \cdot n^2 + (n-2) \cdot n^3 +(n-1) \cdot n^4 \mod{(n^2-1)}

( n 5 ) + ( n 4 ) n + ( n 3 ) + ( n 2 ) n + ( n 1 ) m o d ( n 2 1 ) (n-5) + (n-4) \cdot n + (n-3) + (n-2) \cdot n +(n-1) \mod{(n^2-1)}

2 n 2 3 n 9 m o d ( n 2 1 ) 2n^2-3n-9 \mod{(n^2-1)}

2 3 n 9 m o d ( n 2 1 ) 2-3n-9 \mod{(n^2-1)}

3 n 7 m o d ( n 2 1 ) -3n-7 \mod{(n^2-1)}

This is not 0 m o d ( n 2 1 ) 0 \mod {(n^2-1)} , so the answer is F a l s e False

Geoff Pilling
Apr 30, 2016

One counter example: In base 10, 98765 isn't divisible by 99, since it doesn't divide by either 11 or 9. Therefore, the answer is f a l s e \boxed{false} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...