Beweisen Sie Folgendes:

Antworten:

Überprüfen Sie unten.

Erläuterung:

# 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 #

Wir müssen das beweisen

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

Betrachten Sie eine Funktion #f (x) = e ^ x-lnx #, #x> 0 #

Aus der Grafik von # C_f # Wir können das für bemerken #x> 0 #

wir haben # e ^ x-lnx> 2 #

Erläuterung:

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

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

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

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

Nach dem Bozen-Satz (Intermediate Value) haben wir den Satz #f '(x_0) = 0 # #<=># # e ^ (x_0) -1 / x_0 = 0 # #<=>#

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

Der vertikale Abstand liegt zwischen # e ^ x # und # lnx # ist minimal wenn #f (x_0) = e ^ (x_0) -lnx_0 = x_0 + 1 / x_0 #

Das müssen wir zeigen #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 # #-># wahr für #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 #