2 a + 3 b + 1 = 6 c
How many ordered triplets of positive integers ( a , b , c ) are there that satisfy the equation above?
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.
Triplets are (111)(332)(512)
Log in to reply
Also (201) if we consider 0 as being positive.
Log in to reply
0 is never considered positive(or negative). There isn't a deep reason behind this, We just define it to be that way.
Log in to reply
@Rahul Saha – To Rahul Saha : you're right. We just define it to be that way, but the definition often varies from place to place and from book to book. Some countries and books consider 0 to be positive as well as negative.. This is not in accordance with the accepted canonical definition, which states that 0 is neither negative nor positive. I don't know why there are authors who deviate from the standard definition. Thank you for your post.
That is the same way i did this one. :)
The main idea is indeed bounding c . However, there's a large chunk missing from this solution.
For example, what happens if a < 3 , but c ≥ 3 ?
Log in to reply
I don't think the solution is missing a large part. If a < 3 , then it can only take the values 1 , 2 . Plug in these values and the rest is easy.
In fact, the case a < 3 , c ≥ 3 is actually covered by the case a < 3 . So we don't need to consider this as a separate case.
The main idea is indeed bounding . However, there's a large chunk missing from this solution.
For example, what happens if
I agree with Rahul Saha. Expanding on what was already said, bounding any one of a , b , c will automatically bound the other two. (For c this is because the sum is greater than any of the parts. For a it is because 3 and 6 are not coprime, and likewise for b it is because 2 and 6 are not coprime.)
In general, that could still leave many possible values to check, but for a < 3 it is quite easy.
Damn! I didn't notice that it asked for positive integers...included 2,0,1 too.
W e h a v e 6 1 = 6 . . . . . . . . . 6 2 = 3 6 . . . . . . . . . 6 3 = 2 1 6 . . . . . . . . . 6 4 = 1 2 9 6 . 3 1 = 3 . . . . . 3 2 = 9 . . . . . . 3 3 = 2 7 . . . . . . . . . . . 3 4 = 8 1 . . . . . . . . . 3 5 = 2 4 3 . . . . . . . . . 3 6 = 7 3 9 . 2 1 = 2 . . . 2 2 = 4 . . . 2 3 = 8 . . . 2 4 = 1 6 . . 2 5 = 3 2 . . 2 6 = 6 4 . . 2 7 = 1 2 8 . . . 2 8 = 2 5 6 . ( 1 , 1 , 1 ) is a clear solution. No other value can give 6. c = 2 , 6 2 = 3 6 . 3 6 − 1 = 3 5 . 3 5 − 3 = 3 2 ⟹ ( 5 , 1 , 2 ) , b = 2 , 2 ? ∤ 2 6 . b = 3 , 2 3 + 3 3 + 1 = 3 6 . . . ( 3 , 3 , 2 ) n o o t h e r p o s s i b i l i t y . c = 3 , 6 3 − 1 = 2 1 5 , . . . . 2 1 5 < 2 8 . . . . . 2 1 5 − 2 7 = 8 7 . . . . 3 ? ∤ 8 7 2 1 5 − 2 6 = 1 5 1 . . . . 3 ∤ 1 5 1 . No combination satisfy the given e q u a t i o n a n y f u r t h e r . O n l y t h r e e t r i p l e s .
If the "positive" condition is extended to include zero as solution, there exists a fourth solution too (2,0,1)
LHS of above equation should be divisible by 3. So 'a' should be odd. Further 6^c always ends with digit 6, so on observing possible unit digit of sum in LHS We get another condition which on combining with above one we get a=b(mod4) and both a,b are odd»» Case 1: a=4a'+1,b=4b'+1. Equation becomes 2.16^a +3.81^b +1 = 6^c. Now observe that LHS can never be divisible by 16(81=1 mod 16,LHS = 16z + 4) so c<4. We get very same conclusion from case 2 a=4.a'+3,b=4.b'+3. Now we can easily see solutions for c= 1,2,3 for (a,b,c) as (1,1,1);(5,1,2);(3,3,2)
{2^a+3^b+1=6^c} in wolfram Aloha
Gives 4 solutions, of which exclude (2,0,1) as b>0
Problem Loading...
Note Loading...
Set Loading...
I will not post the complete solution, but will take you through my thinking process while solving this problem (what I say below wasn't my exact thinking process, but I have forgotten some of my original ideas and motivations, especially the motivation for the penultimate step)
I have noted something important when solving exponential diophantine equations. This important observation is as follows:
In an exponential diophantine equation, it often so happens that when the exponents are greater than some finite number k, then both sides of the equation is divisible by some k-th power
If you didn't understand what I just said, don't worry. I will walk you through my thinking process.
First thing to do as always is parity checking. If you take mod of both sides of the equation (first modulo 2, then 3), you will get some information about the parity of the exponents. But if you try to proceed using this, you might get stuck like I did(I am not saying that you won't be able to proceed, but I couldn't). So you have to start looking at the other options here.
Rearrange the equation to get 2 a + 3 b = 6 c − 1 . Here, the left hand side must be divisible by 5 since the right hand side is divisible by 5 . You will later note that this doesn't help much, though it does give you some insight as to the parity of the exponents.
Finally, being frustrated, you take c = 1 , 2 , 3 , 4 , 5 and calculate some values of a and b . I did this upto 7 ( it wasn't time-consuming). You will note that you aren't getting any solution for c ≥ 3 .
So what's so special about c ≥ 3 . For starters, you can note that for c ≥ 3 , the RHS is divisible by 8 (and also by 2 7 , but that is a much bigger number). Now note that if the exponent of 2 i.e. a is also greater than or equal to 3 , then we must have 8 ∣ 3 b + 1 . But the powers of 3 mod 8 are 3 , 1 , 3 , 1 , 3 , 1 ⋯ . Hence 3 b + 1 ≡ 4 , 2 ( m o d 8 ) . So 8 cannot divide 3 b + 1 . Hence at least one of a and c must be less than 3 . So we have the following two cases:
1) a < 3
2) c < 3
The rest of the solution is left as an exercise to the reader.
FINAL THOUGHTS:
The idea about c ≥ 3 played the crucial role in this problem. I am not sure what my exact motivation was for this idea, but I know that experimentation made me think that something was up. There was definitely some other idea involved, but I am unable to recall that at the moment.
Try to use the idea that when some exponent is greater than some fixed value k (in our case, k = 3 ),then both sides of the equation must be divisible by the k-th power of an integer(in our case, that was 2 3 ). This idea may come useful later on in more advanced problems.
Other ideas that I had that I couldn't use include LTE,further parity checking etc..