Ανισότητα με εκθετικό και λογάριθμο.

Συντονιστής: KAKABASBASILEIOS

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3600
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Ανισότητα με εκθετικό και λογάριθμο.

#1

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Πέμ Απρ 19, 2018 1:07 pm

Για 0\leq x\leq \frac{1}{4}

Να δειχθεί ότι

\ln (2-e^{x})+x+4x^{2}\geq 0

Χρειάζεται στο
https://www.mathematica.gr/forum/viewto ... =9&t=61566



Λέξεις Κλειδιά:
Άβαταρ μέλους
silouan
Επιμελητής
Δημοσιεύσεις: 1398
Εγγραφή: Τρί Ιαν 27, 2009 10:52 pm

Re: Ανισότητα με εκθετικό και λογάριθμο.

#2

Μη αναγνωσμένη δημοσίευση από silouan » Πέμ Απρ 19, 2018 2:53 pm

Σταύρο, καλησπέρα. Μία απόπειρα.

Η ανισότητα είναι ισοδύναμη με \displaystyle{e^{x+4x^2}(2-e^x)\geq 1.}
Θεωρούμε f(x)=e^{x+4x^2}(2-e^x). Τότε f'(x)=e^{x + 4 x^2} (2 - 2 e^x + (16 - 8 e^x) x).

Για να δείξουμε ότι αυτή είναι θετική αρκεί να δείξουμε ότι e^x\leq\frac{1+8x}{1+4x}.
Όμως από την κυρτότητα έχουμε ότι e^x\leq 2x+1 στο 0\x\leq\frac{1}{4}.
Επομένως αρκεί να αποδείξουμε ότι 2x+1\leq \frac{1+8x}{1+4x} που ισχύει, αφού είναι ισοδύναμη με το x\leq\frac{1}{4}.


Σιλουανός Μπραζιτίκος
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3600
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Ανισότητα με εκθετικό και λογάριθμο.

#3

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Πέμ Απρ 19, 2018 4:25 pm

silouan έγραψε:
Πέμ Απρ 19, 2018 2:53 pm
Σταύρο, καλησπέρα. Μία απόπειρα.

Η ανισότητα είναι ισοδύναμη με \displaystyle{e^{x+4x^2}(2-e^x)\geq 1.}
Θεωρούμε f(x)=e^{x+4x^2}(2-e^x). Τότε f'(x)=e^{x + 4 x^2} (2 - 2 e^x + (16 - 8 e^x) x).

Για να δείξουμε ότι αυτή είναι θετική αρκεί να δείξουμε ότι e^x\leq\frac{1+8x}{1+4x}.
Όμως από την κυρτότητα έχουμε ότι e^x\leq 2x+1 στο 0\x\leq\frac{1}{4}.
Επομένως αρκεί να αποδείξουμε ότι 2x+1\leq \frac{1+8x}{1+4x} που ισχύει, αφού είναι ισοδύναμη με το x\leq\frac{1}{4}.
Σωστά.

Υπάρχει και πιο ''φυσιολογική'' λύση.


Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3341
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Ανισότητα με εκθετικό και λογάριθμο.

#4

Μη αναγνωσμένη δημοσίευση από gbaloglou » Πέμ Απρ 19, 2018 5:08 pm

Το διάστημα ισχύος της ανισότητας μπορεί να διπλασιαστεί. Πράγματι, θεωρώντας την f(x)=ln(2-e^x)+x+4x^2, παρατηρούμε ότι αρκεί, λόγω της f(0)=0, να αποδειχθεί η f'(x)>0 για 0<x<\dfrac{1}{2}. Η ανισότητα f'(x)>0 είναι ισοδύναμη, για 0<x<\dfrac{1}{2} (διάστημα στο οποίο σίγουρα ισχύει η e^x<2), προς την 1-e^x+8x-4xe^x>0. Θέτοντας g(x)=1-e^x+8x-4xe^x παρατηρούμε, λόγω της g(0)=0 και της g''(x)=-9e^x-4xe^x<0, ότι για να ισχύει η g(x)>0 για 0<x<\dfrac{1}{2} αρκεί να ισχύει η g\left(\dfrac{1}{2}\right)>0. Η τελευταία ανισότητα είναι ισοδύναμη προς την \sqrt{e}<\dfrac{5}{3}, που προκύπτει εύκολα αν θεωρηθεί γνωστή η e<\dfrac{11}{4}, καθώς ισχύει η \dfrac{25}{9}>\dfrac{11}{4}.


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Απάντηση

Επιστροφή σε “ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 6 επισκέπτες