Prove Divisibility

  • Thread starter wubie
  • Start date
  • #1
wubie
Hello,

I am supposed to prove or disprove this statement:

Let m,d,n,a be non-zero integers. If m = dn, and if m|an, then d|a.


I had a proof but I made an error. Stay tuned for my revised proof.




Ok! Here is my corrected proof:


By definition:

An integer "a", is a divisor/factor of an integer "b" if

b = ax for some integer x.


If "m" is a divisor of "an" then there must be an x such that

an = mx for some integer x.


If m = dn then

an = dnx for some integer x.


By laws of cancellation,

a = dx for some integer x.


Therefore by definition, "d" is a divisor of "a" since

a = dx for some integer x.

Is this an adequate proof? If adequate, is there anything I can do to make this proof better? Any input is appreciated. Thankyou.
 
Last edited by a moderator:

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,833
956
Looks like a good proof to me.

I'm impressed!
 
  • #3
wubie
Thanks for checking it out Ivy. I really appreciate it.

I know it's a pretty Mickey Mouse proof, but it is pretty satisfying to come up with a correct proof by oneself.

Now onto more proofs.



Cheers.
 

Related Threads on Prove Divisibility

  • Last Post
2
Replies
33
Views
10K
Replies
2
Views
2K
Replies
7
Views
9K
Replies
6
Views
22K
Replies
11
Views
24K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
7
Views
4K
  • Last Post
Replies
6
Views
2K
Top