Equality cases

Level 2

Let a , b , c , d a,b,c,d be non-negative real numbers such that they satisfy a 2 + b 2 + c 2 + d 2 = 4 a^2+b^2+c^2+d^2=4 . How many ordered pairs ( a , b , c , d ) (a,b,c,d) satisfy ( a + b + c + d ) ( a 3 + b 3 + c 3 + d 3 ) = 16 (a+b+c+d)(a^3+b^3+c^3+d^3)= 16 ?


The answer is 15.

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.

2 solutions

Daniel Liu
Jan 12, 2014

We will first prove that ( a + b + c + d ) ( a 3 + b 3 + c 3 + d 3 ) 16 (a+b+c+d)(a^3+b^3+c^3+d^3)\ge 16 .

Assume a , b , c , d > 0 a,b,c,d > 0 . Note by Titu's Lemma on a 4 a + b 4 b + c 4 c + d 4 d \dfrac{a^4}{a}+\dfrac{b^4}{b}+\dfrac{c^4}{c}+\dfrac{d^4}{d} that a 3 + b 3 + c 3 + d 3 ( a 2 + b 2 + c 2 + d 2 ) 2 a + b + c + d a^3+b^3+c^3+d^3\ge \dfrac{(a^2+b^2+c^2+d^2)^2}{a+b+c+d} , or ( a + b + c + d ) ( a 3 + b 3 + c 3 + d 3 ) ( a 2 + b 2 + c 2 + d 2 ) 2 (a+b+c+d)(a^3+b^3+c^3+d^3)\ge (a^2+b^2+c^2+d^2)^2 . Since a 2 + b 2 + c 2 + d 2 = 4 a^2+b^2+c^2+d^2=4 , we have that ( a + b + c + d ) ( a 3 + b 3 + c 3 + d 3 ) 16 (a+b+c+d)(a^3+b^3+c^3+d^3)\ge 16 .

EDIT: Directly using Cauchy-Schwarz here is much more straightforward. Oops.

Equality is when a = b = c = d = 1 a=b=c=d=1 , so one solution so far.

Now let a = 0 a=0 . Following a similar argument as above, we find that equality case is when b = c = d = 2 3 3 b=c=d=\dfrac{2\sqrt{3}}{3} , for another solution. However, b , c , d = 0 b,c,d=0 give three more solutions, for a total of 4 4 solutions in this case.

Now let a = b = 0 a=b=0 . Similarly, equality case is when c = d = 2 c=d=\sqrt{2} . Permutations give us a total of 6 6 solutions in this case.

Now let a = b = c = 0 a=b=c=0 . Equality case is when d = 2 d=2 . Permutations give us a total of 4 4 solutions in this case.

We have a total of 1 + 4 + 6 + 4 = 15 1+4+6+4=\boxed{15} solutions.

Nice. You can shorten everything into 1 paragraph by saying that the equality case of Cauchy Schwarz (hence Titu) is when the ratio of non-zero terms is constant. We then have 2 4 1 2^4 - 1 solutions.

Calvin Lin Staff - 7 years, 5 months ago

It can also be done by expanding and then using am gm inequality....

Eddie The Head - 7 years, 5 months ago

You have no need to use Titu's Lemma. What you want follows directly from Cauchy, and Titu's Lemma (which I call fractional Cauchy) comes from Cauchy itself :)

Very good problem, though - I've been trying to make a problem using equality conditions for a while now. Is it your own creation?

Michael Tang - 7 years, 5 months ago

Log in to reply

Thanks! Yea, it is my own creation.

When I wrote this, I sucked even more in Inequalities than I did now, so excuse me for my derpiness. I realize now that Cauchy is a lot more straightforward to use.

Daniel Liu - 7 years, 4 months ago
Michael Tang
Jan 13, 2014

By the Cauchy-Schwarz inequality,

( a + b + c + d ) ( a 3 + b 3 + c 3 + d 3 ) ( a 2 + b 2 + c 2 + d 2 ) 2 . (a+b+c+d)(a^3+b^3+c^3+d^3) \ge (a^2+b^2+c^2+d^2)^2.

But ( a 2 + b 2 + c 2 + d 2 ) 2 = 16 , (a^2+b^2+c^2+d^2)^2 = 16, so the equality condition of Cauchy-Schwarz must hold: there must be some t R t \in \mathbb{R} so that for each x = a , b , c , d , x = a, b, c, d, either x = 0 x = 0 or x 3 x = t x 2 = t . \dfrac{x^3}{x} = t \implies x^2 = t. We take cases based on how many of a , b , c , d a, b, c, d are zero.

Case 1: All of a , b , c , d a, b, c, d are zero.

This is impossible, since a 2 + b 2 + c 2 + d 2 = 4. a^2+b^2+c^2+d^2=4.

Case 2: Three (all but one) of a , b , c , d a, b, c, d are zero.

Then the nonzero number must be 2 , 2, since a 2 + b 2 + c 2 + d 2 = 4. a^2+b^2+c^2+d^2=4. This arrangement satisfies both conditions, so there are ( 4 3 ) = 4 \dbinom43 = 4 ordered tuples in this case.

Case 3: Two of a , b , c , d a, b, c, d are zero.

WLOG, say that a , b 0 a, b \neq 0 and that c = d = 0. c=d=0. Then, a 2 = b 2 = t , a^2 = b^2 = t, so a = b . a = b. Since c = d = 0 , c=d=0, we have a 2 + b 2 = 4 a = b = 2 . a^2+b^2 = 4 \implies a = b = \sqrt{2}. This also satisfies the conditions, so we have ( 4 2 ) = 6 \dbinom42 = 6 ordered tuples in this case.

Case 4: One of a , b , c , d a, b, c, d is zero.

WLOG, say that a , b , c 0 a, b, c \neq 0 and that d = 0. d = 0. Then, similar to Case 3, a = b = c , a = b = c, and using a 2 + b 2 + c 2 + d 2 = 4 a^2+b^2+c^2+d^2 = 4 gives a , b , c = 4 / 3 . a, b, c = \sqrt{4/3}. This also satisfies the conditions, so there are ( 4 1 ) = 4 \dbinom41 = 4 ordered tuples in this case.

Case 5: None of a , b , c , d a, b, c, d are zero.

Then, similar to Case 3 and Case 4, all of a , b , c , d a, b, c, d must be equal. Because a 2 + b 2 + c 2 + d 2 = 4 , a^2+b^2+c^2+d^2=4, we must have a = b = c = d = 1 , a=b=c=d=1, giving one more ordered tuple.

We conclude that there are 4 + 6 + 4 + 1 = 15 4+6+4+1 = \boxed{15} such ordered tuples.

Yep, use use Cauchy. Darn, I suck.

Daniel Liu - 7 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...