Did Russians uplift indexes?

Find the sum of all positive integers n for which there exist positive integers x,y and k such that g c d ( x , y ) = 1 , k > 1 gcd(x,y)=1,k>1 and 3 n = x k + y k 3^n=x^k+y^k

(Russia 1996)


The answer is 2.

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.

2 solutions

Jubayer Nirjhor
Jul 27, 2014

Note that if k k is even then we have 3 n 3^n as sum of squares. Bashing through quadratic residues modulo 3 3 then tells us that both x x and y y must be multiples of 3 3 , contradicting gcd ( x , y ) = 1 \gcd(x,y)=1 .

Now suppose k k is odd. Then x + y x k + y k x+y\mid x^k+y^k . By Zsigmondy's theorem x k + y k x^k+y^k contains at least one prime factor that doesn't divide x + y x+y . That means x k + y k x^k+y^k has at least 2 2 prime factors, contradicting the fact that it's a prime power.

However, note that Zsigmondy's theorem has an exception 2 3 + 1 3 2^3+1^3 . We substitute x = 2 , y = 1 , k = 3 x=2, y=1,k=3 then solving gives n = 2 n=2 , a positive integer. Hence n = 2 n=\fbox{2} is the only solution.

Even if a a and b b are not co-prime, 3 n 3^n can not be equal to a 2 + b 2 a^2+b^2 if both a a and b b are positive.

Mursalin Habib - 6 years, 10 months ago

Log in to reply

Infinite descent?

Jubayer Nirjhor - 6 years, 10 months ago

Log in to reply

A number can be the sum of two positive squares if and only if it has at least one 4 k + 1 4k+1 -form prime factor and all the other 4 k + 3 4k+3 -form prime factors have even powers.

Mursalin Habib - 6 years, 10 months ago

Log in to reply

@Mursalin Habib (y) Also setting a = 3 a 1 , b = 3 b 1 a=3a_1, ~b=3b_1 leads to infinite descent.

Jubayer Nirjhor - 6 years, 10 months ago

Log in to reply

@Jubayer Nirjhor Works for any 4 k + 3 4k+3 -form prime. I was going for a more general statement.

Mursalin Habib - 6 years, 10 months ago

Log in to reply

@Mursalin Habib It follows immediately from FLT

Bogdan Simeonov - 6 years, 10 months ago
Mursalin Habib
Jul 27, 2014

Simple if you know the following facts.

Fact 1 1 ) Zsigmondy's theorem

Fact 2 2 ) A positive integral power of 3 3 can not be the sum of squares of two positive integers.

Because of fact 2 2 , we can get rid of all even k k 's.

Because of fact 1 1 , we cam get rid of all odd k k 's with the exception of 2 3 + 1 3 2^3+1^3 which turns out to be a power of 3 3 .

So, 3 2 = 2 3 + 1 3 3^2=2^3+1^3 is the only possible answer and the sum of all n n is just 2 \boxed{2} .

There's some typo in your fact 2 since 9 = 1 + 8 = 2 + 7 = 9=1+8=2+7=\cdots .

mathh mathh - 6 years, 10 months ago

Log in to reply

Thanks for pointing that out!

Mursalin Habib - 6 years, 10 months ago

Zeigmondy's theorem ???

Rahul Jain - 6 years, 10 months ago

Zsigmondy has a difficult proof.This problem is also solvable using lifting the exponent lemma.

Rahul Saha - 6 years, 10 months ago

Log in to reply

But Zsigmondy's is a really good olympiad gem. A lot of formidable looking NT problems get trivial when you use it. And who said anything about proving it?

Mursalin Habib - 6 years, 10 months ago

Log in to reply

Of course,Zsigmondy can "explode" difficult problems sometimes.Knowing the proofs of every theorem that one uses isn't necessary,but a lot of people haven't probably read the elementary proof of Zsigmondy and so I thought mentioning the LTE approach might help some people.

Rahul Saha - 6 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...