For how many positive integers n < 1 0 0 0 , do there exist integers a , b , c , and d , that satisfy the following conditions:
⎩ ⎪ ⎨ ⎪ ⎧ 1 0 0 a + b = c n 1 0 b + a = d n g c d ( c , d ) = 1 ?
Details and assumptions
There are no restrictions on the values of a and b .
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.
There's an easy way to see without calculator to see that 1 0 is not a ninth power mod 9 9 9 : factor 9 9 9 into 3 3 ⋅ 3 7 . Now clearly 1 0 3 ≡ 1 ( m o d 9 9 9 ) , so the order of 1 0 mod 3 3 and mod 3 7 is exactly 3 (certainly by the first observation it divides into 3 , which leaves only one case to rule out).
Now compare this with ϕ ( 3 3 ) = 1 8 and ϕ ( 3 7 ) = 3 6 , and use the fact that odd prime powers possess primitive roots. The equivalence of (2) and " n is not divisible by 9 " falls out pretty quickly without needing Excel.
Log in to reply
Of course, if v 9 ≡ 1 0 modulo 9 9 9 then v 2 7 ≡ 1 modulo 9 9 9 , and hence modulo 2 7 and 3 7 as well. Since ϕ ( 2 7 ) = 1 8 and ϕ ( 3 7 ) = 3 6 , and since ( 2 7 , 1 8 ) = ( 2 7 , 3 6 ) = 9 , we deduce that v 9 ≡ 1 modulo both 2 7 and 3 7 , and hence 1 0 ≡ v 9 ≡ 1 modulo 9 9 9 , which is impossible. This shows what I wanted, and that Condition (2) implies that n is not a multiple of 9 . Put that together with what I have written, and we are done.
Having found the equivalence of (1), (2) and (3), and after finding 6 2 5 as a cube root of 1 0 , I already had Excel set up to investigate ninth powers (just a matter of dragging one column of formulae). It was a totally defined, finite calculation, so why not? You could argue that I did not need to find 6 2 5 , since the pair 1 2 5 , 5 1 2 in the question title shows that n = 3 works.
Problem Loading...
Note Loading...
Set Loading...
I claim that the following three statements are equivalent for a positive integer n :
There exist integers a , b , c , d with ( c , d ) = 1 such that 1 0 0 a + b = c n and 1 0 b + a = d n .
There exists an integer u such that u n ≡ 1 0 modulo 9 9 9 .
There exists an integer v such that v n ≡ 1 0 0 modulo 9 9 9 .
If Condition (1) is true, then 1 0 c n − d n = 9 9 9 a ≡ 0 modulo 9 9 9 . If ( c , 9 9 9 ) > 1 , let p be a common prime factor of c and 9 9 9 (either 3 or 3 7 ). Then p also divides d n , and hence p divides d , so that c and d are not coprime. Thus we deduce that c and 9 9 9 are coprime, so there exists an integer e such that c e ≡ 1 modulo 9 9 9 , and then ( d e ) n ≡ 1 0 modulo 9 9 9 . Hence Condition (2) is true.
If Condition (2) is true, so that u n ≡ 1 0 modulo 9 9 9 for some u , then ( u 2 ) n = ( u n ) 2 ≡ 1 0 0 modulo 9 9 9 , and hence Condition (3) is true.
If Condition (3) is true, so that v n ≡ 1 0 0 modulo 9 9 9 for some v , put c = v and d = 1 . Certainly c and d are coprime. Then 1 0 c n − d n 1 0 0 d n − c n = = 1 0 v n − 1 ≡ 1 0 × 1 0 0 − 1 ≡ 0 1 0 0 − v n ≡ 0 modulo 9 9 9 , and hence we can find integers a , b such that 1 0 c n − d n = 9 9 9 a 1 0 0 d n − c n = 9 9 9 b Thus 9 9 9 ( 1 0 0 a + b ) 9 9 9 ( 1 0 b + a ) = = 1 0 0 ( 1 0 c n − d n ) + ( 1 0 0 d n − c n ) = 9 9 9 c n 1 0 ( 1 0 0 d n − c n ) + 1 0 c n − d n = 9 9 9 d n so that 1 0 0 a + b = c n and 1 0 b + a = d n , and Condition (1) is satisfied.
Since 1 0 3 = 1 0 0 0 ≡ 1 modulo 9 9 9 , we see that 1 0 3 a + 1 ≡ 1 0 for all a ≥ 0 , and hence Condition (2) is satisfied for all integers n ≡ 1 modulo 3 . Also 1 0 3 a + 2 ≡ 1 0 0 for all a ≥ 0 , and hence Condition (3) is satisfied for all integers n ≡ 2 modulo 3 .
Since 6 2 5 3 ≡ 1 0 modulo 9 9 9 (thank you, Excel!), we deduce that 6 2 5 9 a + 3 ≡ 1 0 and 6 2 5 9 a + 6 ≡ 1 0 0 modulo 9 9 9 , and so Conditions (2) and (3) are satisfied for all integers n ≡ 3 and n ≡ 6 modulo 9 respectively.
So far, we have shown that Condition (1) holds for all integers n except multiples of 9 . I claim that Condition (1) does not hold if n is a multiple of 9 . Suppose that Condition (1) held for some n = 9 a . Then we can find an integer u such that u 9 a ≡ 1 0 modulo 9 9 9 . This would imply that ( u a ) 9 ≡ 1 0 modulo 9 9 9 , and hence that v 9 ≡ 1 0 modulo 9 9 9 for some integer v . But (thank you, Excel, again) we can easily check that 1 0 is not a ninth power modulo 9 9 9 .
Thus we deduce that Condition (1) holds precisely for those integers which are not multiples of 9 . There are 1 1 1 multiples of 9 between 1 and 9 9 9 , and hence there are 8 8 8 integers n between 1 and 9 9 9 inclusive for which Condition (1) holds.