Hardest Multiple Ever!

a b c a 1 b 1 c = 15 , a b c c 1 a 1 b = 6 , a b c b 1 c 1 a = 4 \dfrac{abc}{a-\dfrac{1}{b-\dfrac{1}{c}}} = 15,\qquad \dfrac{abc}{c-\dfrac{1}{a-\dfrac{1}{b}}} = 6, \qquad \dfrac{abc}{b-\dfrac{1}{c-\dfrac{1}{a}}} = 4

Given that a , b a, b and c c are integers satisfying the system of equations above, what is the value of lcm ( a , b , c ) \text{lcm}(a, b, c) ?

Notation : lcm \text{lcm} stands for Lowest Common Multiple .


The answer is 6.

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.

1 solution

Pi Han Goh
Apr 23, 2016

Relevant wiki: Diophantine Equations - Solve by Factoring

Mr Mark Hennings caught my mistake and I've amended it.

Let's start with the last equation: a b c b 1 c 1 a = 4 a b c = 4 ( a b c a b a c 1 ) a b c ( a c 1 ) = 4 ( a b c a b ) ( 1 ) \dfrac {abc}{ b- \dfrac1{c-\dfrac1a}} = 4 \Leftrightarrow abc = 4\left( \dfrac{abc-a-b}{ac-1} \right) \Leftrightarrow abc(ac-1)=4(abc-a-b)\qquad \qquad (1)

Since ( b c 1 ) ( a c 1 ) c ( a b c a b ) = 1 (bc-1)(ac-1) - c(abc - a - b) \; = \; 1 , you have that a c 1 ac-1 and a b c a b abc - a - b are coprime; since a c 1 ac-1 divides 4 ( a b c a b ) 4(abc - a - b) we can now deduce that a c 1 ac-1 divides 4 4 .

So a c 1 ac - 1 must be equal to 1 , 1 , 2 , 2 , 4 -1,1, -2,2, -4 or 4 4 , or equivalently a c = 0 , 2 , 1 , 3 , 3 ac = 0,2,-1,3,-3 or 5 5 .

But if a c = 0 ac = 0 , then a a and/or c c is equal to 0 0 , which is impossible, because the LHS of any of the three given equations is equal to 0 0 , thus a c 0 ac \ne 0 .

We are left with 5 cases to check: a c = 3 , 1 , 2 , 3 , 5 ac = -3,-1,2,3,5 .

Case 1 : Suppose a c = 3 ac=-3 , substituting it into ( 1 ) (1) gives ( 3 b ) ( 3 1 ) = 4 ( 3 b a b ) 7 b = a . (-3b)(-3-1) = 4(-3b - a-b) \Leftrightarrow 7b = -a \; . This tells us that a a is divisible by 7, but since a c = 3 ac = -3 , then a a can only take values of ± 1 , ± 3 \pm1,\pm3 , which contradicts our findings. So, a c = 3 ac = -3 is not a solution.

Case 2 : Suppose a c = 1 ac = -1 , substituting it into ( 1 ) (1) gives ( 1 b ) ( 1 1 ) = 4 ( b a b ) 5 b = 2 a . (-1b)(-1-1) = 4(-b-a-b) \Leftrightarrow 5b = -2a\; . This tells us that a a is divisible by 5, but since a c = 1 ac = -1 , then a a can only take values of ± 1 , \pm1, , which contradicts our findings. So, a c = 1 ac = -1 is not a solution.

Case 3 : Suppose a c = 2 ac = 2 , substituting it into ( 1 ) (1) gives ( 2 b ) ( 2 1 ) = 4 ( 2 b a b ) b = 2 a . (2b)(2-1) = 4(2b-a-b) \Leftrightarrow b=2a\; .

Since a c = 2 ac = 2 and b = 2 a b = 2a , then one of the possible solutions of ( a , b , c ) (a,b,c) are ( 1 , 2 , 2 ) , ( 1 , 2 , 2 ) , ( 2 , 4 , 1 ) , ( 2 , 4 , 1 ) (1,2,2), (-1,-2,-2), (2,4,1), (-2,-4,-1) . By trial and error, we can see that none of any of these solutions both the other two given equations.

Case 4 : Suppose a c = 3 ac = 3 , substituting it into ( 1 ) (1) gives ( 3 b ) ( 3 1 ) = 4 ( 3 b a b ) b = 2 a . (3b)(3-1) = 4(3b-a-b) \Leftrightarrow b=2a\; .

Since a c = 3 ac = 3 and b = 2 a b = 2a , then one of the possible solutions of ( a , b , c ) (a,b,c) are ( 1 , 2 , 3 ) , ( 1 , 2 , 3 ) , ( 3 , 4 , 1 ) , ( 3 , 4 , 1 ) (1,2,3), (-1,-2,-3), (3,4,1), (-3,-4,-1) . By trial and error, we can see that only two of these solution satisfy the other two given equations, namely ( a , b , c ) = ( 1 , 2 , 3 ) , ( 1 , 2 , 3 ) (a,b,c) = (-1,-2,-3), (1,2,3) .

Case 5 : Suppose a c = 5 ac = 5 , substituting it into ( 1 ) (1) gives ( 5 b ) ( 5 1 ) = 4 ( 5 b a b ) a = b . (5b)(5-1) = 4(5b-a-b) \Leftrightarrow a=-b\; .

Since a c = 5 ac = 5 and a = b a = -b , then one of the possible solutions of ( a , b , c ) (a,b,c) are ( 1 , 1 , 5 ) , ( 1 , 1 , 5 ) , ( 5 , 5 , 1 ) , ( 5 , 5 , 1 ) (1,-1,5), (-1,1,-5),(-5,5,-1),(5,-5,1) . By trial and error, we can see that none of any of these solutions both the other two given equations.

From all these cases, only Case 4 yields a possible solution, namely ( a , b , c ) = ( 1 , 2 , 3 ) , ( 1 , 2 , 3 ) (a,b,c) = (1,2,3), (-1,-2,-3) . Either way, lcm ( a , b , c ) = 6 \text{lcm}(a,b,c) = \boxed6 .

You need one extra piece to the argument. To say that a b c ( a c 1 ) abc(ac-1) is divisible by 4 4 does not automatically imply that a c 1 ac-1 is a factor of 4 4 , which is what you are saying. However, since ( b c 1 ) ( a c 1 ) c ( a b c a b ) = 1 (bc-1)(ac-1) - c(abc - a - b) \; = \; 1 you have that a c 1 ac-1 and a b c a b abc - a - b are coprime; since a c 1 ac-1 divides 4 ( a b c a b ) 4(abc - a - b) you can now deduce that a c 1 ac-1 divides 4 4 , and you are back on track.

Mark Hennings - 5 years, 1 month ago

Log in to reply

Wait what? I have A B = 4 C AB = 4C (where A = a b c , B = a c 1 , C = a b c a b A = abc,B=ac-1,C = abc-a-b ), so either A A or B B divides 4. That's it right?

Pi Han Goh - 5 years, 1 month ago

Log in to reply

You need to avoid the possibility of something like 14 × 10 = 4 × 35 14 \times 10 = 4 \times 35 , where neither 14 14 nor 10 10 divide 4 4 .

The argument is possible since a c 1 ac-1 and a b c a b abc-a-b are coprime, so the fact that a c 1 ac-1 divides 4 ( a b c a b 4(abc-a-b implies that a c 1 ac-1 divides 4 4

Mark Hennings - 5 years, 1 month ago

Log in to reply

@Mark Hennings Ohhh! I dodged a bullet there. I thought my whole solution will crumble. Thank you again!

Pi Han Goh - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...