Wilson's Theorem: Solve 16!x congruent to 5 (mod 17)

  • Thread starter Thread starter ribbon
  • Start date Start date
  • Tags Tags
    Theorem
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 2K views
ribbon
Messages
38
Reaction score
0

Homework Statement


16!x is congruent to 5 (mod 17). Find x.


Homework Equations





The Attempt at a Solution


I am not sure if I have the answer correct, but I would like to know if I am following rules of modular arithmetic correctly.

According to Wilson's Theorem, (p-1)! + 1 is congruent to 0 mod(p) where p is prime.

So can I say for this problem since (17-1)! + 1 is congruent to 0 (modp) -> move the one to the other side of congruence to get 16! congruent to -1 (mod p) and multiply both sides of the congruence by -5, requiring x = -5?
 
Physics news on Phys.org
ribbon said:

Homework Statement


16!x is congruent to 5 (mod 17). Find x.


Homework Equations





The Attempt at a Solution


I am not sure if I have the answer correct, but I would like to know if I am following rules of modular arithmetic correctly.

According to Wilson's Theorem, (p-1)! + 1 is congruent to 0 mod(p) where p is prime.

So can I say for this problem since (17-1)! + 1 is congruent to 0 (modp) -> move the one to the other side of congruence to get 16! congruent to -1 (mod p) and multiply both sides of the congruence by -5, requiring x = -5?

Sure x=(-5) works. So does x=12. So does x=(-22). There are a lot of solutions. What do they all have in common?
 
Hmm, well I can see that they are all 17 apart (17 like the modulus), is there a more mathematical way to express or suggest that?
 
ribbon said:
Hmm, well I can see that they are all 17 apart (17 like the modulus), is there a more mathematical way to express or suggest that?

How about saying x=(-5) mod 17? Just saying x=(-5) isn't really telling the whole story. That's all.
 
  • Like
Likes   Reactions: 1 person
Oh I see... thanks very much. That indeed demonstrates there to be more than one possible solution for x.