Cauchy-Schwarz Inequality

The real number Cauchy-Schwarz inequality is a multivariable inequality that holds for all real inputs. It has a variety of special cases, including the famous Engel’s form, that have found popular use on math contests and olympiads. Outside of contests, it is useful on optimization problems and in linear algebra. Here, we present an elementary proof using the discriminant of a quadratic.