Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality

Benjamin Porter

March 14, 2006

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This document presents the mechanised proofs of two popular theorems attributed to Augustin Louis Cauchy - Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality.
BSD License

Topics

Theories of Cauchy