Proving: If a is Even, Then 4 Divides a

  • Thread starter Thread starter number0
  • Start date Start date
  • Tags Tags
    even
Click For Summary

Homework Help Overview

The discussion revolves around proving the proposition that if a is even, then 4 divides a, with a and b defined as natural numbers such that a² = b³. The subject area includes number theory and divisibility concepts.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the relationship between a and b, particularly focusing on the implications of a being even. There is an attempt to express a and b in terms of integers and to manipulate the equations to show divisibility. Questions arise about the correctness of the steps taken and the implications of certain results.

Discussion Status

Some participants provide feedback on the attempts made, noting that the reasoning is on the right track. There is acknowledgment of the implications of certain equations, particularly regarding the evenness of n and its consequences for divisibility by 4. The discussion appears to be progressing with constructive input.

Contextual Notes

Participants are working under the constraints of proving a mathematical proposition, and there is an emphasis on definitions related to even numbers and divisibility. The original poster expresses uncertainty about their approach, indicating a need for clarification and guidance.

number0
Messages
102
Reaction score
0

Homework Statement


Let a and b be a natural numbers such that a2 = b3. Prove the following proposition:
If a is even, then 4 divides a.


Homework Equations


Definition: A nonzero integer m divides an integer n provided that there is an integer q such that n = m * q.

Definition: A even number m can be represented by the relationship m = 2 * n where n is an integer.


The Attempt at a Solution


Let a = 2n where b is any integer. Let b = 2m where m is any integer (from another theorem, the cube of any even is even).

a^2 = b^3
(2n)(2n) = 8m^3
2n = 4m^3/n

I am not even sure if I did all of the above correctly; but, this is as far as I got.
 
Physics news on Phys.org
Try to show: if 2 divides b3, then 8 divides b3.
 
What you have done is pretty good up to here...

2n = 4m^3/n

You have already shown that

4n^{2} = 8m^3

n^{2} = 2m^3

This imples n is even, do you see why ?

If n is even then 2n is definitely divisible by 4.
 
Last edited:
╔(σ_σ)╝ said:
What you have done is pretty good up to here...



You have already shown that

4n^{2} = 8m^3

n^{2} = 2m^3

This imples n is even, do you see why ?

If n is even then 2n is definitely divisible by 4.

Wow... thank you! I finally see how it is done.
 

Similar threads

Replies
7
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
Replies
20
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 4 ·
Replies
4
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
9
Views
4K