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.

License

BSD License

Topics

Session Cauchy

Used by

Cite

× 
@article{Cauchy-AFP,
  author  = {Benjamin Porter},
  title   = {Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality},
  journal = {Archive of Formal Proofs},
  month   = {March},
  year    = {2006},
  note    = {\url{https://isa-afp.org/entries/Cauchy.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: