• Support PF! Buy your school textbooks, materials and every day products Here!

(Ugly?) Inequalities - Squares and sums

  • Thread starter mattmns
  • Start date
  • #1
1,058
6
Here is the question from the book:
------
Let [itex]n\geq1[/itex] and let [itex]a_1,...,a_n[/itex] and [itex]b_1,...,b_n[/itex] be real numbers. Verify the identity:
[tex]\left(\sum_{i=1}^n{a_ib_i}\right)^2 + \frac{1}{2}\sum_{i=1}^n{\sum_{j=1}^n{\left(a_ib_j-a_jb_i\right)^2}} = \left(\sum_{i=1}^n{a_i^2}\right)\left(\sum_{j=1}^n{b_j^2}\right)[/tex]

and conclude the Cauchy-Schwartz inequality:

[tex]\left|\sum_{i=1}^n{a_ib_i}\right| \leq \left(\sum_{i=1}^n{a_i^2}\right)^{1/2} \left(\sum_{j=1}^n{b_j^2}\right)^{1/2}[/tex]

Then use Cauchy-Schwartz to prove the triangle inequality:

[tex]\left(\sum_{i=1}^n{(a_i^2+b_i^2)}\right)^{1/2} \leq \left(\sum_{i=1}^n{a_i^2}\right)^{1/2} + \left(\sum_{j=1}^n{b_j^2}\right)^{1/2}[/tex]
----------------

I have been trying to mess around with the first one, and see what is going on, but it is looking extremely ugly, even with [itex]n=3[/itex].

Should I be trying to prove these by induction? Or are there some ways to manipulate these things easily? I guess the problem is almost notation, or that I don't know how to manipulate sums and squares properly. Any ideas would be appreciated. Thanks!
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618
Put it in this form:

[tex]\sum_{i=1}^n{\sum_{j=1}^n{a_i b_i a_j b_j +\frac{1}{2}\left(a_ib_j-a_jb_i\right)^2 - a_i^2 b_j^2}} = 0[/tex]

Now you basically just expand the middle term and wiggle some indices.
 

Related Threads for: (Ugly?) Inequalities - Squares and sums

  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
3
Views
2K
Replies
1
Views
8K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
10
Views
2K
Top