( x + y ) ( x + z ) ( y + z ) = 2 0 1 7 n
What is the minimum value of n such that there exist positive integers x , y , and z satisfying the equation above?
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 problem buddy! It took me some time to check for the parity and I love problems that involve 2017
A better solution than the others because it also would apply if instead of 2017^n the number on the right was 2015^n or, indeed, any power of an odd number.
Very nice approach using Pigeonhole Principle
7 has power cycle --> 7 --> 9-->3-->1 and then it repeats
7=7
7x7=49
7x7x7=343
7x7x7x7=2401
7x7x7x7x7=16807 and so on...
It is not defined anywhere in the question that n has to be an integer. We cannot assume that 2017^n will never be even unless it is stated that n is an integer.
x + y = 2 0 1 7 i
y + z = 2 0 1 7 j
z + x = 2 0 1 7 k
Nice! I didn't notice that the importance of "2017 being prime".
2017 is a prime number. Therefore all factors of 2 0 1 7 n are powers of 2017 and therefore odd. Now 2 x = ( x + y ) + ( x + z ) − ( y + z ) = 2 0 1 7 a + 2 0 1 7 b − 2 0 1 7 c is odd, so x cannot be an integer.
( x + y ) + ( y + z ) + ( z + x ) = 2 ( x + y + z ) , and this implies that one or all of ( x + y ) , ( y + z ) , and ( z + x ) must be even. ( x + y ) ( y + z ) ( z + x ) is even, but 2 0 1 7 n is odd, which gives the answer that this is not possible.
Ah, parities. This is the cleanest solution presented here.
Correct, very simple and understandable solution.
Assume for the sake of contradiction, there exists a minimal solution ( x 0 , y 0 , z 0 ) of positive integers that satisfy this equation. Since 2 0 1 7 is prime, it must divide every factor on the left hand side, that is x + y ≡ x + z ≡ y + z ≡ 0 modulo 2 0 1 7 . Moreover, this equation implies that x − y , y − z , and z − x are multiplies of 2 0 1 7 . The last two equations imply that 2 0 1 7 divides each of x , y , z , so a smaller solution ( x ′ , y ′ , z ′ ) = 2 0 1 7 1 ( x , y , z ) satisfies the original problem's equation (since x , y , z are positive), thus contradicting minimality.
By infinite descent, there is no solution to this equation.
how do you make latex work here?
Log in to reply
Oh I didn't expect an infinite descent solution for a question like this. +1
As 2017 is prime no. Ergo, there can't be any solution to it.
Not so fast! What if x + y , x + z , and y + z are all m u l t i p l e s powers of 2017?
You must take the extra step (as @archit wagle above) to show that this cannot be possible for integer x , y , z .
Log in to reply
not multiples, but powers, otherwise, correct :)
2017 is prime. Therefore, if three numbers multiply together to give some power of 2017, n is greater than or equal to 3, so that rules out n = 1 and n = 2 as possibilities. If you try n = 3, there are a few systems of linear equations to test out:
x + y = 2017 and y + z = 2017 and x + z = 2017
OR
x + y = 2017 ^ 2 and y + z = 2017 and y + z = 1
OR
x + y = 2017^3 and x + z = 1 and x + z = 1
And all of them yield non-integer answers for x, y, and z. Thus the problem is not possible.
The sum of two integers is an integer. Therefore x + y, x + z, y + z will be three integers.
Since 2017 < 2700 (30 * 30 * 30) we really need only test numbers below 30 but prime factorization of 2017 below 30 is:
2, 3, 5, 7, 11, 13, 17, 19, 23, 29
The numbers which make up the three numbers will either be prime or made of primes below 30.
I'm not sure how to express this logic or prove it, but that was how I solved it, without fully proving it is prime. There cannot be three numbers if it is prime.
Problem Loading...
Note Loading...
Set Loading...
There will be two numbers from x , y and z which are both even or both odd ( Pigeonhole Principle ). Let x and y be these numbers. Then ( x + y ) is an even number, so ( x + y ) ∗ ( x + z ) ∗ ( y + z ) has to be even, but 2 0 1 7 n will never be an even number. So it is not possible.