להוכיח את הדברים הבאים?

תשובה:

בדוק להלן.

הסבר:

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

אנחנו צריכים להוכיח את זה

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

שקול פונקציה #f (x) = e ^ x-lnx #, #x> 0 #

מתוך הגרף של # C_f # אנו יכולים להבחין בכך #x> 0 #

יש לנו # e ^ x-lnx> 2 #

הסבר:

#f (x) = e ^ x-lnx #, #איקס## in ##1/2,1#

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

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

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

על פי Bolzano (ערך ביניים) משפט יש לנו #f '(x_0) = 0 # #<=># # e ^ (x_0) -1 / x_0 = 0 # #<=>#

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

המרחק האנכי הוא בין # e ^ x # ו # lnx # הוא המינימום כאשר #f (x_0) = e ^ (x_0) -lnx_0 = x_0 + 1 / x_0 #

אנחנו צריכים להראות את זה #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 # #-># נכון עבור #x> 0 #

גרף {e ^ x-lnx -6.96, 7.09, -1.6, 5.42}

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

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