# The Unapologetic Mathematician

## The Cauchy-Schwarz Inequality

Today I want to present a deceptively simple fact about spaces equipped with inner products. The Cauchy-Schwarz inequality states that

$\displaystyle\langle v,w\rangle^2\leq\langle v,v\rangle\langle w,w\rangle$

for any vectors $v,w\in V$. The proof uses a neat little trick. We take a scalar $t$ and construct the vector $v+tw$. Now the positive-definiteness, bilinearity, and symmetry of the inner product tells us that

$\displaystyle0\leq\langle v+tw,v+tw\rangle=\langle v,v\rangle+2\langle v,w\rangle t+t^2\langle w,w\rangle$

This is a quadratic function of the real variable $t$. It can have at most one zero, if there is some value $t_0$ such that $v+t_0w$ is the zero vector, but it definitely can’t have two zeroes. That is, it’s either a perfect square or an irreducible quadratic. Thus we consider the discriminant and conclude

$\displaystyle\left(2\langle v,w\rangle\right)^2-4\langle w,w\rangle\langle v,v\rangle\leq0$

which is easily seen to be equivalent to the Cauchy-Schwarz inequality above. As a side effect, we see that we only get an equality (rather than an inequality) when $v$ and $w$ are linearly dependent.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 5 Comments	»

1. [...] We again consider a real vector space with an inner product. We’re going to use the Cauchy-Schwarz inequality to give geometric meaning to this [...]

Pingback by | April 17, 2009 | Reply

2. [...] We’re still looking at a real vector space with an inner product. We used the Cauchy-Schwarz inequality to define a notion of angle between two [...]

Pingback by | April 21, 2009 | Reply

3. [...] notion of length, defined by setting as before. What about angle? That will depend directly on the Cauchy-Schwarz inequality, assuming it holds. We’ll check that [...]

Pingback by | April 22, 2009 | Reply

4. [...] we can use the Cauchy-Schwarz inequality to conclude [...]

Pingback by | February 25, 2010 | Reply

5. [...] The condition relating and is very common in this discussion, so we will say that such a pair of real numbers are “Hölder conjugates” of each other. Given , the Hölder conjugate is uniquely defined by , which is a strictly decreasing function sending to itself (with order reversed, of course). The fact that this function has a (unique) fixed point at will be important. In particular, we will see that this norm is associated with an inner product on , and that Hölder’s inequality actually implies the Cauchy-Schwarz inequality! [...]

Pingback by | August 26, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 11, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9208481907844543, "perplexity_flag": "head"}