How Do I Show the Fourth Property for Inner Product in This Homework?

Click For Summary
The discussion focuses on demonstrating the fourth property of an inner product, which has proven challenging for the participants despite successfully validating the first three properties. A hint suggests using a specific vector form to show that the inner product is positive for non-zero components. Additionally, there are discussions about the determinant of a related matrix and its implications for the properties of the inner product. The conversation emphasizes the importance of understanding the conditions under which the determinant and trace provide insights into the positivity of the inner product. Overall, the participants are seeking clarity on the mathematical principles involved in proving the fourth property.
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: 442
  • upload_2017-7-28_18-18-9.png
    upload_2017-7-28_18-18-9.png
    12.9 KB · Views: 472
  • upload_2017-7-28_18-19-1.png
    upload_2017-7-28_18-19-1.png
    15.2 KB · Views: 470
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 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...
 
upload_2017-7-31_21-22-7.png


upload_2017-7-31_21-22-39.png


upload_2017-7-31_21-23-18.png
 

Attachments

  • upload_2017-7-31_21-20-12.png
    upload_2017-7-31_21-20-12.png
    19.9 KB · Views: 505
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)
 
Onezimo Cardoso said:

Why do you suppose I wrote ##\langle {\bf x,x} \rangle = x_2^2 \langle {\bf u,u} \rangle##, where ##{\bf u} = (t,1)?## The fact that ##t = x_1/x_2## does not really matter at all if all you want to know is the sign of ##\langle {\bf u,u} \rangle##---think about it!
 

Similar threads

Replies
5
Views
2K
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K