Consider the sequence of integers given by a n = n ! + 1 0 0 for n ≥ 1 . What is the maximum value of g cd ( a n , a n + 1 ) ?
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.
Nicely done!
Why is it necessary that g cd ( n ! + 1 0 0 , ( n + 1 ) ! + 1 0 0 ) = g cd ( n ! + 1 0 0 , ( ( n + 1 ) ! + 1 0 0 ) − ( n + 1 ) ( n ! + 1 0 0 ) ) ?
Log in to reply
For any integers a , b , c it is true that g c d ( a , b ) = g c d ( a , b + a c ) . (Hint: b = ( b + a c ) − a c ).
i think m a x ( g c d ( n ! + x , ( n + 1 ) ! + x ) ) is just x , i tried it with many integers x ≥ 2 .
from my observations : m a x ( g c d ( n ! + x , ( n + 1 ) ! + x ) ) = x when n ! contains all x primes factors and there exponents is great or equals to exponents of factorized x primes:
let x = p 1 e 1 p 2 e 2 p 3 e 3 . . . p i e k ( i , k ∈ N )
and
n
!
=
p
1
d
1
p
2
d
2
p
3
d
3
.
.
.
p
i
d
k
∗
m
(
i
,
j
,
m
∈
N
) and for every
j
,
e
j
≤
d
j
and
m
is multiple of other prime factors of
n
!
also
(
n
+
1
)
!
=
p
1
d
1
p
2
d
2
p
3
d
3
.
.
.
p
i
d
k
∗
m
′
(
i
,
j
,
m
′
∈
N
) and for every
j
,
e
j
≤
d
j
and
m
′
is multiple of other prime factors of
(
n
+
1
)
!
so:
m a x ( g c d ( n ! + x , x ) )
= m a x ( g c d ( x ∗ m + x , x ) )
= m a x ( g c d ( x ∗ ( m + 1 ) , x ) )
= x
and same for ( n + 1 ) ! :
m a x ( g c d ( ( n + 1 ) ! + x , x ) ) = x
then finally:
m a x ( g c d ( n ! + x , ( n + 1 ) ! + x ) ) = x
i used http://www.wolframalpha.com/ for calculations
Log in to reply
This is probably true for many x , but definitely not for all: if x = 8 , then g . c . d . can be as large as 3 2 (for n = 4 ). It would be very interesting (but possibly very hard) to figure out all x for which it is true.
Very nice!
The solution had to be edited a bit for LaTeX. For the future: the command for { is \ { (and similar for } ). The difference of sets is \ setminus or \ backslash.
May I ask if there is any way I could possible simplify my solution? It just seems too long if it would be written by hand...
We can see that for the starting terms of the sequence, the gcd of two adjacent integers is 2,4 etc. We can infer that the maximum value of gcd must occur in the higher terms of the sequence.
1 0 ! and all other factorials after that contain a minimum of two zeroes at the end. Because 1 0 ! contains the product : 1 0 X 5 X 2 and so do all the higher factorials. Now, when you add 100 to a factorial containing a minimum of two zeroes, the result contains exactly two zeroes.
For example, 4 0 5 0 0 0 0 0 + 1 0 0 = 4 0 5 0 0 1 0 0
And so, you can check for numbers containing any number of zeroes. Now, it is clear that the later terms of the sequence will have only two zeroes at their end. So, the Greatest common divisor of two numbers ending with 2 zeroes only is 100 .
This is an intuitively reasonable argument, but it is not rigorous. In particular, it is not justified or even rigorously stated that the maximum gcd is in the higher terms. It is also not proven that the gcd does not contain extra factors, like 3 or 257...
Log in to reply
Ya, you're right. I missed a few points. But it is intuitive that the highest g.c.d will occur after the 10th term. Because it is the first term to contain two zeroes, and so the g.c.d of any two terms after the 10th term will be a minimum of 100. This is not the case for the first 9 terms.
Problem Loading...
Note Loading...
Set Loading...
We first evaluate a n and a n + 1 . a n = n ! + 1 0 0 , and a n + 1 = ( n + 1 ) ! + 1 0 0
g c d ( a n , a n + 1 ) = g c d ( n ! + 1 0 0 , ( n + 1 ) ! + 1 0 0 ) = g c d ( n ! + 1 0 0 , ( ( n + 1 ) ! + 1 0 0 ) − ( n + 1 ) ( n ! + 1 0 0 ) ) = g c d ( n ! + 1 0 0 , − 1 0 0 n ) = g c d ( n ! + 1 0 0 , 1 0 0 n ) .
Lemma 1 : g c d ( n ! + 1 0 0 , 1 0 0 n ) is not divisible by any other prime aside from 2 and 5 .
Suppose that 1 0 0 n is divisible by any prime other than 2 and 5 . That implies that n is divisible by that prime, because 1 0 0 would be relatively prime to that prime. Thus n ! would also be divisible by that prime, and n ! + 1 0 0 would not be divisible by it.
Hence it is not possible for both n ! + 1 0 0 and 1 0 0 n to be divisible by a prime other than 2 or 5 .
Lemma 2 : g c d ( n ! + 1 0 0 , 1 0 0 n ) is not divisible by 2 3 = 8 .
We first consider n ∈ 1 , 2 , 3 , 4 , 5 .
If n ∈ 1 , 3 , 5 , then 1 0 0 n will not be divisible by 8 , because the highest power of 2 divisible by 1 0 0 n will be 4 .
If n = 2 , then n ! + 1 0 0 = 2 + 1 0 0 = 1 0 2 , which is not divisible by 8 .
If n = 4 , then n ! + 1 0 0 = 2 4 + 1 0 0 = 1 2 4 , which is not divisible by 8 .
Now consider the cases where n ≥ 6 .
Then n ! will be divisible by 8 . However, 1 0 0 is not, so n ! + 1 0 0 will not be divisible by 8 .
n ! + 1 0 0 and 1 0 0 n could not be both divisible by 8 .
Thus for all n , g c d ( n ! + 1 0 0 , 1 0 0 n ) is not divisible by 8 .
Lemma 3 : g c d ( n ! + 1 0 0 , 1 0 0 n ) is not divisible by 5 3 = 1 2 5
We first consider n ∈ { 1 , 2 , . . . , 1 4 } ∖ { 5 , 1 0 } , 1 0 0 n is not divisible by 1 2 5 , because the highest power of 5 divisible by 1 0 0 n will be 2 5 .
If n = 5 , then 5 ! + 1 0 0 = 1 2 0 + 1 0 0 = 2 2 0 , which is not divisible by 1 2 5 .
If n = 1 0 , then 1 0 ! + 1 0 0 = 3 6 2 8 8 0 0 + 1 0 0 = 3 6 2 9 9 0 0 , which is not divisible by 1 2 5 .
If n ≥ 1 5 , then n ! will be divisible by 1 2 5 . However, 1 0 0 is not, so n ! + 1 0 0 will not be divisible by 1 2 5 .
n ! + 1 0 0 and 1 0 0 n could not be both divisible by 1 2 5 .
Thus for all n , g c d ( n ! + 1 0 0 , 1 0 0 n ) is not divisible by 1 2 5 .
Hence the maximum possible GCD is 2 2 ⋅ 5 2 = 1 0 0 .
We would show that this is achievable.
If we let n = 1 0 , then a n = 1 0 ! + 1 0 0 , which is divisible by 1 0 0 as both 1 0 ! and 1 0 0 are divisible by 1 0 0 . Also, a n + 1 = 1 1 ! + 1 0 0 , which is also divisible by 1 0 0 as both 1 1 ! and 1 0 0 are divisible by 1 0 0
Hence g c d ( a n , a n + 1 ) is divisible by 1 0 0 .
Thus, the maximum possible value of g c d ( a n , a n + 1 ) is 1 0 0 .