Bro , do you even Euler?

a 3 b 3 c 3 = 3 a b c a 2 = 2 ( b + c ) \begin{aligned} a^3-b^3-c^3&=&3abc \\ a^2 &=& 2(b+c) \\ \end{aligned}

Find the triplets ( a , b , c ) Z + (a,b,c) \in \mathbb {Z^{+}} that satisfy the system of equations above.

Details and assumptions :

  • Input the sum of all possible numbers in the triplets as an answer. As an explicit example, if ( 1 , 2 , 3 ) (1,2,3) is the only triplet, input 6 but if ( 2 , 3 , 4 ) (2,3,4) is also an answer input 15.


The answer is 4.

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.

5 solutions

Ariel Gershon
May 4, 2015

The second equation is equivalent to a 3 = 2 a ( b + c ) a^3 = 2a(b+c) . We can substitute that into the first equation to get 2 a ( b + c ) b 3 c 3 = 3 a b c 2a(b+c) - b^3 - c^3 = 3abc 2 a ( b + c ) 3 a b c = b 3 + c 3 2a(b+c) - 3abc = b^3 + c^3 a = b 3 + c 3 2 b + 2 c 3 b c a = \frac{b^3 + c^3}{2b+2c - 3bc} Since a > 0 a > 0 and b 3 + c 3 > 0 b^3 + c^3 > 0 , we must also have 2 b + 2 c 3 b c > 0 2b+2c-3bc > 0 . Rewriting this inequality a little gives us: b c 2 3 ( b + c ) + 4 9 < 4 9 bc - \frac{2}{3}(b+c) + \frac{4}{9} < \frac{4}{9} ( b 2 3 ) ( c 2 3 ) < 4 9 \left(b - \frac{2}{3}\right)\left(c - \frac{2}{3}\right) < \frac{4}{9} If b = c = 1 b = c = 1 then this condition is met. However, if at least one of them is at least 2 2 , then we have ( b 2 3 ) ( c 2 3 ) ( 2 2 3 ) ( 1 2 3 ) = 4 9 \left(b - \frac{2}{3}\right)\left(c - \frac{2}{3}\right) \ge \left(2 - \frac{2}{3}\right)\left(1 - \frac{2}{3}\right) = \frac{4}{9} . This is a contradiction since it implies 4 9 > 4 9 \frac{4}{9} > \frac{4}{9} .

Hence the only possible solution occurs when b = c = 1 b = c = 1 . Then a = 2 a = 2 , so the answer is 4 \boxed{4} .

Dylan Pentland
May 4, 2015

A nice way to do this problem is to factor like this: a 3 b 3 c 3 3 a b c = ( a b c ) ( a 2 + b 2 + c 2 + a b + a c b c ) \displaystyle { a }^{ 3 }-{ b }^{ 3 }-{ c }^{ 3 }-3abc=(a-b-c)({ a }^{ 2 }+{ b }^{ 2 }+{ c }^{ 2 }+ab+ac-bc) As a 3 b 3 c 3 3 a b c = 0 { a }^{ 3 }-{ b }^{ 3 }-{ c }^{ 3 }-3abc=0 , we have that a = b + c a=b+c or another expression that makes the remaining factor zero. Luckily, the remaining factor can be expressed as (with quite a bit of work lol) ( a b 2 + c ) 2 + 3 4 ( a + b ) 2 \displaystyle { \left( \frac { a-b }{ 2 } +c \right) }^{ 2 }+\frac { 3 }{ 4 } { (a+b) }^{ 2 } Which means you can just ignore it, since it can only be zero if you use 0. This is because with integers a + b a+b must be 0 0 since both are squares, so one of a , b a,b is not a natural number. Interestingly, this makes the other square a + c a+c which implies a = b = c \left| a \right| =\left| b \right| =\left| c \right| if we're using integers to solve this particular expression! (More specifically in the form (a,-a,-a))

The system is equivalent to (where k = b + c k=b+c ) { a = k a 2 = 2 k \displaystyle \begin{cases} a=k \\ { a }^{ 2 }=2k \end{cases} So k = 2 k=2 , and a = 2 a=2 . Thus, a + b + c = 4 a+b+c=4 since there is only one way for natural numbers to sum to two. ( ( a , b , c ) = ( 2 , 1 , 1 ) (a,b,c)=(2,1,1) )

Well done Dylan! Seems like you got the clue im the title huh? xD Check my other 2 questions too if you like!

Arian Tashakkor - 6 years, 1 month ago

Log in to reply

Thanks! Great problem :)

Dylan Pentland - 6 years, 1 month ago

Log in to reply

Another alternative: a 2 + b 2 + c 2 + a b + b c c a = 1 2 [ ( a + b ) 2 + ( b + c ) 2 + ( c a ) 2 ] a^{2}+b^{2}+c^{2}+ab+bc-ca=\frac {1}{2}[(a+b)^{2}+(b+c)^{2}+(c-a)^{2}] .

Nice solution!

Joel Tan - 6 years, 1 month ago

Hi! I think that the problem has more 3 solutions... The problem says Z+, so 0 is valid. So we have (0,0,0), (2, 0, 2), (2, 1, 1) and (2, 2, 0). Am I wrong? And sure, if you want I show you how I get the others solutions.

Thiago Machado - 5 years, 12 months ago

Log in to reply

Hi, since Z + {\mathbb{Z}}^{+} is taking only positive integers, 0 is not included and so those solutions aren't either.

Dylan Pentland - 5 years, 12 months ago

Log in to reply

@Dylan Pentland Hi! Z+ is taking the non-negatives integers numbers. So, we have to include 0. Read this, please: https://proofwiki.org/wiki/Symbols:Z

Thiago Machado - 5 years, 12 months ago

Log in to reply

@Thiago Machado The only similar notation I found there was Z + {\mathbb{Z}}_{+} which I think is different. I've always known Z + {\mathbb{Z}}^{+} to be equivalent to N \mathbb{N} , which is what I am sure was intended. I know that whether or not zero is included isn't always clear (in fact the Wikipedia page on natural numbers says that half the time 0 is included) so if you still disagree you could report the problem and ask for clearer notation. :)

Dylan Pentland - 5 years, 12 months ago

Log in to reply

@Dylan Pentland Yeah... The notation must be clearer... Like 0^0... I'll report this problem! Thanks. ;D

Thiago Machado - 5 years, 12 months ago
Ashutosh Kumar
Feb 25, 2017

A little different approach!!

Shivamani Patil
May 25, 2015

First expression implies that a b c = 0 a-b-c=0 giving a = b + c a=b+c .Substituting this in second equation gives values of a a as 0 0 or 2 2 .Therefore a = 2 a=2 .Again we know that a = 2 = b + c a=2=b+c giving ( b , c ) = ( 1 , 1 ) (b,c)=(1,1) as the only pair.Therefore only triplet satisfying this system is ( 2 , 1 , 1 ) (2,1,1) .

Not so fast!You need some rigorous proof like the one Dylan Pentland has given.

Arian Tashakkor - 6 years ago

Log in to reply

Ok i will try currently I am new to writing rigorous proofs,but I will soon learn and write another solution.Thank you for informing.

shivamani patil - 6 years ago
Incredible Mind
May 5, 2015

ovberrated..so simple from 1st

a=b+c

sub into 2nd

aa=2a a=2 from conditions.

only possibiity

(2,1,1)

Moderator note:

You have only shown that one solution exists. You failed to show that it is the only solution.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...