An algebra problem by Anoopam Mishra

Algebra Level 3

If a 2 + b 2 + c 2 = 1 a^2 + b^2 + c^2 = 1 then a b + b c + c a ab+bc+ca lies in the interval (a,b,c are real)

[-0.5,1] [-1,0.5] [0.5,2] [-1,2]

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

Tom Zhou
Sep 4, 2014

We will find the maximum and minimum values separately.

Minimum \textbf{Minimum} : Since a , b a,b and c c are real numbers, then

( a + b + c ) 2 = a 2 + b 2 + c 2 + 2 ( a b + b c + a c ) = 1 + 2 ( a b + b c + a c ) 0 (a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ac)=1+2(ab+bc+ac)\ge0

a b + b c + a c 1 2 \Rightarrow ab+bc+ac\ge-\frac{1}{2}

for which equality can be attained when a , b a,b and c c satisfy the system

{ a 2 + b 2 + c 2 = 1 a + b + c = 0 a b + b c + a c = 1 2 \begin{cases} a^2+b^2+c^2=1\\ a+b+c=0\\ ab+bc+ac=-\frac{1}{2}\\ \end{cases}

One such triplet is ( a , b , c ) = ( 2 6 , 1 6 , 1 6 ) (a,b,c)=(\frac{2}{\sqrt{6}}, -\frac{1}{\sqrt{6}}, -\frac{1}{\sqrt{6}}) .

Maximum \textbf{Maximum} : We prove the well known inequality

a 2 + b 2 + c 2 a b + a c + b c a^2+b^2+c^2\ge ab+ac+bc

for real variables. We consider the two sequences a , b , c a,b,c and a , b , c a,b,c . Notice that in a 2 + b 2 + c 2 a^2+b^2+c^2 , the largest two terms from each of the sequences is paired off as so is the other two terms in order. Thus by the Rearrangement Inequality, a 2 + b 2 + c 2 a^2+b^2+c^2 is the largest possible pairing of each term from one sequence to the other, in particular,

a 2 + b 2 + c 2 = 1 a b + b c + a c a^2+b^2+c^2=1\ge ab+bc+ac

One way equality is achieved is when a = b = c = 1 3 a=b=c=\frac{1}{\sqrt{3}}

(AM-GM might've not worked in proving the above inequality due to fact that the variables are not restricted to being nonnegative.)

Combining the arguments above gives that

a b + b c + a c [ 0.5 , 1 ] ab+bc+ac\in\boxed{[-0.5,1]}

I found the minimum of ab+bc+ca using the exactly same way as Zhou. But for maximum, I used Cauchy-Schwarz Inequality (for 3 variables), which states that ( a 2 + b 2 + c 2 ) ( x 2 + y 2 + z 2 ) ( a x + b y + c z ) 2 (a^2+b^2+c^2)(x^2+y^2+z^2)\ge (ax+by+cz)^2

If we let x=y=z=1,

( a 2 + b 2 + c 2 ) ( 1 2 + 1 2 + 1 2 ) ( a ( 1 ) + b ( 1 ) + c ( 1 ) ) 2 3 ( a 2 + b 2 + c 2 ) ( a + b + c ) 2 3 ( a + b + c ) 2 (a^{ 2 }+b^{ 2 }+c^{ 2 })(1^{ 2 }+1^{ 2 }+1^{ 2 })\ge (a(1)+b(1)+c(1))^{ 2 }\\ 3(a^{ 2 }+b^{ 2 }+c^{ 2 })\ge (a+b+c)^{ 2 }\\ \therefore \quad 3\ge (a+b+c)^{ 2 }

Now, we know that ( a + b + c ) 2 = a 2 + b 2 + c 2 + 2 ( a b + b c + c a ) = 1 + 2 ( a b + b c + c a ) (a+b+c)^{ 2 }=a^{ 2 }+b^{ 2 }+c^{ 2 }+2(ab+bc+ca)=1+2(ab+bc+ca) . Substituting that in the inequality gives us 3 1 + 2 ( a b + b c + c a ) a b + b c + c a 1 3\ge 1+2(ab+bc+ca)\rightarrow ab+bc+ca\le 1 .

Nick Lee - 6 years, 7 months ago

Brilliant answer!

Anoopam Mishra - 6 years, 9 months ago

Uoah! Very nice!!

Jordi Bosch - 6 years, 8 months ago

I think, to use the Rearrangement Inequality, you'd have to WLOG assume that c b a c \leq b \leq a .

Tanishq kancharla - 6 years, 7 months ago
Mehul Chaturvedi
Oct 23, 2014

we can use cauchy scwarz in equality

Can you provide more details? How do we use it?

Calvin Lin Staff - 6 years, 7 months ago

Log in to reply

I t s t a t e s t h a t ( a 1 x 1 + a 2 x 2 . . . . . . a n x n ) 2 ( a 1 2 + a 2 2 . . . a n 2 ) ( x 1 2 + x 2 2 . . . . . . x n 2 ) It\quad states\quad that\quad \\ { ({ a }_{ 1 }{ x }_{ 1 }+a_{ 2 }{ x }_{ 2 }......{ a }_{ n }{ x }_{ n }) }^{ 2 }\le ({ a }_{ 1 }^{ 2 }+{ a }_{ 2 }^{ 2 }...{ a }_{ n }^{ 2 })({ x }_{ 1 }^{ 2 }+{ x }_{ 2 }^{ 2 }......{ x }_{ n }^{ 2 })

Mehul Chaturvedi - 6 years, 7 months ago

Or You can check it From the solution of @Nick Lee I also did the same

Mehul Chaturvedi - 6 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...