Go back
Inequality

Inequality

Posers and Puzzles

s

Joined
28 Aug 07
Moves
3178
Clock
03 Mar 08
Vote Up
Vote Down

a < b < c < d

prove:
(a + b + c + d)^2 > 8 (ac + bd)

coquette
Already mated

Omaha, Nebraska, USA

Joined
04 Jul 06
Moves
1121228
Clock
03 Mar 08
Vote Up
Vote Down

no

s

Joined
28 Aug 07
Moves
3178
Clock
03 Mar 08
Vote Up
Vote Down

Originally posted by coquette
no
no? it's wrong?

D

Joined
12 Sep 07
Moves
2668
Clock
04 Mar 08
Vote Up
Vote Down

The rearrangement inequality. cbf working it out though

wolfgang59
Quiz Master

RHP Arms

Joined
09 Jun 07
Moves
48794
Clock
04 Mar 08
Vote Up
Vote Down

Originally posted by serigado
a < b < c < d

prove:
(a + b + c + d)^2 > 8 (ac + bd)
Consider
{(a+b)-(c+d)}^2 > 0

Expand
(a+b)^2 + (c+d)^2 - 2(a+b)(c+d) > 0

* Therefore
(a+b)^2 + (c+d)^2 > 2(a+b)(c+d)


Now
{a+b+c+d}^2 = {(a+b)+(c+d)}^2
= (a+b)^2 + (c+d)^2 + 2(a+b)(c+d)

Now substituting for (a+b)^2 + (c+d)^2 from * gives;

{a+b+c+d}^2 > 4(a+b)(c+d)
expand

{a+b+c+d}^2 > 4(ac + bc + ad + bd)
{a+b+c+d}^2 > 4(ac + bc) + 4(ad + bd)

Let b=a+x (where x is =ve since we know b>a)

Substitute
{a+b+c+d}^2 > 4ac + 4(a+x)c + 4(b-x)d + 4bd

{a+b+c+d}^2 > 8ac + 4xc + 8bd -4xd

{a+b+c+d}^2 > 8(ac + bd) + 4x(c-d)

Therefore
{a+b+c+d}^2 > 8(ac + bd)

wolfgang59
Quiz Master

RHP Arms

Joined
09 Jun 07
Moves
48794
Clock
04 Mar 08
Vote Up
Vote Down

Just one flaw with my proof.
Its wrong!
😞

s

Joined
04 Nov 07
Moves
335
Clock
06 Mar 08
1 edit
Vote Up
Vote Down

Originally posted by wolfgang59
{a+b+c+d}^2 > 8(ac + bd) + 4x(c-d)
as d>c, c-d < 0 so next step is flawed

s

Joined
04 Nov 07
Moves
335
Clock
06 Mar 08
Vote Up
Vote Down

my solution, based on wolfgang:

Consider
{(a+d)-(b+c)}^2 > 0

Expand
(a+d)^2 + (b+c)^2 - 2(a+d)(b+c) > 0

* Therefore
(a+d)^2 + (b+c)^2 > 2(a+d)(b+c)


Now
{a+b+c+d}^2 = {(a+d)+(b+c)}^2
= (a+d)^2 + (b+c)^2 + 2(a+d)(b+c)

Now substituting for (a+d)^2 + (b+c)^2 from * gives;

{a+b+c+d}^2 > 4(a+d)(b+c)
expand

{a+b+c+d}^2 > 4(ab + ac + bc + bd)

Consider - ab + ac - cd + bd
= b(d-a) - c(d-a)
= (b-c)(d-a)
4(ab + ac + bc + bd):
{a+b+c+d}^2 > 4(ab + ac + bc + bd - ab + ac - cd + bd)
{a+b+c+d}^2 > 4(2ac + 2bd)

Hence:
{a+b+c+d}^2 > 8(ac + bd)

s

Joined
28 Aug 07
Moves
3178
Clock
06 Mar 08
5 edits
Vote Up
Vote Down

Consider - ab + ac - cd + bd
= b(d-a) - c(d-a)
= (b-c)(d-a)


You only forgot to say this quantity is negative because a < b< c< d


4(ab + ac + bc + bd):
{a+b+c+d}^2 > 4(ab + ac + bc + bd - ab + ac - cd + bd)
{a+b+c+d}^2 > 4(2ac + 2bd)


And forgot to mention bc - cd is negative too, so the inequality is maintained

l

Joined
14 Dec 05
Moves
5694
Clock
06 Mar 08
1 edit
Vote Up
Vote Down

l

Joined
14 Dec 05
Moves
5694
Clock
06 Mar 08
Vote Up
Vote Down

Originally posted by sb3700
my solution, based on wolfgang:

Consider
{(a+d)-(b+c)}^2 > 0

Expand
(a+d)^2 + (b+c)^2 - 2(a+d)(b+c) > 0

* Therefore
(a+d)^2 + (b+c)^2 > 2(a+d)(b+c)


Now
{a+b+c+d}^2 = {(a+d)+(b+c)}^2
= (a+d)^2 + (b+c)^2 + 2(a+d)(b+c)

Now substituting for (a+d)^2 + (b+c)^2 from * gives;

{a+b+c+d}^2 > 4(a+d)(b+c)
expand

{a+b+c+d}^2 > 4(ab ...[text shortened]... c + bc + bd - ab + ac - cd + bd)
{a+b+c+d}^2 > 4(2ac + 2bd)

Hence:
{a+b+c+d}^2 > 8(ac + bd)
{a+b+c+d}^2 > 4(a+d)(b+c)
expand

This far I understand, but it gets confusing from here on. Where does the bc term come from in the next line?

{a+b+c+d}^2 > 4(ab + ac + bc + bd)

Consider - ab + ac - cd + bd
= b(d-a) - c(d-a)
= (b-c)(d-a)

l

Joined
14 Dec 05
Moves
5694
Clock
06 Mar 08
Vote Up
Vote Down

I get it now. Your proof looks good apart from the mix up with bc and cd.

Cookies help us deliver our Services. By using our Services or clicking I agree, you agree to our use of cookies. Learn More.