Misplaced Pages

Weierstrass product inequality

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematics, the Weierstrass product inequality states that for any real numbers 0 ≤ x1, ..., xn ≤ 1 we have

( 1 x 1 ) ( 1 x 2 ) ( 1 x 3 ) ( 1 x 4 ) . . . . ( 1 x n ) 1 S n , {\displaystyle (1-x_{1})(1-x_{2})(1-x_{3})(1-x_{4})....(1-x_{n})\geq 1-S_{n},}

and similarly, for 0 ≤ x1, ..., xn,

( 1 + x 1 ) ( 1 + x 2 ) ( 1 + x 3 ) ( 1 + x 4 ) . . . . ( 1 + x n ) 1 + S n , {\displaystyle (1+x_{1})(1+x_{2})(1+x_{3})(1+x_{4})....(1+x_{n})\geq 1+S_{n},}

where S n = x 1 + x 2 + x 3 + x 4 + . . . . + x n . {\displaystyle S_{n}=x_{1}+x_{2}+x_{3}+x_{4}+....+x_{n}.}

The inequality is named after the German mathematician Karl Weierstrass.

Proof

The inequality with the subtractions can be proven easily via mathematical induction. The one with the additions is proven identically. We can choose n = 1 {\displaystyle n=1} as the base case and see that for this value of n {\displaystyle n} we get

1 x 1 1 x 1 {\displaystyle 1-x_{1}\geq 1-x_{1}}

which is indeed true. Assuming now that the inequality holds for all natural numbers up to n > 1 {\displaystyle n>1} , for n + 1 {\displaystyle n+1} we have:

i = 1 n + 1 ( 1 x i ) = ( 1 x n + 1 ) i = 1 n ( 1 x i ) {\displaystyle \prod _{i=1}^{n+1}(1-x_{i})\,\,=(1-x_{n+1})\prod _{i=1}^{n}(1-x_{i})}
( 1 x n + 1 ) ( 1 i = 1 n x i ) {\displaystyle \geq (1-x_{n+1})\left(1-\sum _{i=1}^{n}x_{i}\right)}
= 1 i = 1 n x i x n + 1 + x n + 1 i = 1 n x i {\displaystyle =1-\sum _{i=1}^{n}x_{i}-x_{n+1}+x_{n+1}\sum _{i=1}^{n}x_{i}}
= 1 i = 1 n + 1 x i + x n + 1 i = 1 n x i {\displaystyle =1-\sum _{i=1}^{n+1}x_{i}+x_{n+1}\sum _{i=1}^{n}x_{i}}
1 i = 1 n + 1 x i {\displaystyle \geq 1-\sum _{i=1}^{n+1}x_{i}}

which concludes the proof.

References

  1. Toufik Mansour. "INEQUALITIES FOR WEIERSTRASS PRODUCTS" (PDF). Retrieved January 12, 2024.
  2. Dragoslav S., Mitrinović (1970). Analytic Inequalities. Springer-Verlag. ISBN 978-3-642-99972-7.
Category: