Proving an inequality (not induction)

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 3K views
Bleys
Messages
74
Reaction score
0

Homework Statement


For any real numbers a,b,c,d, prove that
[tex]\left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)\geq\left(ac+bd\right)^{2}[/tex]

2. The attempt at a solution
I use the triangle inequality to show that
[tex]\left|ac+bd\right|^{2}\leq\left(\left|ac\right|+\left|bd\right|\right)^{2}[/tex]

[tex]\left(ac\right)^{2}+\left(bd\right)^{2}+2abcd\leq\left(ac\right)^{2}+\left(bd\right)^{2}+2\left|ac\right|\left|bd\right|[/tex]

But I'm not sure how to compare it with the final result. Can you assume that
[tex]2\left|ab\right|\left|cd\right|\leq\left(bc\right)^{2}+\left(ad\right)^{2}[/tex]
I know the answer is probably no, and you have to take cases of a<b<c<d, a<c<b<d, etc. But that's 24 cases to consider! And while some are analogous to others, it doesn't cut it by more than half.

Am I even remotely on the right track? Any help or hint would be appreciated.
 
Physics news on Phys.org
You might try a proof by contradiction.
Assume that (a^2 + b^2)(c^2 + d^2) < (ac + bd)^2

Expand both sides and move the terms on the right side over to the left. If you can end up with the square of something on the left side being less than zero, there's your contradiction.
 
Hi Bleys! :smile:
Bleys said:
Am I even remotely on the right track?

Nope. :redface:

Hint: forget triangle inequalities …

expand both sides (as Mark44 says), and then look at the difference …

does it remind you of something? :wink:
 
Oh right; so (ad-bc)^2 < 0, so the starting inequality must be true;
I did think about proof by contradiction but it was to prove
[tex]2\left|ab\right|\left|cd\right|\leq\left(bc\right) ^{2}+\left(ad\right)^{2}[/tex]
-_- feel kinda silly now..

Thank you for help, both you!