Prove that ## a^{3}+1 ## is divisible by ## 7 ##.

  • Thread starter Thread starter Math100
  • Start date Start date
AI Thread Summary
The discussion presents a proof that \( a^3 + 1 \) is divisible by 7 under the condition that \( 7 \nmid a \). Using Fermat's theorem, it is established that \( a^6 \equiv 1 \pmod{7} \), leading to the conclusion that \( 7 \mid (a^6 - 1) \). The expression \( a^6 - 1 \) can be factored into \( (a^3 - 1)(a^3 + 1) \), indicating that if \( 7 \nmid (a^3 - 1) \), then \( 7 \mid (a^3 + 1) \). The proof highlights the properties of prime numbers, reinforcing that if a prime divides a product, it must divide at least one of the factors. Thus, the argument confirms that either \( a^3 + 1 \) or \( a^3 - 1 \) is divisible by 7 when \( 7 \nmid a \).
Math100
Messages
813
Reaction score
229
Homework Statement
If ## 7\nmid a ##, prove that either ## a^{3}+1 ## or ## a^{3}-1 ## is divisible by ## 7 ##.
Relevant Equations
None.
Proof:

Suppose ## 7\nmid a ##.
Applying the Fermat's theorem produces:
## a^{7-1}\equiv 1\pmod {7}\implies a^{6}\equiv 1\pmod {7} ##.
This means ## 7\mid (a^{6}-1) ##.
Observe that ## a^{6}-1=(a^{3}-1)(a^{3}+1) ##.
Thus ## 7\nmid (a^{3}-1)\implies 7\mid (a^{3}+1) ## and ## 7\nmid (a^{3}+1)\implies 7\mid (a^{3}-1) ##.
Therefore, if ## 7\nmid a ##, then either ## a^{3}+1 ## or ## a^{3}-1 ## is divisible by ## 7 ##.
 
Physics news on Phys.org
Correct.

You basically use that ##7## is a prime number. That means, ##7\neq \pm1## and if ##7\,|\,a\cdot b \Longrightarrow 7\,|\,a \text{ or } 7\,|\,b.## This is the correct definition of a prime number.
 
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
Essentially I just have this problem that I'm stuck on, on a sheet about complex numbers: Show that, for ##|r|<1,## $$1+r\cos(x)+r^2\cos(2x)+r^3\cos(3x)...=\frac{1-r\cos(x)}{1-2r\cos(x)+r^2}$$ My first thought was to express it as a geometric series, where the real part of the sum of the series would be the series you see above: $$1+re^{ix}+r^2e^{2ix}+r^3e^{3ix}...$$ The sum of this series is just: $$\frac{(re^{ix})^n-1}{re^{ix} - 1}$$ I'm having some trouble trying to figure out what to...
Back
Top