Demostrar desigualdades con derivadas

Una desigualdad puede demostrarse tomando la diferencia y examinando dónde crece y dónde decrece. Confirmamos ex≥1+xe^x \geq 1 + x.

Examinar la diferencia

Pongamos g(x)=ex−1−xg(x) = e^x - 1 - x. Lo que hay que demostrar es que g(x)≥0g(x) \geq 0 para todo xx.

g′(x)=ex−1g'(x) = e^x - 1

La función exe^x crece de forma monótona y vale 11 en x=0x = 0.

Intervaloexe^xg′g'Comportamiento de gg
x<0x < 0<1< 1negativadecreciente
x>0x > 0>1> 1positivacreciente

Así que gg es mínima en x=0x = 0, donde su valor es g(0)=0g(0) = 0. Como el mínimo es 00, se tiene g(x)≥0g(x) \geq 0, es decir, ex≥1+xe^x \geq 1 + x para todo xx, con igualdad solo en x=0x = 0.

Verlo en el dibujo

La recta y=1+xy = 1 + x es la tangente a y=exy = e^x en x=0x = 0. Como g′′(x)=ex>0g''(x) = e^x > 0, la función exe^x es convexa, y una función convexa queda por encima de todas sus tangentes1. Esta desigualdad es un caso de eso.

Las sustituciones dan otras formas

SustituciónDesigualdad obtenida
x→−xx \to -xe−x≥1−xe^{-x} \geq 1 - x
x→ln⁡tx \to \ln tln⁡t≤t−1\ln t \leq t - 1
x→1nx \to \dfrac{1}{n}e1/n≥1+1ne^{1/n} \geq 1 + \dfrac{1}{n}

La segunda se usa mucho como manera de acotar un logaritmo por arriba.

Un enlace con la definición de ee

Elevar ambos miembros de la tercera a la potencia nn da lo siguiente.

e≥(1+1n)ne \geq \left( 1 + \frac{1}{n} \right)^n

Que la sucesión que aparece en la definición de ee no supere nunca a ee se sigue de esta sola desigualdad.

El procedimiento

  • Tomar la diferencia
  • Derivar
  • Hallar el mínimo o el máximo por el cambio de signo
  • Ver si ese valor es al menos 00

Para demostrar algo solo para x>0x > 0, basta examinar el valor en el extremo de ese intervalo junto con la monotonía. Demostrar una desigualdad se convierte en una cuestión de crecimiento y decrecimiento.

La curva convexa de la gráfica es y=exy = e^x, su tangente es y=1+xy = 1 + x, la diferencia de las dos es y=ex−1−xy = e^x - 1 - x, y los puntos grandes son el punto de tangencia (0,1)(0, 1) y el origen, donde la diferencia vale 00.

  1. Convex function, Wikipedia