Οριακή εκθετική

Δυσκολότερα θέματα τα οποία όμως άπτονται της σχολικής ύλης και χρησιμοποιούν αποκλειστικά θεωρήματα που βρίσκονται μέσα σε αυτή. Σε διαφορετική περίπτωση η σύνταξη του μηνύματος θα πρέπει να γίνει στο υποφόρουμ "Ο ΦΑΚΕΛΟΣ ΤΟΥ ΜΑΘΗΜΑΤΙΚΟΥ"

Συντονιστής: Μπάμπης Στεργίου

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

Οριακή εκθετική

#1

Μη αναγνωσμένη δημοσίευση από gbaloglou »

Να βρεθεί η ελάχιστη σταθερά a για την οποία ισχύει η a^x\geq x για κάθε x\geq 0.

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

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
stavros11
Δημοσιεύσεις: 128
Εγγραφή: Τετ Ιούλ 07, 2010 11:30 am
Τοποθεσία: Ρόδος

Re: Οριακή εκθετική

#2

Μη αναγνωσμένη δημοσίευση από stavros11 »

Λόγω περιορισμών είναι \displaystyle{a>0}.

Αν \displaystyle{a \in (0,e^{1/e})}, τότε είναι \displaystyle{a<e^{1/e}\Rightarrow a^e<e} οπότε δεν ισχύει το ζητούμενο για \displaystyle{x=e}.

Για \displaystyle{a=e^{1/e}} θεωρούμε τη συνάρτηση \displaystyle{f(x)=e^{x/e}-x} ορισμένη στο \displaystyle{[0,+\infty)}. Τότε \displaystyle{f'(x)=e^{\frac{x}{e}-1}-1}, οπότε εύκολα βλέπουμε πως εμφανίζει ολικό ελάχιστο στο \displaystyle{x=e} το \displaystyle{f(e)=0}, δηλαδή \displaystyle{f(x)\geq 0 \; \; \forall \; x \in [0,+\infty)}.

Οπότε το ελάχιστο είναι το \displaystyle{a=e^{1/e}}.
Παρατηρούμε ότι για \displaystyle{x=0} η δοθείσα ισχύει για κάθε \displaystyle{a>0}, ενώ για \displaystyle{x>0} γίνεται \displaystyle{a\geq x^{1/x}}.

Οπότε θεωρώντας στους θετικούς τη συνάρτηση \displaystyle{g(x)=x^{1/x}} με \displaystyle{g'(x)=\frac{x^{1/x}(1-\ln x)}{x^2}}, βλέπουμε ότι μέγιστο στο \displaystyle{x=e}. Γι' αυτό κι επιλέγουμε να θέσουμε \displaystyle{x=e} στη λύση.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3527
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Οριακή εκθετική

#3

Μη αναγνωσμένη δημοσίευση από gbaloglou »

Αλλιώς:

Αναζητούμε εκείνο το a για το οποίο η y=x εφάπτεται της y=a^x, εκείνο δηλαδή το a για το οποίο υπάρχει c τέτοιο ώστε a^c=c και (a^c)lna=1. Από απαλοιφή έχουμε a[(lna)^{lna}]=1. Θέτοντας a=e^b προκύπτει η (eb)^b=1, άρα ln(eb)=0 και b=e^{-1}, οπότε a=e^{\frac{1}{e}}.

[Θα μπορούσε (η ελαχιστότητα αυτή του e^{\frac{1}{e}}) να χρησιμοποιηθεί για την απόδειξη της ανισότητας (\frac{3}{2})^e>e (που χρειάστηκε ο Θάνος Μάγκος εδώ) ... μόνο που η απαραίτητη συνθήκη \frac{3}{2}>e^{\frac{1}{e}} συμβαίνει να είναι ισοδύναμη προς το ζητούμενο :lol: ]

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

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Οριακή εκθετική

#4

Μη αναγνωσμένη δημοσίευση από R BORIS »

αν πάρουμε λογαρίθμους το \displaystyle{lna} πρέπει να είναι το μέγιστο (η το sup) της \displaystyle{f(x)=\frac{lnx}{x}} το οποίο εύκολα είναι το \displaystyle{\frac{1}{e}}. Για \displaystyle{x=0} η ανισότητα είναι γνήσια
Απάντηση

Επιστροφή στο “ΘΕΜΑΤΑ ΜΕ ΑΠΑΙΤΗΣΕΙΣ Γ'”

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

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