Prove/Disprove: c Divides (a+b) But Not a, Then c Does Not Divide b

Click For Summary

Homework Help Overview

The discussion revolves around a divisibility statement involving integers a, b, and c. The original poster seeks to prove or disprove the assertion that if c divides (a+b) but does not divide a, then c does not divide b.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • The original poster attempts to manipulate expressions involving a, b, and c to explore the divisibility conditions. Some participants suggest writing b in terms of c and using proof by contradiction to analyze the implications of c dividing b.

Discussion Status

Participants are actively engaging with the problem, offering various approaches and clarifications. There is an ongoing exploration of the implications of the assumptions made about divisibility, with some participants questioning the correctness of earlier statements and providing alternative formulations.

Contextual Notes

There are indications of potential misunderstandings regarding the relationships between a, b, and c, particularly in the context of divisibility. The original poster and others are navigating these complexities without reaching a definitive conclusion.

Orikon
Messages
12
Reaction score
0
I'm having trouble with this question, I need to prove or disprove this statement: If c divides (a+b), but c does not divide a, then c does not divide b.

what i have so far is ck = (a+b) where k is some integer. Next I have a=ck-b and b=ck-a. I tried doing things like a = ck-(ck-a) but that got me nowhere. Any ideas? Thanks in advance.
 
Physics news on Phys.org
If c divides b, try writing b in terms of c, then go back to a=ck-b
 
Try proof by contradiction: Suppose c does divide b. Then b= cn for some n so c= a+ cn. What does a equal? Why is that a contradiction?
 
HallsofIvy said:
Try proof by contradiction: Suppose c does divide b. Then b= cn for some n so c= a+ cn. What does a equal? Why is that a contradiction?

Thanks for the help. I think there's a problem though, shouldn't C = (a+b)n for some integer n? Instead of c= a + cn, it should be c divides a + cn.

I tried the following c = (a +cn)k where k is another integer, so
a = (c/k) - cn but I can't figure out where to go from there. Thanks
 
Orikon, there's a small typo in Halls' post.

c divides b => nc = b
c divides a+b => kc = a+b = a+nc {not the other way round}

So what can you say about a?
 
Gokul43201 said:
Orikon, there's a small typo in Halls' post.

c divides b => nc = b
c divides a+b => kc = a+b = a+nc {not the other way round}

So what can you say about a?

so,
kc = a + nc
a = kc - nc
a = c(k-n)

which means c must also be divisible by a when c is divisible by b. That's the contrapositive of the original statement, so it must be true, right? :biggrin: Thank you so much!
 

Similar threads

Replies
11
Views
3K
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
3K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K