I have to ask a dumb question. I seem to be doing something very wrong here, and it's probably trivial, but for some reason I don't see what it is. I decided to try to prove the Cauchy-Schwarz inequality without opening a book. I remember that a proof I read once started by noting that(adsbygoogle = window.adsbygoogle || []).push({});

[tex]0\leq(x+ty,x+ty)=||x||^2+2 Re (t(x,y))+||y||^2[/tex]

t is an arbitrary complex number. From here on it's supposed to be about choosing the right t. The inequality above is obviously satisfied when Re(t(x,y))>0, so let's choose Arg t so that it's negative instead.

We get

[tex]0\leq||x||^2-2|t||(x,y)|+||y||^2[/tex]

or equivalently

[tex]|(x,y)|\leq\frac{1}{2|t|}(||x||^2+||y||^2)[/tex]

Now if we choose

[tex]|t|=\frac{||x||^2+||y||^2}{2||x||||y||}[/tex]

the inequality above turns into the Cauchy-Schwarz inequality.

Here's my dumb question: By choosing |t| much larger, I can make |(x,y)| as small as I want, and this implies that (x,y)=0 for arbitrary x and y! This obviously can't be true, I must have done something wrong. What's my mistake?

By the way, is there a better way to write the norm in LaTeX?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Find my mistake

Loading...

Similar Threads - Find mistake | Date |
---|---|

I How to find admissible functions for a domain? | Jan 31, 2018 |

I How to find the matrix of the derivative endomorphism? | Oct 22, 2017 |

I Finding the Kernel of a Matrix Map | Sep 15, 2017 |

A How can I find the collision time of 2 ellipsoids that rotate | May 22, 2017 |

I Did Artin make a mistake regarding isomorphisms? | Feb 7, 2017 |

**Physics Forums - The Fusion of Science and Community**