Ανισότητα

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

ILIOPOULOS PANAGIOTIS
Δημοσιεύσεις: 32
Εγγραφή: Πέμ Αύγ 27, 2020 9:00 pm

Ανισότητα

#1

Μη αναγνωσμένη δημοσίευση από ILIOPOULOS PANAGIOTIS » Τρί Σεπ 21, 2021 11:32 am

Να αποδειχθεί ότι xe^xlnx> -\frac{e}{2} για κάθε x> 0.


Παναγιώτης Ηλιόπουλος

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

Re: Ανισότητα

#2

Μη αναγνωσμένη δημοσίευση από gbaloglou » Τρί Σεπ 21, 2021 10:00 pm

Γεια σου Παναγιώτη, και καλή φοίτηση!

Θέτουμε f(x)=xe^xlnx, οπότε f(x)>0 για x>1, f(1)=0, επίσης \lim_{x\rightarrow 0}f(x)=0. Αρκεί λοιπόν να δείξουμε ότι στο τυχόν σημείο x_0\in (0,1) όπου f'(x_0)=0 ισχύει η f(x_0)>-\dfrac{e}{2}. Από την f'(x)=e^x(lnx+xlnx+1) προκύπτει η lnx_0=-\dfrac{1}{1+x_0}, ισχύει επομένως η f(x_0)=-\dfrac{x_0e^{x_0}}{1+x_0}. Θέτοντας g(x)=-\dfrac{xe^x}{1+x} λαμβάνουμε g'(x)=-\dfrac{e^x(x^2+x+1)}{(1+x)^2}<0, άρα f(x_0)=-\dfrac{x_0e^{x_0}}{1+x_0}=g(x_0)>g(1)=-\dfrac{e}{2}.

[Στην πραγματικότητα ισχύει η xe^xlnx>-0,6, όπως φαίνεται και στο συνημμένο που 'περιγράφει' την παραπάνω απόδειξη.]

xexlnx.gif
xexlnx.gif (5.11 KiB) Προβλήθηκε 553 φορές


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

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

Re: Ανισότητα

#3

Μη αναγνωσμένη δημοσίευση από Nikos002 » Τετ Σεπ 22, 2021 2:19 am

Γνωριζουμε οτι : ln{x}\leq x-1 \overset{x\rightarrow \frac{1}{x}{}}{\rightarrow} lnx\geq 1-\frac{1}{x} \Leftrightarrow x\cdot lnx \geq x-1 \Leftrightarrow e^{x}\cdot x\cdot lnx \geq xe^{x}-e^{x}\\=e^{x}(x-1)

Για x\geq 1 προφανως ισχυει η ανισοτητα.

Θεωρουμε την συναρτηση : t(x)=e^{x}(x-1),x\in[0,1]
 t'(x)=e^{x}(x-1)+e^{x}=xe^{x}>0 ,\forall x \in(0,1)

Αρα η t ειναι γνησιως αυξουσα και ισχυει: t(x)\geq t(0)=-1
Αρκει νδο -1>-\frac{e}{2} \Leftrightarrow \frac{e}{2}>1\Leftrightarrow e>2 ισχυει


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

Re: Ανισότητα

#4

Μη αναγνωσμένη δημοσίευση από gbaloglou » Τετ Σεπ 22, 2021 9:36 pm

Nikos002 έγραψε:
Τετ Σεπ 22, 2021 2:19 am
Γνωριζουμε οτι : ln{x}\leq x-1 \overset{x\rightarrow \frac{1}{x}{}}{\rightarrow} lnx\geq 1-\frac{1}{x} \Leftrightarrow x\cdot lnx \geq x-1 \Leftrightarrow e^{x}\cdot x\cdot lnx \geq xe^{x}-e^{x}\\=e^{x}(x-1)

Για x\geq 1 προφανως ισχυει η ανισοτητα.

Θεωρουμε την συναρτηση : t(x)=e^{x}(x-1),x\in[0,1]
 t'(x)=e^{x}(x-1)+e^{x}=xe^{x}>0 ,\forall x \in(0,1)

Αρα η t ειναι γνησιως αυξουσα και ισχυει: t(x)\geq t(0)=-1
Αρκει νδο -1>-\frac{e}{2} \Leftrightarrow \frac{e}{2}>1\Leftrightarrow e>2 ισχυει
Σημαντική βελτίωση της ανισότητας, αν μάλιστα χρησιμοποιήσουμε και την e^x\geq x+1 προκύπτει άμεσα η xe^xlnx\geq x^2-1\geq -1.


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

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

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

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

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