Greedy Calvinosaurus Dinosaur is threatening to gobble you up, unless you can tell him what is the largest possible value of g cd ( 1 2 2 + n 2 , 1 2 2 + ( n + 1 ) 2 ) , as n ranges over all positive integers.
Quick, to save your life, what is the answer?
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.
Nice solution, with a little misprint at the very end: instead of "when n is a multiple of 489" you most probably meant "when 2n+1 is a multiple of 489".
Brilliant.
I think in the 5th line from the bottom you meant 'multiplying 244 - n with two will not change the gcd'.
Awesome!!!Mind blowing
We let d n be the greatest common divisor of 1 2 2 + n 2 and 1 2 2 + ( n + 1 ) 2 .
By Euclidean Algorithm that d n is equal to ( 1 2 2 + ( n + 1 ) 2 ) − ( 1 2 2 + n 2 ) = 2 n + 1 . d n is a factor of ( 2 n + 1 ) 2 = 4 n 2 + 4 n + 1 . Note that it is also a factor of 4 ( 1 2 2 + n 2 ) = 4 8 8 + 4 n 2 . Hence it is a factor of their difference, which is 4 n − 4 8 7 . Also, d n divides 2 ( 2 n + 1 ) = 4 n + 2 . Since it divides 4 n − 4 8 7 and 4 n + 2 , it must divide their difference, which is 4 8 9 .
Now, we would show that 4 8 9 is achievable.
We take n = 2 4 4 . 1 2 2 + 2 4 4 2 = 1 2 2 ( 1 + 2 ( 2 4 4 ) ) = 1 2 2 ( 4 8 9 ) , and 2 ( 2 4 4 ) + 1 = 4 8 9 , which is the difference of 1 2 2 + 2 4 4 2 and 1 2 2 + 2 4 5 2 .
Hence 4 8 9 is achievable, and the answer is 4 8 9 .
Nice job!
We will define [a,b] as the gcd of the numbers a,b for convenience. Using the Euclidean Algorithm, it is clear that [ 1 2 2 + n 2 , 1 2 2 + n 2 + 2 n + 1 ] = [ 1 2 2 + n 2 , 2 n + 1 ] . However, 2 n + 1 will never be a multiple of 4, so we can multiply the expression 1 2 2 + n 2 , as it won't affect the gcd. Hence, we get [ n 2 + 1 2 2 , 2 n + 1 ] = [ 4 n 2 + 4 8 8 , 2 n + 1 ] Dividing the latter expression from the first we get 2 n − 1 + 2 n + 1 4 8 9 . This means that when subtracting (hint, hint, euclidean algorithm) the second expression from the first expression 2 n − 1 times, an integer, we have a remainder of 489. Hence this is the equivalence of euclidean algorithm, so we now have that [ 1 2 2 + n 2 , 1 2 2 + ( n + 1 ) 2 ] = [ 2 n + 1 , 4 8 9 ] . The prime factorization of 489 is 3 ⋅ 1 6 3 , so if 2 n + 1 < 4 8 9 either 2 n + 1 = 1 , 3 , 1 6 3 , 4 8 9 . Of course we wish to maximize the gcd of both of these expressions/numbers, and if n = 2 4 4 , the gcd could be 489. Obviously, if 2 n + 1 > 4 8 9 , then we would maximize it's gcd if the gcd was 489, and this occurs for n = 4 8 9 k + 2 4 4 , for positive integers k . Hence, our gcd is 4 8 9 .
Nice job!
We know that, ( a , b ) = ( a ± b )
so, ( 1 2 2 + n 2 , 1 2 2 + ( n + 1 ) ) 2 ) = ( 1 2 2 + n 2 , 1 2 2 + ( n + 1 ) 2 − 1 2 2 + n 2 ) = ( 1 2 2 + n 2 , 1 + 2 n )
Note that 1+2n can never be even. so we can multiply 2 in its complementry term without affecting their GCD.
= 2 ∗ ( 1 2 2 + n 2 , 1 + 2 n ) = ( 1 2 2 + n 2 − n ( 1 + 2 n ) , 1 + 2 n ) = ( 2 4 4 − n , 1 + 2 n ) = ( 2 ∗ ( 2 4 4 − n ) , 1 + 2 n ) = ( 4 8 8 − 2 n + 1 + 2 n , 1 + 2 n ) = ( 4 8 9 , 1 + 2 n )
So the req. GCD must divide 489 and 2n+1 and so higesht such GCD would be 489.
Yes, you proved that GCD cannot exceed 4 8 9 . To finish the problem, you must also find n for which it is 4 8 9 .
We will make use of the following known result: If a , b , q , and r are integers with a = b q + r then g cd ( a , b ) = g cd ( b , r ) .
In our problem, we have 1 2 2 + ( n + 1 ) 2 = ( 1 2 2 + n 2 ) + ( 2 n + 1 ) and 4 ( 1 2 2 + n 2 ) = ( 2 n − 1 ) ( 2 n + 1 ) + 4 8 9 . Therefore we have g cd ( 1 2 2 + ( n + 1 ) 2 , 1 2 2 + n 2 ) = g cd ( 1 2 2 + n 2 , 2 n + 1 ) and g cd ( 4 ( 1 2 2 + n 2 ) , 2 n + 1 ) = g cd ( 2 n + 1 , 4 8 9 ) . Since 2 n + 1 is odd, it follows that g cd ( 4 ( 1 2 2 + n 2 ) , 2 n + 1 ) = g cd ( 1 2 2 + n 2 , 2 n + 1 ) . Hence g cd ( 1 2 2 + ( n + 1 ) 2 , 1 2 2 + n 2 ) = g cd ( 2 n + 1 , 4 8 9 ) , the greatest value of which is 4 8 9 when 2 n + 1 = 4 8 9 or when n = 2 4 4 .
Problem Loading...
Note Loading...
Set Loading...
g cd ( 1 2 2 + n 2 , 1 2 2 + ( n + 1 ) 2 )
= g cd ( 1 2 2 + n 2 , 2 n + 1 )
Since 2n + 1 is odd, multiplying 1 2 2 + n 2 with 2 will not change the gcd.
= g cd ( 2 4 4 + 2 n 2 , 2 n + 1 )
Dividing 2 4 4 + 2 n 2 by 2 n + 1
= g cd ( 2 4 4 − n , 2 n + 1 )
Again, since 2 n + 1 is odd, multiplying 2n + 1 with 2 will not affect the gcd.
= g cd ( 4 8 8 − 2 n , 2 n + 1 )
Dividing 488 - 2n by 2n+1
= g cd ( 4 8 9 , 2 n + 1 )
Therefore largest value of gcd will be 489, when n is a multiple of 489