Misplaced Pages

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Titu's lemma" – news · newspapers · books · scholar · JSTOR (September 2018) (Learn how and when to remove this message) A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Misplaced Pages's content policies, particularly neutral point of view. Please discuss further on the talk page. (September 2018) (Learn how and when to remove this message) (Learn how and when to remove this message)

In mathematics, the following inequality is known as Titu's lemma, Bergström's inequality, Engel's form or Sedrakyan's inequality, respectively, referring to the article About the applications of one useful inequality of Nairi Sedrakyan published in 1997, to the book Problem-solving strategies of Arthur Engel published in 1998 and to the book Mathematical Olympiad Treasures of Titu Andreescu published in 2003. It is a direct consequence of Cauchy–Bunyakovsky–Schwarz inequality. Nevertheless, in his article (1997) Sedrakyan has noticed that written in this form this inequality can be used as a proof technique and it has very useful new applications. In the book Algebraic Inequalities (Sedrakyan) several generalizations of this inequality are provided.

Statement of the inequality

For any real numbers ${\displaystyle a_{1},a_{2},a_{3},\ldots ,a_{n}}$ and positive reals ${\displaystyle b_{1},b_{2},b_{3},\ldots ,b_{n},}$ we have ${\displaystyle {\frac {a_{1}^{2}}{b_{1}}}+{\frac {a_{2}^{2}}{b_{2}}}+\cdots +{\frac {a_{n}^{2}}{b_{n}}}\geq {\frac {\left(a_{1}+a_{2}+\cdots +a_{n}\right)^{2}}{b_{1}+b_{2}+\cdots +b_{n}}}.}$ (Nairi Sedrakyan (1997), Arthur Engel (1998), Titu Andreescu (2003))

Probabilistic statement

Similarly to the Cauchy–Schwarz inequality, one can generalize Sedrakyan's inequality to random variables. In this formulation let ${\displaystyle X}$ be a real random variable, and let ${\displaystyle Y}$ be a positive random variable. X and Y need not be independent, but we assume ${\displaystyle E}$ and ${\displaystyle E}$ are both defined. Then $${\displaystyle \operatorname {E} \geq \operatorname {E} ^{2}/\operatorname {E} \geq \operatorname {E} ^{2}/\operatorname {E} .}$$

Direct applications

Example 1. Nesbitt's inequality.

For positive real numbers ${\displaystyle a,b,c:}$ ${\displaystyle {\frac {a}{b+c}}+{\frac {b}{a+c}}+{\frac {c}{a+b}}\geq {\frac {3}{2}}.}$

Example 2. International Mathematical Olympiad (IMO) 1995.

For positive real numbers ${\displaystyle a,b,c}$, where ${\displaystyle abc=1}$ we have that ${\displaystyle {\frac {1}{a^{3}(b+c)}}+{\frac {1}{b^{3}(a+c)}}+{\frac {1}{c^{3}(a+b)}}\geq {\frac {3}{2}}.}$

Example 3.

For positive real numbers ${\displaystyle a,b}$ we have that ${\displaystyle 8(a^{4}+b^{4})\geq (a+b)^{4}.}$

Example 4.

For positive real numbers ${\displaystyle a,b,c}$ we have that ${\displaystyle {\frac {1}{a+b}}+{\frac {1}{b+c}}+{\frac {1}{a+c}}\geq {\frac {9}{2(a+b+c)}}.}$

Proofs

Example 1.

Proof: Use ${\displaystyle n=3,}$ ${\displaystyle \left(a_{1},a_{2},a_{3}\right):=(a,b,c),}$ and ${\displaystyle \left(b_{1},b_{2},b_{3}\right):=(a(b+c),b(c+a),c(a+b))}$ to conclude: $${\displaystyle {\frac {a^{2}}{a(b+c)}}+{\frac {b^{2}}{b(c+a)}}+{\frac {c^{2}}{c(a+b)}}\geq {\frac {(a+b+c)^{2}}{a(b+c)+b(c+a)+c(a+b)}}={\frac {a^{2}+b^{2}+c^{2}+2(ab+bc+ca)}{2(ab+bc+ca)}}={\frac {a^{2}+b^{2}+c^{2}}{2(ab+bc+ca)}}+1\geq {\frac {1}{2}}(1)+1={\frac {3}{2}}.\blacksquare }$$

Example 2.

We have that ${\displaystyle {\frac {{\Big (}{\frac {1}{a}}{\Big )}^{2}}{a(b+c)}}+{\frac {{\Big (}{\frac {1}{b}}{\Big )}^{2}}{b(a+c)}}+{\frac {{\Big (}{\frac {1}{c}}{\Big )}^{2}}{c(a+b)}}\geq {\frac {{\Big (}{\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}{\Big )}^{2}}{2(ab+bc+ac)}}={\frac {ab+bc+ac}{2a^{2}b^{2}c^{2}}}\geq {\frac {3{\sqrt{a^{2}b^{2}c^{2}}}}{2a^{2}b^{2}c^{2}}}={\frac {3}{2}}.}$

Example 3.

We have ${\displaystyle {\frac {a^{2}}{1}}+{\frac {b^{2}}{1}}\geq {\frac {(a+b)^{2}}{2}}}$ so that ${\displaystyle a^{4}+b^{4}={\frac {\left(a^{2}\right)^{2}}{1}}+{\frac {\left(b^{2}\right)^{2}}{1}}\geq {\frac {\left(a^{2}+b^{2}\right)^{2}}{2}}\geq {\frac {\left({\frac {(a+b)^{2}}{2}}\right)^{2}}{2}}={\frac {(a+b)^{4}}{8}}.}$

Example 4.

We have that ${\displaystyle {\frac {1}{a+b}}+{\frac {1}{b+c}}+{\frac {1}{a+c}}\geq {\frac {(1+1+1)^{2}}{2(a+b+c)}}={\frac {9}{2(a+b+c)}}.}$

References

1. Sedrakyan, Nairi (1997). "About the applications of one useful inequality". Kvant Journal. pp. 42–44, 97(2), Moscow.
2. Sedrakyan, Nairi (1997). A useful inequality. Springer International publishing. p. 107. ISBN 9783319778365.
3. "Statement of the inequality". Brilliant Math & Science. 2018.
4. Sedrakyan, Nairi (2018). Algebraic inequalities. Springer International publishing. pp. 107–109.

v t e Linear algebra
Outline Glossary
Basic concepts	Scalar Vector Vector space Scalar multiplication Vector projection Linear span Linear map Linear projection Linear independence Linear combination Multilinear map Basis Change of basis Row and column vectors Row and column spaces Kernel Eigenvalues and eigenvectors Transpose Linear equations
Matrices	Block Decomposition Invertible Minor Multiplication Rank Transformation Cramer's rule Gaussian elimination Productive matrix
Bilinear	Orthogonality Dot product Hadamard product Inner product space Outer product Kronecker product Gram–Schmidt process
Multilinear algebra	Determinant Cross product Triple product Seven-dimensional cross product Geometric algebra Exterior algebra Bivector Multivector Tensor Outermorphism
Vector space constructions	Dual Direct sum Function space Quotient Subspace Tensor product
Numerical	Floating-point Numerical stability Basic Linear Algebra Subprograms Sparse matrix Comparison of linear algebra libraries
Category

• Inequalities
• Linear algebra
• Operator theory
• Mathematical analysis
• Probabilistic inequalities