Find the number of ordered pairs of integers ( x , y ) such that x − 1 x 7 − 1 = y 5 − 1 .
Details and assumptions
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.
The step of "all primes in the factorization of y − 1 y 5 − 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 − 1 y 5 − 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.
Log in to reply
Uhh, sorry, sir, but doesn't it follow from the fact that y − 1 y 5 − 1 divides x − 1 x 7 − 1 combined with the lemma for p = 7 ?
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 − 1 x 7 − 1 as opposed to y − 1 y 5 − 1 .
What is ISL?
Log in to reply
IMO shortlist.
can you please explain case:2 more elaborately. how q/x^p-1 and succeeding steps
Log in to reply
For coprime integers a , n the order of a ( m o d n ) is defined as the smallest positive integer x such that a x ≡ 1 ( m o d n ) . It is easy to prove that if if a y ≡ 1 ( m o d n ) for any y , x ∣ y . For a quick proof, write y = q x + r where q , r ∈ Z + and r < x (division algorithm). Note that x r ≡ x q x x y ≡ 1 ( m o d n ) , so r must be zero otherwise the minimality of x would not hold.
In this case, I have shown that the order of x ( m o d q ) must be p . Since x q − 1 ≡ 1 ( m o d q ) by FLT, p must divide q − 1 .
I believe there's a minute error in your table. 6 5 ≡ 6 ( m o d 7 )
Can someone please explain to me (in simplest terms possible) what 'mod' means and what it is used for?
actually the same problem came in previous year's RMO.I know because i took it.
Problem Loading...
Note Loading...
Set Loading...
Lemma: If p , q are primes such that p ∣ x − 1 x q − 1 for some x ∈ Z , either p = q or p ≡ 1 ( m o d q ) depending on whether x ≡ 1 ( m o d p ) or x ≡ 1 ( m o d p ) .
Proof: Consider two cases.
Then, note that x − 1 x q − 1 = x q − 1 + x q − 2 + ⋯ + 1 ≡ q ( m o d p ) . Since x − 1 x q − 1 ≡ 0 ( m o d p ) , we have that p ∣ q ⟹ p = q .
Then, we have that q ∣ x p − 1 , implying the order of x ( m o d q ) divides p , i.e. is either 1 or p . However, it cannot be 1 since otherwise we would be back to the first case. By FLT, x q − 1 ≡ 1 ( m o d p ) , so p ≡ 1 ( m o d q ) .
In both cases, we're done. ■
Now, we make a quick table of fifth power residues modulo 7 . x 1 2 3 4 5 6 x 5 1 3 2 2 4 3 4 5 5 5 6 5 x 5 ( m o d 7 ) 1 4 5 ( − 3 ) 5 ≡ 2 ( − 2 ) 5 ≡ 3 ( − 1 ) 5 ≡ 6 By the lemma, y 5 − 1 ≡ 0 / 1 ( m o d 7 ) ⟹ y 5 ≡ 1 / 2 ( m o d 7 ) . By the table, we see that either y ≡ 1 ( m o d 7 ) or y ≡ 4 ( m o d 7 ) . However, these yield that y − 1 y 5 − 1 = y 4 + y 3 + ⋯ + 1 are congruent to 5 , 3 ( m o d 7 ) respectively, which is a contradiction since all primes in the factorization of y − 1 y 5 − 1 are either 0 or 1 ( m o d 7 ) (because y − 1 y 5 − 1 divides x − 1 x 7 − 1 and all primes in the factorization of the latter are either 0 or 1 ( m o d 7 ) ).
Hence, there are no solutions.
This problem is taken from ISL 2006 N5.