Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality

Benjamin Porter

14 March 2006

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.