Proving the fourth property of inner products

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
6 replies · 2K views
Onezimo Cardoso

Homework Statement


upload_2017-7-28_18-15-22.png


Homework Equations


upload_2017-7-28_18-15-30.png


The Attempt at a Solution


[/B]
I could show that the first of the three properties are valid for any value of a,b,c but I couldn’t find a way to show the forth one.

Follow all the procedures I already did:

upload_2017-7-28_18-18-29.png


upload_2017-7-28_18-18-46.png

upload_2017-7-28_18-19-33.png
 

Attachments

  • upload_2017-7-28_18-16-3.png
    upload_2017-7-28_18-16-3.png
    12.1 KB · Views: 473
  • upload_2017-7-28_18-18-9.png
    upload_2017-7-28_18-18-9.png
    12.9 KB · Views: 500
  • upload_2017-7-28_18-19-1.png
    upload_2017-7-28_18-19-1.png
    15.2 KB · Views: 497
Physics news on Phys.org
Onezimo Cardoso said:

Homework Statement


View attachment 207920

Homework Equations


View attachment 207921

The Attempt at a Solution


[/B]
I could show that the first of the three properties are valid for any value of a,b,c but I couldn’t find a way to show the forth one.

Hint: if ##{\bf x} = (x_1,0)##, it is easy to show that ##\langle {\bf x,x} \rangle > 0## for any ##x_1 \neq 0##. Also: for ##x_2 \neq 0## we have ##(x_1,x_2) = x_2(x_1/x_2,1)##, so ##\langle {\bf x,x} \rangle = x_2^2 \langle {\bf u,u} \rangle##, where ##{\bf u} = (x_1/x_2,1) \equiv (t,1)##.
 
  • Like
Likes   Reactions: Onezimo Cardoso
are you allowed to use spectral theory here?

Your matrix

##
\begin{bmatrix}
a & b\\
b & c
\end{bmatrix}##

is real symmetric. If the determinant is positive (one of your conditions in the iff) and the trace is positive (implied by ##a \gt 0##... why?) then it this tells you...
 
Onezimo Cardoso said:

The Attempt at a Solution


[/B]
I could show that the first of the three properties are valid for any value of a,b,c but I couldn’t find a way to show the forth one.

Follow all the procedures I already did:
If you factorize Δ you get Δ=4x22(b2-4ac)