Show that ## a^{12}\equiv 1\pmod {35} ##.

  • Thread starter Thread starter Math100
  • Start date Start date
Click For Summary
The proof demonstrates that if the greatest common divisor of a and 35 is 1, then a raised to the 12th power is congruent to 1 modulo 35. By applying Fermat's theorem, it establishes that a raised to the 6th power is congruent to 1 modulo 7, and a raised to the 4th power is congruent to 1 modulo 5. This leads to the conclusion that a raised to the 12th power is congruent to 1 modulo both 7 and 5. Since 7 and 5 are coprime, it follows that a raised to the 12th power is congruent to 1 modulo 35. The discussion concludes with an acknowledgment of the proof's validity across many numbers.
Math100
Messages
816
Reaction score
229
Homework Statement
If ## gcd(a, 35)=1 ##, show that ## a^{12}\equiv 1\pmod {35} ##.
[Hint: From Fermat's theorem ## a^{6}\equiv 1\pmod {7} ## and
## a^{4}\equiv 1\pmod {5} ##.]
Relevant Equations
None.
Proof:

Suppose ## gcd(a, 35)=1 ##.
Then ## gcd(a, 5)=gcd(a, 7)=1 ##.
Applying the Fermat's theorem produces:
## a^{6}\equiv 1\pmod {7} ## and ## a^{4}\equiv 1\pmod {5} ##.
Observe that
\begin{align*}
&a^{6}\equiv 1\pmod {7}\implies (a^{6})^{2}\equiv 1\pmod {7}\implies a^{12}\equiv 1\pmod {7}\\
&a^{4}\equiv 1\pmod {5}\implies (a^{4})^{3}\equiv 1\pmod {5}\implies a^{12}\equiv 1\pmod {5}.\\
\end{align*}
Thus ## 7\mid (a^{12}-1) ## and ## 5\mid (a^{12}-1) ##.
Since ## gcd(7, 5)=1 ##, it follows that ## 35\mid (a^{12}-1)\implies a^{12}\equiv 1\pmod {35} ##.
Therefore, if ## gcd(a, 35)=1 ##, then ## a^{12}\equiv 1\pmod {35} ##.
 
Physics news on Phys.org
I have nothing to say about it. It's simply fine.

I am surprised that this is true for so many numbers. But proof is proof.
 
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.