# Cauchy's Inequality

## Theorem

- $\ds \sum {r_i}^2 \sum {s_i}^2 \ge \paren {\sum {r_i s_i} }^2$

where all of $r_i, s_i \in \R$.

## Proof 1

For any $\lambda \in \R$, we define $f: \R \to \R$ as the function:

- $\ds \map f \lambda = \sum {\paren {r_i + \lambda s_i}^2}$

Now:

- $\map f \lambda \ge 0$

because it is the sum of squares of real numbers.

Hence:

\(\ds \forall \lambda \in \R: \, \) | \(\ds \map f \lambda\) | \(\equiv\) | \(\, \ds \sum {\paren { {r_i}^2 + 2 \lambda r_i s_i + \lambda^2 {s_i}^2} } \, \) | \(\, \ds \ge \, \) | \(\ds 0\) | |||||||||

\(\ds \) | \(\equiv\) | \(\, \ds \sum { {r_i}^2} + 2 \lambda \sum {r_i s_i} + \lambda^2 \sum { {s_i}^2} \, \) | \(\, \ds \ge \, \) | \(\ds 0\) |

This is a quadratic equation in $\lambda$.

From Solution to Quadratic Equation:

- $\ds a \lambda^2 + b \lambda + c = 0: a = \sum { {s_i}^2}, b = 2 \sum {r_i s_i}, c = \sum { {r_i}^2}$

The discriminant of this equation (that is $b^2 - 4 a c$) is:

- $\ds D := 4 \paren {\sum {r_i s_i} }^2 - 4 \sum { {r_i}^2} \sum { {s_i}^2}$

Aiming for a contradiction, suppose $D$ is (strictly) positive.

Then $\map f \lambda = 0$ has two distinct real roots, $\lambda_1 < \lambda_2$, say.

From Sign of Quadratic Function Between Roots, it follows that $f$ is (strictly) negative somewhere between $\lambda_1$ and $\lambda_2$.

But we have:

- $\forall \lambda \in \R: \map f \lambda \ge 0$

From this contradiction it follows that:

- $D \le 0$

which is the same thing as saying:

- $\ds \sum { {r_i}^2} \sum { {s_i}^2} \ge \paren {\sum {r_i s_i} }^2$

$\blacksquare$

## Proof 2

From the Complex Number form of the Cauchy-Schwarz Inequality, we have:

- $\ds \paren {\sum \cmod {w_i}^2} \paren {\sum \cmod {z_i}^2} \ge \cmod {\sum w_i z_i}^2$

where all of $w_i, z_i \in \C$.

As elements of $\R$ are also elements of $\C$, it follows that:

- $\ds \sum \size {r_i}^2 \sum \size {s_i}^2 \ge \size {\sum r_i s_i}^2$

where all of $r_i, s_i \in \R$.

But from the definition of modulus, it follows that:

- $\ds \forall r_i \in \R: \size {r_i}^2 = {r_i}^2$

Thus:

- $\ds \sum {r_i}^2 \sum {s_i}^2 \ge \paren {\sum r_i s_i}^2$

where all of $r_i, s_i \in \R$.

$\blacksquare$

## Also presented as

Cauchy's Inequality can also be expressed in the form:

- $\ds \sum_{i \mathop = 1}^n r_i s_i \le \sqrt {\paren {\sum_{i \mathop = 1}^n r_i} \paren {\sum_{i \mathop = 1}^n s_i} }$

where all of $r_i, s_i \in \R$.

## Vector Form

Let $\mathbf a$ and $\mathbf b$ be vectors in a vector space $V$.

Then:

- $\paren {\mathbf a \cdot \mathbf b}^2 \le \paren {\mathbf a \cdot \mathbf a} \paren {\mathbf b \cdot \mathbf b}$

where $\cdot$ denotes dot product.

## Also known as

**Cauchy's Inequality** is also known as the **Cauchy-Schwarz Inequality**.

However, that name is also given to the more general Cauchy-Bunyakovsky-Schwarz Inequality, and so will not be used in this context on $\mathsf{Pr} \infty \mathsf{fWiki}$.

Some sources refer to this as the **Cauchy-Schwarz inequality for sums**.

## Source of Name

This entry was named for Augustin Louis Cauchy.

## Historical Note

The result known as Cauchy's Inequality was first published by Augustin Louis Cauchy in $1821$.

It is a special case of the Cauchy-Bunyakovsky-Schwarz Inequality.

## Sources

- 1964: Milton Abramowitz and Irene A. Stegun:
*Handbook of Mathematical Functions*... (previous) ... (next): $3$: Elementary Analytic Methods: $3.2$ Inequalities: Cauchy's Inequality: $3.2.9$ - 1968: Murray R. Spiegel:
*Mathematical Handbook of Formulas and Tables*... (previous) ... (next): $\S 36$: Inequalities: $36.3$: Cauchy-Schwartz Inequality - 1989: Ephraim J. Borowski and Jonathan M. Borwein:
*Dictionary of Mathematics*... (previous) ... (next):**Cauchy's inequality** - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next):**Cauchy-Schwarz inequality**: $(2)$ - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next):**Cauchy-Schwarz inequality**: $(2)$

- For a video presentation of the contents of this page, visit the Khan Academy.