Disuguaglianza di Bernoulli

La disuguaglianza di Bernoulli afferma che:

(1+x)^{n}\geq 1+nx

per ogni intero n ≥ 0 e ogni numero reale x > -1. La disuguaglianza di Bernoulli è un passo cruciale nella dimostrazione di altre disuguaglianze e si rivela uno strumento fondamentale per importanti dimostrazioni (tra cui quelle di particolari limiti).

Storia

La disuguaglianza prende il nome da Jacob Bernoulli, celebre matematico del XVII secolo, che ne pubblicò per primo l'enunciato nella seconda pagina del trattato Positiones Arithmeticae de Seriebus Infinitis pubblicato a Basilea nel 1689, facendone frequente uso nelle rimanenti parti dell'opera^[1]. Bernoulli ne dà una dimostrazione basata sul V libro degli Elementi di Euclide^[1], ma André Weil ritiene che Bernoulli fosse consapevole del fatto che la disuguaglianza aveva un significato anche in matematica finanziaria, in cui essa equivale a dire che indebitarsi a interesse composto è più oneroso che a interesse semplice.^[1]

Secondo quanto riporta Joseph E. Hofmann in un suo articolo sulla Exercitatio Geometrica di Michelangelo Ricci^[2] l'enunciazione della diseguaglianza si deve a René-François de Sluse che la espose nell'edizione 1668 del suo trattato sul mesolabio di Eratostene, al capitolo IV, intitolato De maximis & minimis^[1]^[3].

Dimostrazione

Dimostrazione per induzione

La disuguaglianza può essere dimostrata per induzione.

La verifica della tesi è banale per n = 0. Si supponga che sia vera per n: per completare l'induzione occorre dimostrare che è vera anche per n + 1. Moltiplicati entrambi i membri per (1 + x), fattore che è sempre maggiore di 0 per ipotesi, si ottiene:

(1+x)^{n+1}\geq (1+nx)(1+x)

(1+x)^{n+1}\geq 1+x+nx+nx^{2}

(1+x)^{n+1}\geq 1+(1+n)x+nx^{2}

Poiché nx² ≥ 0, l'omissione di questo termine può solo rendere più forte la relazione di disuguaglianza, quindi:

(1+x)^{n+1}\geq 1+(1+n)x+nx^{2}\geq 1+(1+n)x

Q.E.D.

Dimostrazione con lo sviluppo binomiale

Una versione più debole, in cui si suppone solo $x\geq 0$ , può essere ricavata come immediata conseguenza dello sviluppo binomiale del primo membro:

(1+x)^{n}=1+nx+{n \choose 2}x^{2}+\cdots +{n \choose n-1}x^{n-1}+{n \choose n}x^{n},

in cui si trascurano tutti i termini dello sviluppo contenenti potenze di x il cui ordine sia superiore a 1 (si suppone n > 0, visto che per n = 0 la si verifica in modo diretto).

Dimostrazione di René-François de Sluse

La dimostrazione pubblicata da René-François de Sluse nel 1668, anch'essa ristretta al caso $x\geq 0$ . Scartando il caso banale $x=0$ , si avrà l'ipotesi $x>0$ . La dimostrazione di de Sluse parte da una catena di n disuguaglianze che, in notazione moderna, si esprimono così:

{\frac {1+nx}{1+(n-1)x}}<{\frac {1+(n-1)x}{1+(n-2)x}}<...<{\frac {1+2x}{1+x}}<{\frac {1+x}{1}}

Si tratta di diseguaglianze evidenti: infatti, partendo da destra, in ogni passo viene sommata una stessa quantità positiva ( $x$ ) al numeratore e al denominatore; di conseguenza, in ogni passaggio la frazione diminuisce rimanendo maggiore di 1.

Moltiplicando tra loro gli n termini della catena, e semplificando numeratori e denominatori, si ottiene:

1+nx

D'altro canto, ciascun fattore della moltiplicazione è minore del termine più a destra, ( $1+x$ ). Quindi, il risultato della moltiplicazione è minore di $(1+x)^{n}$ , da cui la tesi.

Generalizzazioni

Se l'esponente n è pari, la disuguaglianza è valida per ogni numero reale x. Se n ≥ 2 e x > −1 con x ≠ 0, allora vale la disuguaglianza stretta:

(1+x)^{n}>1+nx

Vi sono anche delle versioni più forti della disuguaglianza di Bernoulli, per esempio:

(1+x)^{n}\geq 1+nx+{\frac {n(n-1)}{2}}x^{2}

per ogni n ≥0 e x ≥0.

La disuguaglianza può anche essere generalizzata ad un qualsiasi esponente reale r. Infatti, se x > −1, allora

(1+x)^{r}\geq 1+rx

per r ≤ 0 oppure r ≥ 1, e

(1+x)^{r}\leq 1+rx

per 0 ≤ r ≤ 1. Questa generalizzazione può essere dimostrata confrontando le derivate. Anche in questo caso, vale la disuguaglianza stretta se x ≠ 0 e r ≠ 0 e da 1.

Disuguaglianze collegate

La seguente disuguaglianza fornisce una stima per eccesso della potenza r-esima di 1 + x. Per ogni numero reale x ed r > 0, vale

(1+x)^{r}<e^{rx},

dove e = 2.718.... È possibile dimostrare questa disuguaglianza sfruttando il fatto che (1 + 1/k)^k < e.

Note

^ ^a ^b ^c ^d (EN) First use of Bernoulli's inequality and its name, su Stack Exchange, History of Science and Mathematics. URL consultato il 10 maggio 2016.
^ (DE) Jos. E. Hofmann, Über die Exercitatio Geometrica des M. A. Ricci, in Centaurus, vol. 9, 3 1963/1964, marzo 1964, p. 177, DOI:10.1111/j.1600-0498.1964.tb00443.x, MR 161779.
^ (LA) René-François de Sluse, Caput IV, in Mesolabum, apud Guilielmum Henricum Streel, serenissimae sua celsitudinis typographum, 1668.

Bibliografia

Paolo Marcellini, Carlo Sbordone Analisi Matematica Uno, Liguori Editore, Napoli, ISBN 88-207-2819-2, 1998, paragrafi 11 e 31.

Voci correlate

Jakob Bernoulli

Altri progetti

Wikimedia Commons contiene immagini o altri file sulla disuguaglianza di Bernoulli

Collegamenti esterni

Bernoulli, disuguaglianza di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) Eric W. Weisstein, Disuguaglianza di Bernoulli, su MathWorld, Wolfram Research.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

[History-1] (EN) First use of Bernoulli's inequality and its name, su Stack Exchange, History of Science and Mathematics. URL consultato il 10 maggio 2016.

[2] (DE) Jos. E. Hofmann, Über die Exercitatio Geometrica des M. A. Ricci, in Centaurus, vol. 9, 3 1963/1964, marzo 1964, p. 177, DOI:10.1111/j.1600-0498.1964.tb00443.x, MR 161779.

[3] (LA) René-François de Sluse, Caput IV, in Mesolabum, apud Guilielmum Henricum Streel, serenissimae sua celsitudinis typographum, 1668.

[1]

[2]

[3]

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili	Analisi matematica
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy