Is n4 - 1 divisible by 5 when n is not divisible by 5?

  • Thread starter Thread starter GP35
  • Start date Start date
  • Tags Tags
    Proof
AI Thread Summary
The discussion centers on proving that n^4 - 1 is divisible by 5 when n is not divisible by 5. Participants suggest using proof by cases, specifically considering values of n in the forms 5k + 1, 5k + 2, 5k + 3, and 5k + 4. Alternative forms like 5k - 2 and 5k - 1 are also proposed for simplification. The key insight is that the divisibility hinges on the expression m^4 being congruent to 1 modulo 5, which can be examined using the binomial theorem. This approach aims to clarify the conditions under which the original statement holds true.
GP35
Messages
1
Reaction score
0

Homework Statement



Show n4 - 1 is divisible by 5 when n is not divisible by 5.

Homework Equations


The Attempt at a Solution



My thought here is proof by cases, one case being where n is divisible by 5 and the other case saying n is not divisible by 5. I am just not totally sure how to implement this strategy.
 
Physics news on Phys.org
If you split your second case a bit more that will do fine.
 
If n is not divisible by 5, then it is of the form n= 5k+ 1, n= 5k+ 2, n= 5k+ 3, or n= 5k+ 4.

Or you can consider n= 5k- 2, n= 5k- 1, n= 5k+ 1, and n= 5k+ 2 if that makes the calculations simpler.
 
HallsofIvy said:
If n is not divisible by 5, then it is of the form n= 5k+ 1, n= 5k+ 2, n= 5k+ 3, or n= 5k+ 4.

Or you can consider n= 5k- 2, n= 5k- 1, n= 5k+ 1, and n= 5k+ 2 if that makes the calculations simpler.

If we would to spent a little more time to think through , we will realize that the determining factor will then lies in 5k \pm m such the m^{4}\equiv 1 (mod5) with application with binomial theorem.
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top