Is a^2 - b^2 divisible by 8 when a and b are odd integers?

Click For Summary
SUMMARY

The discussion confirms that for any odd integers a and b, the expression a² - b² is divisible by 8. By expressing a and b as a = 2n + 1 and b = 2m + 1, it is demonstrated that both a + b and a - b are even. Furthermore, if a - b is divisible by 4, then a² - b² is divisible by 8. The analysis concludes that one of the terms a - b or a + b must be a multiple of 4, ensuring the product a² - b² is indeed divisible by 8.

PREREQUISITES
  • Understanding of odd and even integers
  • Familiarity with algebraic identities, specifically the difference of squares
  • Basic knowledge of divisibility rules
  • Ability to manipulate algebraic expressions
NEXT STEPS
  • Explore the properties of odd and even integers in number theory
  • Study the difference of squares and its applications in algebra
  • Learn about divisibility rules and their proofs
  • Investigate modular arithmetic and its relevance to divisibility
USEFUL FOR

Mathematics students, educators, and anyone interested in number theory or algebraic proofs will benefit from this discussion.

annoymage
Messages
360
Reaction score
0

Homework Statement



if a and b are odd integer, then 8 l (a2-b2)

Homework Equations



n/a

The Attempt at a Solution



if a=b, clearly, 8 l (a2-b2)
if not,
now, I'm not sure how to continue

should i varies b, and make a fixed, then varies a, and make b fixed,
is that really the way to show, for all odd integer a and b?
 
Physics news on Phys.org


[itex]a^2- b^2= (a+ b)(a- b)[/itex]

If a and b are both odd we can write a= 2n+1 and b= 2m+ 1 for some integers m and n. The a+ b= 2(m+ n)+ 2= 2(m+n+1) is even and a- b= 2(m-n) is also even.

That would be enough to show that [itex]a^2- b^2[/itex] is divisible by 4 but not enough to show it is divisible by 8.

Of course, if a- b were divisible by 4 itself, then since a+ b is even, [itex]a^2- b^2= (a- b)(a+ b)[/itex] would be divisible by 8.

Suppose a- b= 2(m- n) were not divisible by 4. That means that m- n must be an odd number: m- n= 2k+ 1 so that m= n+ 2k+ 1 and then m+ n= n+ 2k+ 1= 2n+ 2k+ 1= 2(m+k)+ 1, an odd number. But them m+n+ 1= 2(m+k)+ 1+ 1= 2(m+ k)+ 2= 2(m+k+1), and even number.

That is, one of a- b and a+ b is even and the other a multiple of 4 so that their product, [itex]a^2- b^2[/itex] is a multiple of 8.
 

Similar threads

Replies
15
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K