# Proofs of Schweitzer's Inequality

### Preliminaries

P. Schweitzer proved the following inequality in a 1914 paper:

We already have two proofs on earlier pages:

The latter is an extract from D. A. Mitrinovic's book that was brought to my attention by N. N. Taleb. The book contains a wealth of information. Below I borrow from the book two inequalities (Diaz-Metcalf and Grüss) with proofs that are used to deliver two additional proofs of Schweitzer's inequality. The derivation of Schweitzer's inequality from Grüss' inequality is by N. N. Taleb.

**Reference**

D. S. Mitrinovic, Analytic Inequalities, Springer 1970

### Diaz-Metcalf Inequality (1963)

If $a_k\,(\ne 0)\,$ and $b_k,\,$ $k\in\overline{1,n},\,$ are real numbers and if

(1)

$\displaystyle m\le\frac{b_k}{a_k}\le M,\,\text{for}\,k\in\overline{1,n},$

then

(2)

$\displaystyle \sum_{k=1}^{n}b_k^2+mM\sum_{k=1}^{n}a_k^2\le (m+M)\sum_{k=1}^{n}a_kb_k.$

Equality holds iff in each of the $n\,$ inequalities in (1) at least one equality sign holds, i.e., $b_k=ma_k\,$ or $b_k=Ma_k\,$ (where the equation may vary with $k).$

**Proof**

By virtue of (1), $\displaystyle 0\le\left(\frac{b_k}{a_k}-m\right)\left(M-\frac{b_k}{a_k}\right)\,$ is obvious. Summing up

(3)

$\displaystyle 0\le\sum_{k=1}^{n}\left(\frac{b_k}{a_k}-m\right)\left(M-\frac{b_k}{a_k}\right),$

i.e.,

$\displaystyle 0\le -\sum_{k=1}^{n}[b_k^2-(m+M)a_kb_k+mMa_k^2]$

which is (2).

In inequality (3), or equivalently, in inequality (2), equality holds iff each of the summands $(b_k-ma_k)(Ma_k-b_k)\,$ is equal to zero, which proves the statement.

### Grüss' Inequality (1935)

Let $f\,$ and $g\,$ be two functions defined and integrable over $(a,b).\,$ Let

$\phi\le f(x)\le\Phi,\,\gamma\le g(x)\le \Gamma$

for all $x\in (a,b),\,$ where $\phi,\Phi,\gamma,\Gamma\,$ are fixed real constants. Then

(4)

$\displaystyle \left|\frac{1}{b-a}\int_{a}^{b}f(x)g(x)dx-\frac{1}{(b-a)^2}\int_{a}^{b}f(x)dx\int_{a}^{b}g(x)dx\right|\\ \qquad\qquad\le\frac{1}{4}(\Phi-\phi)(\Gamma-\gamma).$

**Proof**

First, by making the substitution $\displaystyle x=\frac{t-a}{b-a}\,$ the problem is reduced to the special case $a=0,\,b=1.\,$ Denote $F=\displaystyle \int_{0}^{1}f(x)dx,\,$ $G=\displaystyle \int_{0}^{1}g(x)dx,\,$ and consider

$\displaystyle D(f,g)=\int_{0}^{1}f(x)g(x)dx-FG.$

Then (4) reads

(5)

$\displaystyle D(f,g)\le\frac{1}{4}(\Phi-\phi)(\Gamma-\gamma).$

Note that

(6)

$D(f,f)=\displaystyle \int_0^1f^2(x)dx-\left(\int_0^1f(x)dx\right)^2\ge 0,\,$

by the *Cauchy-Schwarz inequality*. On the other hand,

$\displaystyle D(f,f)=(\Phi-F)(F-\phi)-\int_0^1[\Phi-f(x)][f(x)-\phi]dx,$

which implies

(7)

$\displaystyle D(f,f)\le (\Phi-F)(F-\phi).$

One can easily verify that

$\displaystyle D(f,g)\le \int_0^1(f(x)-F)(g(x)-G)dx.$

Using the *Cauchy-Schwarz inequality* inequality again, we get

$\displaystyle \begin{align} D(f,g)^2 &\le \int_0^1[f(x)-F]^2dx\int_0^1[g(x)-G]^2dx\\ &=D(f,f)D(g,g). \end{align}$

According to (6) and (7), we infer that

(8)

$\displaystyle D(f,g)^2\le (\Phi-F)(F-\phi)(\Gamma-G)(G-\gamma).$

Since

$4(\Phi-F)(F-\phi)\le (\Phi-\phi)^2,\\ 4(\Gamma-G)(G-\gamma)\le (\Gamma-\gamma)^2,$

we conclude that (8) implies (5).

Taking $f(x)=g(x)=sgn (2x-1),\,$ the constant $\displaystyle \frac{1}{4}\,$ in (5) is seen to be the best possible.

### Schweitzer's from Diaz-Metcalf

Letting $b_k^2=x_k,\,$ $\displaystyle a_k^2=\frac{1}{x_k}\,$ and assuming $m\le x_k\le M,\,$ so $\displaystyle \sqrt{m}\le b_k=\frac{1}{a_k}\le \sqrt{M},\,$ such that $\displaystyle m\le\frac{b_k}{a_k}\le M.\,$ The Diaz-Metcalf inequality then takes the form

$\displaystyle \sum_{k=1}^{n}x_k+mM\sum_{k=1}^{n}\frac{1}{x_k}\le (m+M)n,$

from which, employing the AM-GM inequality and subsequently squaring, we get

$\displaystyle \begin{align} &4mM\left(\sum_{k=1}^{n}x_k\right)\left(\sum_{k=1}^{n}\frac{1}{x_k}\right)\\ &\qquad\le\left(\sum_{k=1}^{n}x_k\right)^2+ \left(mM\sum_{k=1}^{n}\frac{1}{x_k}\right)^2+2mM\left(\sum_{k=1}^{n}x_k\right)\left(\sum_{k=1}^{n}\frac{1}{x_k}\right)\\ &\qquad\le (m+M)^2n^2. \end{align}$

Omitting the middle part gives Schweitzer's inequality.

$\displaystyle 4mM\left(\sum_{k=1}^{n}x_k\right)\left(\sum_{k=1}^{n}\frac{1}{x_k}\right)\le (m+M)^2n^2.$

### Schweitzer's from Grüss

We shall prove Schweitzer's inequality in integral form. Let in Grüss' inequality, $m\le f(x)\le M\,$ and $g(x)=\displaystyle \frac{1}{f(x)}.\,$ The inequality becomes

$\displaystyle \left|\frac{1}{b-a}\int_a^bdx-\frac{1}{(b-a)^2}\int_a^nf(x)dx\int_a^b\frac{dx}{f(x)}\right|\\ \qquad\le\displaystyle \frac{1}{4}(M-m)\left(\frac{1}{m}-\frac{1}{M}\right)=\frac{(M-m)^2}{4mM}.$

This in particular means that

$\displaystyle \frac{1}{(b-a)^2}\int_a^nf(x)dx\int_a^b\frac{dx}{f(x)}\le\frac{(M-m)^2}{4mM}+1=\frac{(M+m)^2}{4mM}. $

- An Inequality for Grade 8
- An Extension of the AM-GM Inequality
- Schur's Inequality
- Newton's and Maclaurin's Inequalities
- Rearrangement Inequality
- Chebyshev Inequality
- Jensen's Inequality
- Muirhead's Inequality
- Bergström's inequality
- Radon's Inequality and Applications
- Jordan and Kober Inequalities, PWW
- A Mathematical Rabbit out of an Algebraic Hat
- An Inequality With an Infinite Series
- An Inequality: 1/2 * 3/4 * 5/6 * ... * 99/100 less than 1/10
- A Low Bound for 1/2 * 3/4 * 5/6 * ... * (2n-1)/2n
- An Inequality: Easier to prove a subtler inequality
- Inequality with Logarithms
- An inequality: 1 + 1/4 + 1/9 + ... less than 2
- Inequality with Harmonic Differences
- An Inequality by Uncommon Induction
- Hlawka's Inequality
- An Inequality in Determinants
- Application of Cauchy-Schwarz Inequality
- An Inequality from Tibet
- An Inequality with Constraint
- An Inequality from Morocco
- An Inequality for Mixed Means
- An Inequality in Integers
- An Inequality in Integers II
- An Inequality in Integers III
- An Inequality with Exponents
- Exponential Inequalities for Means
- A Simple Inequality in Three Variables
- An Asymmetric Inequality
- Linear Algebra Tools for Proving Inequalities
- An Inequality with a Generic Proof
- A Generalization of an Inequality from a Romanian Olympiad
- Area Inequality in Trapezoid
- Improving an Inequality
- RomanoNorwegian Inequality
- Inequality with Nested Radicals II
- Inequality with Powers And Radicals
- Inequality with Two Minima
- Simple Inequality with Many Faces And Variables
- An Inequality with Determinants
- An Inequality with Determinants II
- An Inequality with Determinants III
- An Inequality with Determinants IV
- An Inequality with Determinants V
- An Inequality with Determinants VI
- An Inequality with Determinants VII
- An Inequality in Reciprocals
- An Inequality in Reciprocals II
- An Inequality in Reciprocals III
- Monthly Problem 11199
- A Problem from the Danubius Contest 2016
- A Problem from the Danubius-XI Contest
- An Inequality with Integrals and Rearrangement
- An Inequality with Cot, Cos, and Sin
- A Trigonometric Inequality from the RMM
- An Inequality with Finite Sums
- Hung Viet's Inequality
- Hung Viet's Inequality II
- Hung Viet's Inequality III
- Inequality by Calculus
- Dorin Marghidanu's Calculus Lemma
- An Area Inequality
- A 4-variable Inequality from the RMM
- An Inequality from RMM with Powers of 2
- A Cycling Inequality with Integrals
- A Cycling Inequality with Integrals II
- An Inequality with Absolute Values
- An Inequality from RMM with a Generic 5
- An Elementary Inequality by Non-elementary Means
- Inequality in Quadrilateral
- Marian Dinca's Refinement of Nesbitt's Inequality
- An Inequality in Cyclic Quadrilateral
- An Inequality in Cyclic Quadrilateral II
- An Inequality in Cyclic Quadrilateral III
- An Inequality in Cyclic Quadrilateral IV
- Inequality with Three Linear Constraints
- Inequality with Three Numbers, Not All Zero
- An Easy Inequality with Three Integrals
- Divide And Conquer in Cyclic Sums
- Wu's Inequality
- A Cyclic Inequality in Three Variables
- Dorin Marghidanu's Inequality in Complex Plane
- Dorin Marghidanu's Inequality in Integer Variables
- Dorin Marghidanu's Inequality in Many Variables
- Dorin Marghidanu's Inequality in Many Variables Plus Two More
- Dorin Marghidanu's Inequality with Radicals
- Dorin Marghidanu's Light Elegance in Four Variables
- Dorin Marghidanu's Spanish Problem
- Two-Sided Inequality - One Provenance
- An Inequality with Factorial
- Wonderful Inequality on Unit Circle
- Quadratic Function for Solving Inequalities
- An Inequality Where One Term Is More Equal Than Others
- An Inequality and Its Modifications
- Complicated Constraint - Simple Inequality
- Distance Inequality
- Two Products: Constraint and Inequality
- The power of substitution II: proving an inequality with three variables
- Algebraic-Geometric Inequality
- One Inequality - Two Domains
- Radicals, Radicals, And More Radicals in an Inequality
- An Inequality in Triangle and In General
- Cyclic Inequality with Square Roots
- Dan Sitaru's Cyclic Inequality In Many Variables
- An Inequality on Circumscribed Quadrilateral
- An Inequality with Fractions
- An Inequality with Complex Numbers of Unit Length
- An Inequality with Complex Numbers of Unit Length II
- Le Khanh Sy's Problem
- An Inequality Not in Triangle
- An Acyclic Inequality in Three Variables
- An Inequality with Areas, Norms, and Complex Numbers
- Darij Grinberg's Inequality In Three Variables
- Small Change Makes Big Difference
- Inequality with Two Variables? Think Again
- A Problem From a Mongolian Olympiad for Grade 11
- Sitaru--Schweitzer Inequality
- An Inequality with Cyclic Sums And Products
- Problem 1 From the 2016 Pan-African Math Olympiad
- An Inequality with Integrals and Radicals
- Twin Inequalities in Four Variables: Twin 1
- Twin Inequalities in Four Variables: Twin 2
- Simple Inequality with a Variety of Solutions
- A Partly Cyclic Inequality in Four Variables
- Dan Sitaru's Inequality by Induction
- An Inequality in Three (Or Is It Two) Variables
- An Inequality in Four Weighted Variables
- An Inequality in Fractions with Absolute Values
- Inequalities with Double And Triple Integrals
- An Old Inequality
- Dan Sitaru's Amazing, Never Ending Inequality
- Leo Giugiuc's Exercise
- Another Inequality with Logarithms, But Not Really
- A Cyclic Inequality of Degree Four
- An Inequality Solved by Changing Appearances
- Distances to Three Points on a Circle
- An Inequality with Powers And Logarithm
- Four Integrals in One Inequality
- Same Integral, Three Intervals
- Dorin Marghidanu's Inequality with Generalization
- Dan Sitaru's Inequality with Three Related Integrals and Derivatives
- An Inequality in Two Or More Variables
- An Inequality in Two Or More Variables II
- A Not Quite Cyclic Inequality
- Dan Sitaru's Inequality: From Three Variables to Many in Two Ways
- An Inequality with Sines But Not in a Triangle
- An Inequality with Angles and Integers
- Sladjan Stankovik's Inequality In Four Variables
- An Inequality with Two Pairs of Triplets
- A Refinement of Turkevich's Inequality
- Dan Sitaru's Exercise with Pi and Ln
- Problem 4165 from Crux Mathematicorum
- Leo Giugiuc's Cyclic Quickie in Four Variables
- Dan Sitaru's Cyclic Inequality in Four Variables
- A Not Quite Cyclic Inequality from Tibet
- Three Variables, Three Constraints, Two Inequalities (Only One to Prove) - by Leo Giugiuc
- An inequality in 2+2 variables from SSMA magazine
- Kunihiko Chikaya's Inequality with Parameter
- Dorin Marghidanu's Permuted Inequality

|Contact| |Up| |Front page| |Contents| |Algebra|

Copyright © 1996-2017 Alexander Bogomolny62685329 |