Buktikan yang berikut?

Jawapan:

Semak di bawah.

Penjelasan:

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

Kita perlu membuktikannya

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

Pertimbangkan satu fungsi #f (x) = e ^ x-lnx #, #x> 0 #

Daripada graf # C_f # kita dapat melihat bahawa untuk #x> 0 #

kita ada # e ^ x-lnx> 2 #

Penjelasan:

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

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

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

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

Menurut Teorem Bolzano (Nilai Pertengahan), kami ada #f '(x_0) = 0 # #<=># # e ^ (x_0) -1 / x_0 = 0 # #<=>#

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

Jarak menegak adalah antara # e ^ x # dan # lnx # adalah minimum apabila #f (x_0) = e ^ (x_0) -lnx_0 = x_0 + 1 / x_0 #

Kita perlu menunjukkannya #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 # #-># benar untuk #x> 0 #

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