Cauchy Mean Theorem
The purpose of this paper was to prove formally, using the Mizar language, Arithmetic Mean/Geometric Mean theorem known maybe better under the name of AM-GM inequality or Cauchy mean theorem. It states that the arithmetic mean of a list of a non-negative real numbers is greater than or equal to the...
Main Author: | Grabowski Adam |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2014-06-01
|
Series: | Formalized Mathematics |
Subjects: | |
Online Access: | https://doi.org/10.2478/forma-2014-0016 |
Similar Items
-
A solution of an open problem concerning Lagrangian mean-type mappings
by: Głazowska Dorota
Published: (2011-10-01) -
Trace inequalities for positive operators via recent refinements and reverses of Young’s inequality
by: Dragomir S. S.
Published: (2018-04-01) -
On New Generalized Dunkel Type Integral Inequalities with Applications
by: Dong-Sheng Wang, et al.
Published: (2021-08-01) -
Multiplicative inequalities for weighted arithmetic and harmonic operator means
by: Dragomir Sever S.
Published: (2019-08-01) -
A refinement of various mean inequalities
by: Takahasi Sin-Ei, et al.
Published: (1998-01-01)