A number theory problem by Áron Bán-Szabó

( x + y ) ( x + z ) ( y + z ) = 201 7 n (x+y)(x+z)(y+z) = 2017^n

What is the minimum value of n n such that there exist positive integers x , y , x,y, and z z satisfying the equation above?

1 2 3 This is not possible

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.

8 solutions

There will be two numbers from x x , y y and z z which are both even or both odd ( Pigeonhole Principle ). Let x x and y y be these numbers. Then ( x + y ) (x+y) is an even number, so ( x + y ) ( x + z ) ( y + z ) (x+y)*(x+z)*(y+z) has to be even, but 201 7 n 2017^n will never be an even number. So it is not possible.

Nice problem buddy! It took me some time to check for the parity and I love problems that involve 2017

Sathvik Acharya - 4 years ago

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.

Richard Desper - 3 years, 12 months ago

Very nice approach using Pigeonhole Principle

Philip Lee - 3 years, 12 months ago

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...

Divyanshu Bansal - 3 years, 12 months ago

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.

Driesch De Noronha - 3 years, 11 months ago
Archit Wagle
Jun 11, 2017
  • Since 2017 2017 is a prime,
  • x + y = 201 7 i x + y = 2017^i

  • y + z = 201 7 j y + z = 2017^j

  • z + x = 201 7 k z + x = 2017^k

  • Solving above equations,
  • x = 201 7 i + 201 7 k 201 7 j 2 x = \frac{2017^i + 2017^k - 2017^j}{2}
  • Since 201 7 i + 201 7 k 201 7 j 2017^i + 2017^k - 2017^j is not even, x is not an integer.

Nice! I didn't notice that the importance of "2017 being prime".

Pi Han Goh - 3 years, 11 months ago
Arjen Vreugdenhil
Jun 12, 2017

2017 is a prime number. Therefore all factors of 201 7 n 2017^n are powers of 2017 and therefore odd. Now 2 x = ( x + y ) + ( x + z ) ( y + z ) = 201 7 a + 201 7 b 201 7 c 2x = (x+y) + (x+z) - (y+z) = 2017^a + 2017^b - 2017^c is odd, so x x cannot be an integer.

Yosuke Tanabe
Jun 13, 2017

( x + y ) + ( y + z ) + ( z + x ) = 2 ( x + y + z ) , ( x + y ) + ( y + z ) + ( z + x ) = 2( x + y + z ), and this implies that one or all of ( x + y ) , ( y + z ) , ( x + y ), ( y + z ), and ( z + x ) ( z + x ) must be even. ( x + y ) ( y + z ) ( z + x ) ( x + y )( y + z )( z + x ) is even, but 201 7 n 2017^n is odd, which gives the answer that this is not possible.

Ah, parities. This is the cleanest solution presented here.

Pi Han Goh - 3 years, 11 months ago

Correct, very simple and understandable solution.

Skanda Prasad - 3 years, 11 months ago
Allen Wang
Jun 12, 2017

Assume for the sake of contradiction, there exists a minimal solution ( x 0 , y 0 , z 0 ) (x_0,y_0,z_0) of positive integers that satisfy this equation. Since 2017 2017 is prime, it must divide every factor on the left hand side, that is x + y x + z y + z 0 x+y\equiv x+z\equiv y+z\equiv 0 modulo 2017 2017 . Moreover, this equation implies that x y , y z , x-y, y-z, and z x z-x are multiplies of 2017 2017 . The last two equations imply that 2017 2017 divides each of x , y , z x,y,z , so a smaller solution ( x , y , z ) = 1 2017 ( x , y , z ) (x',y',z')=\frac{1}{2017}(x,y,z) satisfies the original problem's equation (since x , y , z 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?

Allen Wang - 3 years, 12 months ago

Log in to reply

Oh I didn't expect an infinite descent solution for a question like this. +1

Pi Han Goh - 3 years, 11 months ago
Ashley Chraya
Jun 11, 2017

As 2017 is prime no. Ergo, there can't be any solution to it.

Not so fast! What if x + y x+y , x + z x+z , and y + z y+z are all m u l t i p l e s {\cancel{multiples}} 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 x, y, z .

Mourits de Beer - 3 years, 12 months ago

Log in to reply

not multiples, but powers, otherwise, correct :)

Laszlo Kocsis - 3 years, 12 months ago
Kasia Goclowski
Jun 15, 2017

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.

Eric Belrose
Jun 14, 2017

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.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...