Proving Divisibility Using Fermat's Theorem

Click For Summary

Homework Help Overview

The discussion revolves around proving that \(2^{15} - 2^{3}\) divides \(a^{15} - a^{3}\) for any integer \(a\). The problem involves concepts from number theory, particularly Fermat's theorem and Euler's theorem, as participants explore the divisibility of the expression by the factors of \(4080\).

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss using Euler's theorem to show divisibility for the prime factors \(5\), \(7\), and the composite numbers \(8\) and \(9\). There is a focus on the need to establish the greatest common divisor conditions for \(8\) and \(9\) to apply the theorem correctly. Questions arise about the validity of the approach and the implications of \(gcd(a^{15} - a^{3}, 8) = 1\) and \(gcd(a^{15} - a^{3}, 9) = 1\).

Discussion Status

The discussion is active, with participants providing insights into the application of theorems and questioning the assumptions necessary for their validity. Some participants suggest alternative methods for demonstrating divisibility, particularly for the cases of \(8\) and \(9\), indicating a productive exploration of the problem.

Contextual Notes

Participants note the importance of checking the conditions under which \(a\) may or may not be coprime to \(8\) and \(9\), which may affect the application of the theorems discussed. There is an acknowledgment of potential typos in the problem statement, which may lead to confusion in the discussion.

bobby2k
Messages
126
Reaction score
2

Homework Statement


Prove that 2^15-2^3 divides a^15-a^3 for any integer a.
Hint: 2^15-2^3 = 5*7*8*9*13

Homework Equations


fermats theorem
eulers theorem

The Attempt at a Solution



I think that the problem is equal to show that 4080 divides any number a^13-a^3, that is

a^15-a^3 = k * 5*7*8*9*13

I was thinking about using Eulers theorem on each 5,7,8,9,13

phi(5)=4
phi(7)=7
phi(8)=4
phi(9)=6
phi(13)=12But my problem is this. This works for all the prime numbers because then gcd(a^15-a^3, prime)=1

But 8 and 9 we do not have prime numbers, so in order to use Eulers theorem i must show that
gcd(a^15-a^3,8)=1 and gcd(a^15-a^3,9)=1, correct?

How do I do this?
 
Last edited:
Physics news on Phys.org
bobby2k said:

Homework Statement


Prove that 2^15-2^3 divides a^15-a^3 for any integer a.
Hint: 2^15-2^3 = 5*7*8*9*13

Homework Equations


fermats theorem
eulers theorem

The Attempt at a Solution



I think that the problem is equal to show that 4080 divides any number a^13-a^3, that is

a^13-a^3 = k * 5*7*8*9*13

I was thinking about using Eulers theorem on each 5,7,8,9,13

phi(5)=4
phi(7)=7
phi(8)=4
phi(9)=6
phi(13)=12But my problem is this. This works for all the prime numbers because then gcd(a^13-a^3, prime)=1

But 8 and 9 we do not have prime numbers, so in order to use Eulers theorem i must show that
gcd(a^13-a^3,8)=1 and gcd(a^13-a^3,9)=1, correct?

How do I do this?

I'm not sure what you are planning on doing with those phi's. You need to show that each of the numbers 5,7,8,9,13 divides a^15-a^3 (I'm not sure why you switched to a^13-a^3 - typo I assume). Can you show ANY of those numbers divides a^15-a^3? Just using Fermat's theorem will let you prove some of them.
 
Last edited:
Dick said:
I'm not sure what you are planning on doing with those phi's. You need to show that each of the numbers 5,7,8,9,13 divides a^15-a^3 (I'm not sure why you switched to a^13-a^3 - typo I assume). Can you show ANY of those numbers divides a^15-a^3?

Hey
Sorry it was a typo yes. I am able to show it easy for the prime numbers. Like seven for example:
Eulers theorem gives that
a^15=a^7*a^7*a = a*a*a=a^3 (mod 7)
So a^15-a^3 = 0 (mod 7).The problem comes in 8 and 9. Since we have that phi(8)=4.
We have that
a^15 = a^5*a^5*a^5=a*a*a=a^3(mod 8).
So a^15-a^3 = 0 (mod 8).

However in order for what I did to be legal for 8 and 9, I have to have that gcd(a^15-a^3, 8)=1(and the same for 9). If not, what I did in the last paragraph would not be legal.
If this is not the case, Eulers theorem can not be used, correct?

So i have to show that gcd(a^15-a^3,8)=1 and gcd(a^15-a^3,9)=1?
 
bobby2k said:
Hey
Sorry it was a typo yes. I am able to show it easy for the prime numbers. Like seven for example:
Eulers theorem gives that
a^15=a^7*a^7*a = a*a*a=a^3 (mod 7)
So a^15-a^3 = 0 (mod 7).The problem comes in 8 and 9. Since we have that phi(8)=4.
We have that
a^15 = a^5*a^5*a^5=a*a*a=a^3(mod 8).
So a^15-a^3 = 0 (mod 8).

However in order for what I did to be legal for 8 and 9, I have to have that gcd(a^15-a^3, 8)=1(and the same for 9). If not, what I did in the last paragraph would not be legal.
If this is not the case, Eulers theorem can not be used, correct?

So i have to show that gcd(a^15-a^3,8)=1 and gcd(a^15-a^3,9)=1?

Yes, the primes are easy. But I don't see how you can say that is legal even if gcd(a^15-a^3,8)=1, in fact, that contradicts a^15-a^3=0 (mod 8). I did 8 and 9 more directly without using either of those theorems. Take 8. If a is even then a^15-a^3 is clearly divisible by 8. If a is odd then a=2n+1 for some integer n. Can you show it's divisible by 8 in that case as well? Think about applying the binomial expansion to (2n+1)^15 and (2n+1)^3. You won't need the whole expansion, just the last few terms.
 
Last edited:
Dick said:
Yes, the primes are easy. But I don't see how you can say that is legal even if gcd(a^15-a^3,9)=1, in fact, that contradicts a^15-a^3=0 (mod 8). I did 8 and 9 more directly without using either of those theorems. Take 8. If a is even then a^15-a^3 is clearly divisible by 8. If a is odd then a=2n+1 for some integer n. Can you show it's divisible by 8 in that case as well? Think about applying the binomial expansion to (2n+1)^15 and (2n+1)^3. You won't need the whole expansion, just the last few terms.

Sorry i really screwed up. It was supposed to be that we must have that gcd(a,8), and gcd(a,9)=1, in order for that to work. But then I guess we must check what happens if they are not coprime. That is if either 2 or 3 is a factor of a, then still 8|(a^15-a^3) or 9|(a^15-a^3), but I guess we can see that this still happens.

I'll try your method, thanks!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
6K
  • · Replies 4 ·
Replies
4
Views
2K