In mathematics, Bernoulli's inequality (named after Jacob Bernoulli) is an inequality that approximates exponentiations of 1+x. It is often employed in real analysis. It has several useful variants:

Integer exponent

Real exponent

History

Jacob Bernoulli first published the inequality in his treatise "Positiones Arithmeticae de Seriebus Infinitis" (Basel, 1689), where he used the inequality often. According to Joseph E. Hofmann, Über die Exercitatio Geometrica des M. A. Ricci (1963), p. 177, the inequality is actually due to Sluse in his Mesolabum (1668 edition), Chapter IV "De maximis & minimis".

Proof for integer exponent

The first case has a simple inductive proof: Suppose the statement is true for r=k: Then it follows that Bernoulli's inequality can be proved for case 2, in which r is a non-negative integer and x\ge-2, using mathematical induction in the following form: For r=0, is equivalent to 1\geq 1 which is true. Similarly, for r=1 we have Now suppose the statement is true for r=k: Then it follows that since x^2\ge 0 as well as x+2\ge0. By the modified induction we conclude the statement is true for every non-negative integer r. By noting that if x<-2, then 1+rx is negative gives case 3.

Generalizations

Generalization of exponent

The exponent r can be generalized to an arbitrary real number as follows: if x>-1, then for r\leq 0 or \geq 1, and for. This generalization can be proved by comparing derivatives. The strict versions of these inequalities require x\neq 0 and r\neq 0, 1.

Generalization of base

Instead of (1+x)^n the inequality holds also in the form where are real numbers, all greater than -1, all with the same sign. Bernoulli's inequality is a special case when. This generalized inequality can be proved by mathematical induction. In the first step we take n=1. In this case the inequality is obviously true. In the second step we assume validity of the inequality for r numbers and deduce validity for r+1 numbers. We assume thatis valid. After multiplying both sides with a positive number we get: As all have the same sign, the products are all positive numbers. So the quantity on the right-hand side can be bounded as follows:what was to be shown.

Related inequalities

The following inequality estimates the r-th power of 1+x from the other side. For any real numbers x and r with r >0, one has where e = 2.718.... This may be proved using the inequality

Alternative form

An alternative form of Bernoulli's inequality for t\geq 1 and 0\le x\le 1 is: This can be proved (for any integer t) by using the formula for geometric series: (using y=1-x) or equivalently

Alternative proofs

Arithmetic and geometric means

An elementary proof for 0\le r\le 1 and x \ge -1 can be given using weighted AM-GM. Let be two non-negative real constants. By weighted AM-GM on 1,1+x with weights respectively, we get Note that and so our inequality is equivalent to After substituting (bearing in mind that this implies 0\le r\le 1) our inequality turns into which is Bernoulli's inequality.

Geometric series

Bernoulli's inequality is equivalent to and by the formula for geometric series (using y = 1 + x) we get which leads to Now if x \ge 0 then by monotony of the powers each summand, and therefore their sum is greater 0 and hence the product on the LHS of. If then by the same arguments 1\ge(1+x)^k and thus all addends (1+x)^k-1 are non-positive and hence so is their sum. Since the product of two non-positive numbers is non-negative, we get again .

Binomial theorem

One can prove Bernoulli's inequality for x ≥ 0 using the binomial theorem. It is true trivially for r = 0, so suppose r is a positive integer. Then Clearly and hence as required.

Using convexity

For the function is strictly convex. Therefore, for 0<\alpha<1 holds and the reversed inequality is valid for \alpha<0 and \alpha>1. Another way of using convexity is to re-cast the desired inequality to for real r\geq 1 and real x > -1/r. This inequality can be proved using the fact that the \log function is concave, and then using Jensen's inequality in the form to give: which is the desired inequality.