# Dan Sitaru's Inequality by Induction

### Problem

### Solution 1

Let $P(n)\,$ be the statement:

If $x_k\ge 1,\,$ $k=1,\ldots,n,\,$ then

$x_1+x_2+\ldots+x_n\leq n-1+x_1x_2\ldots x_n.$

We prove $P(n)\,$ by induction.

For $n=1,\,$ $x_1\ge 1-1+x_1,\,$ which is obviously true.

For $n=2,\,$ $x_1+x_2\le 2-1+x_1x_2\,$ is equivalent to $(x_1-1)(x_2-1)\ge 0,\,$ which is true because $x_1,x_2\ge 1.$

Now assume that for $n=k\ge 2,\,$ $P(k)\,$ is true and let there be numbers $x_1,\ldots,x_k,x_{k+1}\ge 1.\,$ We wish to prove that $P(k+1)\,$ is true, i.e.,

$x_1+x_2+\ldots+x_k+x_{k+1}\leq k+x_1x_2\ldots x_k x_{k+1}$

holds. By the inductive assumtion.

$x_1+x_2+\ldots+x_k\leq k-1+x_1x_2\ldots x_k$

and, therefore,

$x_1+x_2+\ldots+x_k+x_{k+1}\leq k-1+x_1x_2\ldots x_k+x_{k+1}.$

Suffice it to prove that

$k-1+x_1x_2\ldots x_k+x_{k+1}\leq k+x_1x_2\ldots x_k x_{k+1},$

i.e.,

$x_1x_2\ldots x_k+x_{k+1}\leq 1+x_1x_2\ldots x_k x_{k+1}.$

But this is equivalent to $0\leq x_1x_2\ldots x_k(x_{k+1}-1)-(x_{k+1}-1),\,$ i.e.,

$(x_1x_2\ldots x_k-1)(x_{k+1}-1)\geq 0,$

which is obviuosly true. This completes the induction.

Now, in particular, for $n=2,3,4,\,$ we have

$\begin{align} x_1+x_2&\leq 1+x_1x_2\\ x_1+x_2+x_3&\leq 2+x_1 x_2 x_3\\ x_1+x_2+x_3+x_4&\leq 3+x_1x_2x_3x_4\\ \end{align}$

By adding:

$3x_1+3x_2+2x_3+x_4\leq 6+x_1x_2+x_1x_2x_3+x_1x_2x_3x_4$

Setting $x_1=t^a; x_2=t^b; x_3=t^c; x_4=t^d$ leads to

$3t^a+3t^b+2t^c+t^d\leq 6+t^{a+b}+t^{a+b+c}+t^{a+b+c+d}.$

The inequality is preserved after integration:

$\displaystyle\begin{align} &3\int_0^1 t^a dt+3\int_0^1 t^b dt+2\int_0^1 t^c dt +\int_0^1 t^d dt\\ &\qquad\qquad\leq 6+\int_0^1 t^{a+b}dt +\int_0^1 t^{a+b+c}dt+\int_0^1 t^{a+b+c+d}dt \end{align}$

which is the required inequality

$\displaystyle\begin{align}&\frac{3}{a+1}+\frac{3}{b+1}+\frac{2}{c+1}+\frac{1}{d+1}\\ &\qquad\le 6+\frac{1}{a+b+1}+\frac{1}{a+b+c+1}+\frac{1}{a+b+c+d+1}. \end{align}$

### Solution 2

$\displaystyle \begin{align} &&I_1:\int_0^b \left[\frac{1}{(x+1)^2}-\frac{1}{(a+x+1)^2}\right]dx \geq 0 \\ &&I_2:\int_0^c \left[\frac{1}{(x+1)^2}-\frac{1}{(a+b+x+1)^2}\right]dx \geq 0 \\ &&I_3:\int_0^d \left[\frac{1}{(x+1)^2}-\frac{1}{(a+b+c+x+1)^2}\right]dx \geq 0 \end{align}$

The above inequalities follow from the integrands and the upper integration limits being non-negative. Carrying out the integration,

$\displaystyle \begin{align} &&I_1:-\frac{1}{b+1}+1+\frac{1}{a+b+1}-\frac{1}{a+1} \geq 0 \\ &&I_2:-\frac{1}{c+1}+1+\frac{1}{a+b+c+1}-\frac{1}{a+b+1} \geq 0 \\ &&I_3:-\frac{1}{d+1}+1+\frac{1}{a+b+c+d+1}-\frac{1}{a+b+c+1} \geq 0 \end{align}$

$3I_1+2I_2+I_3$ simplifies to the inequality to be proven.

### Acknowledgment

This problem from the Romanian Mathematical Magazine has been kindly posted at the CutTheKnotMath facebook page by Dan Sitaru. He later mailed his solution (Solution 1) in a LaTeX file as did Amit Itagi (Solution 2).

- 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 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

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

Copyright © 1996-2017 Alexander Bogomolny62016055 |