How Many Integers?

Find the number of ordered pairs of integers ( x , y ) (x,y) such that x 7 1 x 1 = y 5 1. \dfrac{x^7-1}{x-1} = y^5-1.

Details and assumptions

  • This problem is not original.


The answer is 0.

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.

1 solution

Lemma: If p , q p,q are primes such that p x q 1 x 1 p \mid \dfrac{x^q-1}{x-1} for some x Z , x \in \mathbb{Z}, either p = q p=q or p 1 ( m o d q ) p \equiv 1 \pmod{q} depending on whether x 1 ( m o d p ) x \equiv 1 \pmod{p} or x ≢ 1 ( m o d p ) . x \not \equiv 1 \pmod{p}.

Proof: Consider two cases.

  • Case 1: x 1 ( m o d p ) x \equiv 1 \pmod{p}

Then, note that x q 1 x 1 = x q 1 + x q 2 + + 1 q ( m o d p ) . \dfrac{x^q-1}{x-1} = x^{q-1} + x^{q-2} + \cdots + 1 \equiv q \pmod{p}. Since x q 1 x 1 0 ( m o d p ) , \dfrac{x^q-1}{x-1} \equiv 0 \pmod{p}, we have that p q p = q . p \mid q \implies p=q.

  • Case 2: x ≢ 1 ( m o d p ) x \not \equiv 1 \pmod{p}

Then, we have that q x p 1 , q \mid x^p - 1, implying the order of x ( m o d q ) x \pmod{q} divides p , p, i.e. is either 1 1 or p . p. However, it cannot be 1 1 since otherwise we would be back to the first case. By FLT, x q 1 1 ( m o d p ) , x^{q-1} \equiv 1 \pmod{p}, so p 1 ( m o d q ) . p \equiv 1 \pmod{q}.

In both cases, we're done. \blacksquare


Now, we make a quick table of fifth power residues modulo 7. 7. x x 5 x 5 ( m o d 7 ) 1 1 1 2 32 4 3 243 5 4 4 5 ( 3 ) 5 2 5 5 5 ( 2 ) 5 3 6 6 5 ( 1 ) 5 6 \begin{array}{c|c|c} x & x^5 & x^5 \pmod{7} \\ \hline 1 & 1 & 1 \\ \hline 2 & 32 & 4 \\ \hline 3 & 243 & 5 \\ \hline 4 & 4^5 & (-3)^5 \equiv 2 \\ \hline 5 & 5^5 & (-2)^5 \equiv 3 \\ \hline 6 & 6^5 & (-1)^5 \equiv 6 \end{array} By the lemma, y 5 1 0 / 1 ( m o d 7 ) y 5 1 / 2 ( m o d 7 ) . y^5-1 \equiv 0 / 1 \pmod{7} \implies y^5 \equiv 1 / 2 \pmod{7}. By the table, we see that either y 1 ( m o d 7 ) y \equiv 1 \pmod{7} or y 4 ( m o d 7 ) . y \equiv 4 \pmod{7}. However, these yield that y 5 1 y 1 = y 4 + y 3 + + 1 \dfrac{y^5-1}{y-1} = y^4 + y^3 + \cdots + 1 are congruent to 5 , 3 ( m o d 7 ) 5,3 \pmod{7} respectively, which is a contradiction since all primes in the factorization of y 5 1 y 1 \dfrac{y^5-1}{y-1} are either 0 0 or 1 ( m o d 7 ) 1 \pmod{7} (because y 5 1 y 1 \dfrac{y^5-1}{y-1} divides x 7 1 x 1 \dfrac{x^7-1}{x-1} and all primes in the factorization of the latter are either 0 0 or 1 ( m o d 7 ) 1 \pmod{7} ).

Hence, there are no solutions.


This problem is taken from ISL 2006 N5.

The step of "all primes in the factorization of y 5 1 y 1 \frac{ y^5 -1}{y-1} are either 0 or 1 mod 7" needs a slight explanation.

If one were to apply the lemma, the conclusion is that "all primes in the factorization of y 5 1 y 1 \frac{ y^5 -1}{y-1} are either 0 or 1 mod 5" instead.

This is a crucial step in the proof, and it's not immediately obvious why one should think of this.

Calvin Lin Staff - 6 years, 11 months ago

Log in to reply

Uhh, sorry, sir, but doesn't it follow from the fact that y 5 1 y 1 \dfrac{y^5-1}{y-1} divides x 7 1 x 1 \dfrac{x^7-1}{x-1} combined with the lemma for p = 7 p=7 ?

Sreejato Bhattacharya - 6 years, 11 months ago

Log in to reply

Yes it does, and that needs to be stated. For clarity, you need to mention that you are applying the lemma to x 7 1 x 1 \frac{ x^7-1}{x-1} as opposed to y 5 1 y 1 \frac{ y^5 - 1 } { y-1} .

Calvin Lin Staff - 6 years, 11 months ago

What is ISL?

Jayakumar Krishnan - 6 years, 11 months ago

Log in to reply

IMO shortlist.

Sreejato Bhattacharya - 6 years, 11 months ago

Log in to reply

Thanks :)...

Jayakumar Krishnan - 6 years, 11 months ago

can you please explain case:2 more elaborately. how q/x^p-1 and succeeding steps

Krishna Vittal - 6 years, 11 months ago

Log in to reply

For coprime integers a , n a,n the order of a ( m o d n ) a \pmod{n} is defined as the smallest positive integer x x such that a x 1 ( m o d n ) . a^x \equiv 1 \pmod{n}. It is easy to prove that if if a y 1 ( m o d n ) a^y \equiv 1 \pmod{n} for any y , y, x y . x \mid y. For a quick proof, write y = q x + r y = qx+r where q , r Z + q,r \in \mathbb{Z}^+ and r < x r<x (division algorithm). Note that x r x y x q x 1 ( m o d n ) , x^r \equiv \dfrac{x^y}{x^{qx}} \equiv 1 \pmod{n}, so r r must be zero otherwise the minimality of x x would not hold.

In this case, I have shown that the order of x ( m o d q ) x \pmod{q} must be p . p. Since x q 1 1 ( m o d q ) x^{q-1} \equiv 1 \pmod{q} by FLT, p p must divide q 1. q-1.

Sreejato Bhattacharya - 6 years, 11 months ago

I believe there's a minute error in your table. 6 5 6 ( m o d 7 ) 6^5 \equiv 6 \pmod 7

Bob Krueger - 6 years, 11 months ago

Can someone please explain to me (in simplest terms possible) what 'mod' means and what it is used for?

David Bass - 6 years, 11 months ago

Log in to reply

a = b (mod c)-----------------> c divides (a-b)

math man - 6 years, 6 months ago

actually the same problem came in previous year's RMO.I know because i took it.

Adarsh Kumar - 6 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...