Topic: Cauchy inequality

Levels Supported

Primary: no

Junior: no

Intermediate: yes

Senior: yes

Intermediate

Important

The Cauchy-Schwarz inequality (often called the Cauchy inequality) is a fundamental result in algebra and inequalities. For any real numbers $a_1, a_2, ..., a_n$ and $b_1, b_2, ..., b_n$ , it states that:

(a_1^2 + a_2^2 + \cdots + a_n^2)(b_1^2 + b_2^2 + \cdots + b_n^2) \geq (a_1b_1 + a_2b_2 + \cdots + a_nb_n)^2

This inequality tells us that the product of the sums of squares is always at least as large as the square of the sum of the products.

Important properties:

Equality holds if and only if the sequences $(a_1, ..., a_n)$ and $(b_1, ..., b_n)$ are proportional (i.e., $a_i = k b_i$ for some constant $k$ and all $i$ ).
It is widely used to bound expressions and prove other inequalities.
It generalizes the idea that the arithmetic mean is at least the geometric mean.

Validation

Mathematical correctness: OK Age suitability: OK Progression between levels: OK