Prove that ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##?

  • Thread starter Thread starter Math100
  • Start date Start date
AI Thread Summary
For any integer a, it has been proven that a^4 is congruent to either 0 or 1 modulo 5. The proof utilizes the fact that integers can be expressed as congruent to 0, 1, 2, 3, or 4 modulo 5, leading to the conclusion that a^4 modulo 5 results in 0 or 1. Additionally, it is noted that if 5 does not divide a, then a^4 is congruent to 1 modulo 5. This discussion also raises a related question about the congruence of n^(p-1) modulo p when p is prime and does not divide n. The findings confirm the original assertion regarding the behavior of a^4 under modulo 5 conditions.
Math100
Messages
816
Reaction score
229
Homework Statement
Prove the assertion below:
For any integer ## a ##, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Relevant Equations
None.
Proof:

Let ## a ## be any integer.
Then ## a\equiv 0, 1, 2, 3 ## or ## 4\pmod {5} ##.
Note that ## a\equiv b\pmod {n}\implies a^{4}\equiv b^{4}\pmod {n} ##.
This means ## a^{4}\equiv 0, 1, 16, 81 ## or ## 256\pmod {5}\implies a^{4}\equiv 0, 1, 1, 1 ## or ## 1\pmod {5} ##.
Thus ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Therefore, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ## for any integer ## a ##.
 
  • Like
Likes Delta2 and fresh_42
Physics news on Phys.org
Math100 said:
Homework Statement:: Prove the assertion below:
For any integer ## a ##, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Relevant Equations:: None.

Proof:

Let ## a ## be any integer.
Then ## a\equiv 0, 1, 2, 3 ## or ## 4\pmod {5} ##.
Note that ## a\equiv b\pmod {n}\implies a^{4}\equiv b^{4}\pmod {n} ##.
This means ## a^{4}\equiv 0, 1, 16, 81 ## or ## 256\pmod {5}\implies a^{4}\equiv 0, 1, 1, 1 ## or ## 1\pmod {5} ##.
Thus ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Therefore, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ## for any integer ## a ##.
You have shown even more: ##a^4\equiv 1 \pmod 5## whenever ##5\nmid a.##
 
fresh_42 said:
You have shown even more: ##a^4\equiv 1 \pmod 5## whenever ##5\nmid a.##
… which directly brings us to the following question that the OP might want to attempt to answer:

If p is prime and ##p \nmid n##, does ##n^{p-1} \equiv 1 \pmod p##?
 
Last edited:
The working out suggests first equating ## \sqrt{i} = x + iy ## and suggests that squaring and equating real and imaginary parts of both sides results in ## \sqrt{i} = \pm (1+i)/ \sqrt{2} ## Squaring both sides results in: $$ i = (x + iy)^2 $$ $$ i = x^2 + 2ixy -y^2 $$ equating real parts gives $$ x^2 - y^2 = 0 $$ $$ (x+y)(x-y) = 0 $$ $$ x = \pm y $$ equating imaginary parts gives: $$ i = 2ixy $$ $$ 2xy = 1 $$ I'm not really sure how to proceed from here.
Back
Top