Individually divisible?

I have chosen four integers a , b , c , {\color{#D61F06}a}, {\color{#3D99F6}b}, {\color{#20A900}c}, and d {\color{#69047E}d} so that all five of the following sums are values divisible by 3:

  • a + b + c {\color{#D61F06}a}+{\color{#3D99F6}b}+{\color{#20A900}c}
  • a + b + d {\color{#D61F06}a}+{\color{#3D99F6}b}+{\color{#69047E}d}
  • a + c + d {\color{#D61F06}a}+{\color{#20A900}c}+{\color{#69047E}d}
  • b + c + d {\color{#3D99F6}b}+{\color{#20A900}c}+{\color{#69047E}d}
  • a + 0 + 0 . {\color{#D61F06}a} + {\color{#333333}0}+{\color{#333333}0}.

Are b , {\color{#3D99F6}b}, c , {\color{#20A900}c}, and d {\color{#69047E}d} also guaranteed to be divisible by 3?

Yes No

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

20 solutions

Zain Majumder
Jan 28, 2018

Since a \color{#D61F06}a is divisible by 3 3 , we can subtract it from the other expressions to get new sums which are still divisible by 3 3 . Specifically, the following sums are divisible by 3 3 :

b + c {\color{#3D99F6}b}+{\color{#20A900}c}

b + d {\color{#3D99F6}b}+{\color{#69047E}d}

c + d {\color{#20A900}c}+{\color{#69047E}d}

b + c + d {\color{#3D99F6}b}+{\color{#20A900}c}+{\color{#69047E}d}

Subtract the first equation from the fourth to get d \color{#69047E}d is divisible by 3 3 . Subtract the second equation from the fourth to get c \color{#20A900}c is divisible by 3 3 . Subtract the third equation from the fourth to get b \color{#3D99F6}b is divisible by 3 3 .

Moderator note:

As it came up twice in the comments, it should be noted here that 0 0 is divisible by 3. 3. When attempting 0 ÷ 3 , 0 \div 3 , the remainder is 0. 0.

In general, 0 0 is divisible by n n for every value of n n except 0 0 (since division by zero is undefined).

If "c" and "d" are equal to zero, and "b" is a multiple of 3, then all the equations are divisible by 3, yet not all variables will be divisible by 3. Thus, it is NOT guaranteed that all of them will be divisible by 3. Q.E.D.

Luiz Peixoto - 3 years, 4 months ago

Log in to reply

If you do not allow that zero is divisible by 3 then a+0+0 cannot be divisible by 3 so the initial conditions are not true.

Ralph Dickinson - 3 years, 4 months ago

Log in to reply

I never said "a" is equal to zero. As a matter of fact, that ,in fact, cannot be true. But, I made some research and found out that zero "is" divisible by any integer different from zero. So, I was wrong. I apologise. And thanks for the reply.

Luiz Peixoto - 3 years, 4 months ago

I took it implied that each integer is unique, which is why they're color coded. So, "c" and "d" cannot both equal zero.

James Carmody - 3 years, 4 months ago

Log in to reply

There is nothing in the description of the problem saying that. But I understand your logic, that way of approaching the problem makes sense.

Luiz Peixoto - 3 years, 4 months ago

I illustrated this solution at the end of my work.

Check the solution here, after my raw proof, https://tinyurl.com/y9dnzuwq

James Carmody - 3 years, 4 months ago

I think the official answer may be incorrect. If 0 is considered an integer, then a, b and can be 0 and not divisible by 3.

Mike Holden - 3 years, 4 months ago

Log in to reply

0 is divisible by 3. (When doing 0 / 3, the remainder is 0.)

Jason Dyer Staff - 3 years, 4 months ago

Log in to reply

Point taken, Jason.

Mike Holden - 3 years, 4 months ago

Simple and elegant. Nice!

Anuj Shikarkhane - 3 years, 4 months ago

how do you know that a is divisible by 3 or it is your assumption

Anh Nhat - 3 years, 4 months ago

Log in to reply

We are told a + 0 + 0 is divisible by 3 in the problem (so a is as well).

Jason Dyer Staff - 3 years, 4 months ago

"it should be noted here that 0 is divisible by 3", yes indeed. This should be a note on the question so you know it before giving a solution, not in the discussion after it :c With this note it would be a great problem :)

Bobo Pro - 3 years, 4 months ago

Log in to reply

Yeah that's what threw me off. I figure 0 was not divisible by 3 and since 0 is in the set of integers you could let any of the variables other then a equal 0

Wyatte Hooper - 3 years, 4 months ago

Had this been worded “are the sums of b,c,d also guaranteed to be divisible by 3 I would have answered differently. The question implies that b,c, and d individually must be divisible by 3.

Ralph Avery - 3 years, 4 months ago

Log in to reply

Yes, b, c, and d individually must be divisible by 3. This answer first makes the sums, then subtracts them to get each of the three individually. Subtracting sums that are divisible by 3 results in elements that must be divisible by 3.

Jason Dyer Staff - 3 years, 4 months ago

for every x real, 0 = 0*x therefore 0 is divisible by 0, that's the définition of the divisibility

Rod Meyas - 3 years, 2 months ago

All five of a+b+c a+b+d a+c+d b+c+d a+0+0

are divisible by 3.

Thus ((a+b+c) -(a+b+d)) = (c-d) is divisible by 3. c and d have the same remainder when divided by 3.

((a+b+d) - (a+c+d)) = (b-c) is divisible by 3. b and c have the same remainder when divided by 3.

((a+c+d) - (b+c+d)) = (a-b) is divisible by 3. a and b have the same remainder when divided by 3.

(a+0+0) = a is divisible by 3.

a, b, c, d have the same remainder when divided by 3.

All 4 numbers, a, b, c, d are divisible by 3.

Kermit Rose - 3 years, 1 month ago

The way in which I reasoned it out is the following:

Given: a {\color{#D61F06}a} is divisible by 3.

Therefore from 1st statement: ( a + b + c ) % 3 = 0 ( b + c ) % 3 = 0 ({\color{#D61F06}a} + {\color{#3D99F6}b} + {\color{#20A900}c}) \% 3 = 0 \implies ({\color{#3D99F6}b}+{\color{#20A900}c}) \% 3 =0

From statement 4: ( b + c ) % 3 = 0 d % 3 = 0 ({\color{#3D99F6}b}+{\color{#20A900}c}) \% 3 =0 \implies {\color{#69047E}d} \% 3 = 0

Now, statement 2 implies: b % 3 = 0 {\color{#3D99F6}b}\%3=0

and statement 3 implies: c % 3 = 0 {\color{#20A900}c}\%3=0

Therefore all the given integers are divisible by 3.

Hehe, it's the same reasoning I came to as well, glad I was right!

Daniel Podobinski - 3 years, 4 months ago
Stephen Mellor
Jan 21, 2018

All we need to consider are the remainders of the 4 numbers upon division by 3. For example 13 m o d 3 = 1 13\mod 3 = 1 .

This means that the numbers can be written anew as either 0 0 , 1 1 or 2 2 .

The case now remains the same, we need the sum of 3 of the four numbers to be divisible by 3.

Due to the Dirichlet principle, since we have 4 numbers to pick and only 3 possible remainders on division by 3, we must have at least 2 of a certain remainder in our set of 4.

Now we know that if there is 2 numbers with remainder k k , a third number must also have remainder k k , to make the sum of those 3 divisible by 3. We can also apply this rule to the fourth number, meaning that it also has remainder k k .

Therefore, for this entire situation to occur, all of the 4 numbers must have the same remainder on division by 3, meaning that if one of them is divisible by 3, all the others must also be divisible by 3.

One quibble. One of the integers could be zero and still allow each statement to remain true. However, you can't divide zero by three so technically the answer should be no we can not guarantee that all the varribles are divisible by three.

David Schrader - 3 years, 4 months ago

Log in to reply

Zero is considered divisible by any integer.

Zain Majumder - 3 years, 4 months ago

As Zain said, zero divided by anything is just zero.

Stephen Mellor - 3 years, 4 months ago
David Vreken
Jan 28, 2018

Since a + 0 + 0 a + 0 + 0 is divisible by 3 3 , a a is divisible by 3 3 .

Since a + c + d a + c + d is divisible by 3 3 and b + c + d b + c + d is divisible by 3 3 , we can subtract these two equations and find that a b a - b is divisible by 3 3 as well (since the difference of two values that are divisible by 3 3 must also be divisible by 3 3 ). And since we already know that a a is divisible by 3 3 , then b must be divisible 3 3 by the same reasoning.

Since a + b + c a + b + c is divisible by 3 3 and we already know that both a a and b b are divisible by 3 3 , c c must must be divisible by 3 3 .

Finally, since a + b + d a + b + d is divisible by 3 3 and we already know that both a a and b b are divisible by 3 3 , d d must must be divisible by 3 3 .

Therefore, b b , c c , and d d are guaranteed to be divisible by 3 3 .

This is very simple to understand. Thanks for sharing +1

Pi Han Goh - 3 years, 4 months ago

Thanks to this solutions it is logical

Ali Alz - 3 years, 4 months ago
Yarden Gan
Feb 4, 2018

b+c, c+d and b+d all equal a factor of three, so they all have to be ones too.

Ankit K
Feb 4, 2018

Eq5 => a is divisible by 3. So Eq1 => b+c is divisible by 3. And so Eq4 => d is divisible by 3. And so Eq3 => c is divisible by 3. And so again Eq1 => b is divisible by 3.

Mike Delmonaco
Feb 3, 2018

from a + 0 + 0 a+0+0 is divisible by 3, we have
a = 3 0 a=_3 0 where = 3 =_3 means the remainder on both sides after dividing by 3 is equal. Since it is divisible by 3, the remainder is 0. Also, if the remainder is 0, then it is divisible by 3. From this, the sums can be written as a + b + c = 3 0 a+b+c=_3 0 a + b + d = 3 0 a+b+d=_3 0 . . . ... and this goes for all of those sums since they are divisible by 3. Now let's set two sums = 3 =_3 to each other: a + b + c = 3 a + b + d a+b+c=_3 a+b+d The a + b a+b cancels out on both sides just like in a normal equation and we get c = 3 d c=_3 d If you're interested by the fact that we are allowed to apply the normal rules of algebra for " = = equality" to " = 3 =_3 equality" like cancelling out on both sides, then I would recommend learning about modular arithmetic . Now let's substitute c c for d d in the second sum: a + d + d = 3 a + 0 + 0 = 3 0 a+d+d=_3 a+0+0=_3 0 0 + 2 d = 3 0 + 0 + 0 0+2d=_3 0+0+0 2 d = 3 0 2d=_3 0 d = 3 0 d=_3 0 If 2 d = 3 0 2d=_3 0 (it's divisible by 3), then d d has to be divisible by 3 since 2 isn't. Now we know d = 3 c = 3 0 d=_3 c=_3 0 so let's substitute that in a + b + d = 3 0 a+b+d=_3 0 0 + b + 0 = 3 0 0+b+0=_3 0 b = 3 0 b=_3 0 now we know that all of the variables are divisible by 3

Mohammed Essam
Feb 3, 2018

Given any sum, it would be divisible by 3 if one of its factors is divisible by 3 as well. Assuming a,b are constants and they equal 1,2 respectively, c should be 3 or any of its multiples so that the sum would be divisible by 3 as well. Holding a,b constant, d needs to be a multiple of 3 for the sum to be divisible by 3. Hence the equation in question is b+c+d, and as we agreed that c and are multiples of 3, then this equation is divisible by 3.

Haris Zaharakis
Feb 2, 2018

We observe that: amod3 = 0 => a = 3n Let a+b+c = x, a+b+d = y, a+c+d = z, b+c+d=w We know that (x,y,z,w)mod3 = 0 => x=3k, y=3l, z=3m, w=3u So our equations can be rewritten as: a = 3n, 3n+b+c = 3k, 3n+b+d = 3l, 3n+c+d = 3m, b+c+d = 3u => a = 3n, b+c = 3(k-n), b+d = 3(l-n), c+d = 3(m-n), b+c+d = 3u If from the 5th equation we subtract the 4th we get: b = 3[u-(m-n)] ,if from the 5th equation we subtract the 3rd we get: c = 3[u-(l-n)] ,if from the 5th equation we subtract the 2nd we get: d = 3[u-(k-n)] Therefore b,c,d are divisible by 3. (I don't know how to format text here yet)

Craig Spaulding
Feb 1, 2018

We know that any multiple of three subtracted from another multiple of three is equal to a multiple of three. Using this principle, we can determine the value of a, b, and c, in terms of wether or not they are divisable by three. Since a+0+0 is divisable by three, a is divisable by three. We can now remove a from all the remaining equations and know the result will be divisable by three. We see that b+c is a multiple of three and can therefore be removed with the guarantee that the result will be divisable be there. This shows that c is divisable by three. We can then use this in the equations c+b and c+d to determine that b and d are divisable by three. Therefore, a, b, c, d and all possible sums of these values are all divisable by three.

Yun Han
Feb 1, 2018

Add first three lines: 3(a+b+c+d), (a+b+c+d)-(a+b+c)=d, (a+b+c+d)-(a+c+d)=b... etc

Ayush Srivastava
Feb 1, 2018

Considering eqns of form a+b+c=3k , a+b+d=3k ;a+c+d=3k : b+c+d=3k and a=3k ; where k can be any integer just to represent the divisibility by 3. Now subtract the eqn 4 by eqn 1 which gives a-d =3k => 3k-d=3k => d=3k therefore d is divisible by 3. Similarly all can be proved.

Every numbers are divisible by 3. Even when its division results in a fraction. The question never said that results must be integer.

I don't understand. What results are you referring to?

Pi Han Goh - 3 years, 4 months ago

Using modular 3 3 arithmetic, the fifth equation implies that a 0 a \equiv 0 ; from this, the first equation then implies that b + c 0 b + c \equiv 0 . So, the fourth equation implies that d 0 d \equiv 0 , and hence the second and third equation implies that b c 0 b \equiv c \equiv 0 .

There are just sums, so if every number its divisible by 3, the sum will be divisible by 3. Ex a=b=c=d=3

You have only shown that b,c,d CAN be divisible by 3. But are there any other triplets of (b,c,d) such that at least one of them is NOT divisible by 3?

Pi Han Goh - 3 years, 4 months ago
Minhao Shen
Jan 29, 2018

Let X,Y,Z,H,Q be random integers;
a+0+0 is divisible by 3 => a=3X ; ......(1)
then
a+b+c => 3X+b+c=3Y;......(2)
a+b+d => 3X+b+d=3Z;......(3)
a+c+d => 3X+c+d=3H;......(4)
- b+c+d =3Q =>b+c=3Q-d.......(5)


;
Let (5) in (2): => 3X+3Q-d=3Y=> d=3(X+Q-Y) =>It means d is divisibel by 3.
The proves for b and c can be easily derived from above method.




Jasmine McCadden
Jan 29, 2018

Because a + 0 + 0 is divisible by 3, a must be divisible by 3. Knowing this, we can know that all the other sums involving a will also be divisible by 3 when a is subtracted. So b+c, c+d, and b+d are all divisible by 3. Therefore in b+c+d, any 2 of these letters combine to form an integer divisible by 3, so to add the 3rd letter and still form a number divisible by 3, it must also be divisible 3.

Laszlo Kocsis
Jan 29, 2018

a is divisible by 3 (fifth expression). Watching the first expression either

1) a, b and c is divisible by 3, thus (by the second expression) d is divisible by 3, or

2) the remainders of b/3 and c/3 are 1 and 2, in not particular order (two cases).

  • 2/a) if the remainder of b/3 is 1, using the second expression comes that the remainder of d/3 is 2. From the third expression comes that the remainder of c/3 is 1, which contradicts 2).
  • 2/b) the problem is symmetric for b and c, we don't need to examine the other case, where the remainder of c/3 is 1. If you insist, we can come to a contradiction the same way as in 2/a).

As 2) leads to contradiction, 1) is true, all numbers must be divisible by 3.

Side note: We didn't need the fourth expression. You can remove one of the first four expressions, to be exact. Doesn't matter, which one. We need the fifth, without that we could just conclude that all of the numbers give the same remainder when divided by 3.

Rocco Dalto
Jan 28, 2018

3 a 3 ( b + d ) 3 c 3 d 3 b 3|a \implies 3|(b + d) \implies 3|c \implies 3|d \implies 3|b .

Ashfaq Humbazi
Jan 28, 2018

Just add all of the expressions:

4 a + 3 b + 3 c + 3 d 4a + 3b + 3c + 3d

= 4 a + 3 ( b + c + d ) 4a + 3(b + c + d)

Once can clearly see that b, c and d are now clearly divisible by 3.

Moderator note:

This proof demonstrates the sum b + c + d b + c + d is divisible by 3 but says nothing about each value individually.

In the second line there is a typo. It's ment to be 4a +3b +3c +3d Instead of : 4a +3b +3c +4d

Aakash Dharmakari - 3 years, 4 months ago

This only shows that the sum of b, c, and d is divisible by 3. It does not say anything about the divisibility of b, c, and d themselves. For example, b, c, and d could be 8, 2, and 5 which sum up to a number divisible by 3 but the numbers themselves are not divisible by 3.

Anirudh Sriram - 3 years, 4 months ago

It is not wrong....according your solution ,b,c and d are may not divisible by 3

TELUKALA CHAKRADHARA SAHU - 3 years, 4 months ago

For the Challenge Master: this proof does not show b + c + d b+c+d is divisible by 3 3 . First of all, this information is given by the problem anyways so it's redundant to prove. Even so, 3 ( b + c + d ) 3(b+c+d) will always be divisible by 3 3 regardless of whether b + c + d b+c+d is divisible by 3 3 or not.

Zain Majumder - 3 years, 4 months ago

To the moderator/admin/Challenge Master: Please remove this solution; totally false and does not answer the question.

A Former Brilliant Member - 3 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...