Prove o seguinte?

Responda:

Confira abaixo.

Explicação:

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2-1) dx> 0 # #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> int_1 ^ 2 (1) dx # #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> x _1 ^ 2 # #<=># #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> 2-1 # #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> 1 #

Precisamos provar que

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> 1 #

Considere uma função #f (x) = e ^ x-lnx #, #x> 0 #

Do gráfico de # C_f # podemos notar que para #x> 0 #

temos # e ^ x-lnx> 2 #

Explicação:

#f (x) = e ^ x-lnx #, # x ##em##1/2,1#

#f '(x) = e ^ x-1 / x #

#f '(1/2) = sqrte-2 <0 #

#f '(1) = e-1> 0 #

De acordo com o Teorema de Bolzano (Valor Intermediário), temos #f '(x_0) = 0 # #<=># # e ^ (x_0) -1 / x_0 = 0 # #<=>#

# e ^ (x_0) = 1 / x_0 # #<=># # x_0 = -lnx_0 #

A distância vertical é entre # e ^ x # e # lnx # é mínimo quando #f (x_0) = e ^ (x_0) -lnx_0 = x_0 + 1 / x_0 #

Precisamos mostrar que #f (x)> 2 #, # AAx ##>0#

#f (x)> 2 # #<=># # x_0 + 1 / x_0> 2 # #<=>#

# x_0 ^ 2-2x_0 + 1> 0 # #<=># # (x_0-1) ^ 2> 0 # #-># verdade para #x> 0 #

graph {e ^ x-lnx -6.96, 7.09, -1.6, 5.42}

# (e ^ x-lnx) / x ^ 2> 2 / x ^ 2 #

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> int_1 ^ 2 (2 / x ^ 2) dx # #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> - 2 / x _1 ^ 2 # #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> ##-1+2# #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2) dx> 1 # #<=>#

# int_1 ^ 2 ((e ^ x-lnx) / x ^ 2-1) dx> 0 #