Talk:Cauchy-Schwarz Inequality

Revision as of 13:07, 10 April 2008 by JBL (talk | contribs)

USAMO 1995 number 5 is a great problem solving example.--MCrawford 15:22, 18 June 2006 (EDT)

"not really a proof"

Any two vectors define a plane; in that plane, we can measure the angle between them, and CS is then equivalent to the fact that the cosine of this angle is less than 1 in absolute value. This is just as much a proof of CS (taking for granted some simple facts about the geometry of ${\bf R}^n$) as it is the reverse -- if you think these facts about ${\bf R}^n$ are "less basic" than CS, feel free to add a proof of CS using "more basic" things. --JBL 15:58, 9 April 2008 (UTC)

Hm. I agree with you that the cosine way is indeed a valid proof. But both of the proofs of the general form on this page are extremely close to the axioms of fields and inner product spaces, using almost no intermediate results, whereas the axiomatic construction of $\mathbf{R}^n$ and derivation of basic trigonometry is pretty nontrivial by comparison. So while I agree with you that it is perfectly valid to go this way, I also think it is valid (and perhaps easier) to construct $\mathbf{R}^n$ and define the cosine function analytically, and then to prove the restrictions on its range using one of the general proofs of Cauchy. —Boy Soprano II 18:40, 9 April 2008 (UTC)

No argument from me -- I was commenting on two edits that suggested this wasn't a valid proof. In fact, I think it might be nice to have a more elementary proof of the real case and then a discussion of this question in some appropriately-titled subsection somewhere.

Unrelatedly, why did you get rid of all the \left and \right commands? --JBL 17:07, 10 April 2008 (UTC)