#### SamRoss

Gold Member

- 164

- 14

- Summary
- In going from |X|+|Y|>=|X+Y| to 2|X||Y|>=|<X|Y>+<Y|X>|, I'm not sure why the last set of absolute value symbols are necessary.

Reading The Theoretical Minimum by Susskind and Friedman. They state the following...

$$\left|X\right|=\sqrt {\langle X|X \rangle}\\

\left|Y\right|=\sqrt {\langle Y|Y \rangle}\\

\left|X+Y\right|=\sqrt {\left({\left<X\right|+\left<Y\right|}\right)\left({\left|X\right>+\left|Y\right>}\right)}$$

Then they state (based on triangle logic described earlier)...

$$\left|X\right|+\left|Y\right|\geq\left|X+Y\right|$$

They then say that if we square the above inequality on both sides and simplify (which, as far as I can see, simply amounts to subtracting ##\left|X\right|^2+\left|Y\right|^2## from both sides), we get...

2|X||Y| >= |<X|Y>+<Y|X>| (Sorry for this rendering. I was having trouble with Latex.)

My question is - where did the absolute value symbols on the right side come from? Why isn't it just 2|X||Y| >= <X|Y>+<Y|X> ?

$$\left|X\right|=\sqrt {\langle X|X \rangle}\\

\left|Y\right|=\sqrt {\langle Y|Y \rangle}\\

\left|X+Y\right|=\sqrt {\left({\left<X\right|+\left<Y\right|}\right)\left({\left|X\right>+\left|Y\right>}\right)}$$

Then they state (based on triangle logic described earlier)...

$$\left|X\right|+\left|Y\right|\geq\left|X+Y\right|$$

They then say that if we square the above inequality on both sides and simplify (which, as far as I can see, simply amounts to subtracting ##\left|X\right|^2+\left|Y\right|^2## from both sides), we get...

2|X||Y| >= |<X|Y>+<Y|X>| (Sorry for this rendering. I was having trouble with Latex.)

My question is - where did the absolute value symbols on the right side come from? Why isn't it just 2|X||Y| >= <X|Y>+<Y|X> ?