προσδιορισμός βάσης εκθετικής συνάρτησης

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

Άβαταρ μέλους
grigkost
Διαχειριστής
Δημοσιεύσεις: 3136
Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
Τοποθεσία: Ιωάννινα
Επικοινωνία:

προσδιορισμός βάσης εκθετικής συνάρτησης

#1

Μη αναγνωσμένη δημοσίευση από grigkost » Πέμ Μάιος 19, 2011 8:32 pm

Με αφορμή την παρατήρηση του Χρήστου Καρδάση:

ΑΣΚΗΣΗ: Να βρεθεί για ποιούς πραγματικούς αριθμούς \alpha , για κάθε x\in{\mathbb{R}}, ισχύει \alpha^{x}>x .

[ αν και δεν θα παραξενευόμουν αν έχει ήδη απαντηθεί στο mathematica ]


{\color{dred}\Gamma\!\rho\,{\rm{H}}\gamma\varnothing\varrho{\mathscr{H}}\varsigma \ {\mathbb{K}}\,\Omega\sum{\rm{t}}{\mathscr{A}}\,{\mathbb{K}}\!\odot\varsigma
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Μάιος 19, 2011 9:13 pm

Για όλους τους αριθμούς που είναι μεγαλύτεροι του e^{1/e}.

Αν \alpha < 1 τότε προφανώς η συνθήκη δεν ισχύει. Αν 1 \leqslant \alpha \leqslant e^{1/e}, τότε \alpha^e \leqslant (e^{1/e})^e = e και άρα πάλι η συνθήκη δεν ισχύει.

Τέλος, αν \alpha > e^{1/e} τότε ισχυρίζομαι ότι a^x > x για κάθε x \in \mathbb{R}. Ο ισχυρισμός προφανώς ισχύει για κάθε x \leqslant 0. Αν x > 0 τότε a^x > e^{x/e} και άρα αρκεί να δείξουμε ότι e^{x/e} \geqslant x. (*) Αρκεί λοιπόν να δείξουμε ότι x \geqslant e \ln{x} για κάθε x > 0. Το τελευταίο είναι απλό αφού με μία παραγώγιση βλέπουμε ότι η συνάρτηση f(x) = x - e\ln{x} έχει ελάχιστο στο x=e και f(e) = 0.

(*) Αυτό σίγουρα το έχουμε ξαναδεί. Είναι μια κλασική άσκηση να εξεταστεί πιο από τα e^{\pi},\pi^e είναι το μεγαλύτερο.

Επεξεργασία: Πρόσθεσα μια επεξήγηση αφού (όπως παρατήρησε ο onedeadslime πιο κάτω) η αρχική μου απόδειξη δεν δούλευε για μη θετικά x.
τελευταία επεξεργασία από Demetres σε Πέμ Μάιος 19, 2011 9:54 pm, έχει επεξεργασθεί 2 φορές συνολικά.


Άβαταρ μέλους
KARKAR
Δημοσιεύσεις: 17424
Εγγραφή: Τετ Δεκ 08, 2010 6:18 pm

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#3

Μη αναγνωσμένη δημοσίευση από KARKAR » Πέμ Μάιος 19, 2011 9:19 pm

Στο τεύχος 11 του "Ευκλείδη Β" (1ο τρίμηνο 1994) , υπάρχει δημοσιευμένη μελέτη του Μπάμπη Τουμάση σχετική με το θέμα .

Εκεί λοιπόν , αποδεικνύει ο εκλεκτός συνάδελφος ότι η συνάρτηση f(x)=a^{x}-x , παύει να έχει ρίζες ,

όταν \displaystyle a>e^{\frac{1}{e} . Η μελέτη περιέχει και άλλα θαυμάσια συμπεράσματα , και αξίζει να την αναζητήσει κανείς ...


Άβαταρ μέλους
onedeadslime
Δημοσιεύσεις: 23
Εγγραφή: Κυρ Μάιος 15, 2011 8:09 pm

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#4

Μη αναγνωσμένη δημοσίευση από onedeadslime » Πέμ Μάιος 19, 2011 9:27 pm

Demetres έγραψε:
Τέλος, αν \alpha > e^{1/e} τότε a^x > e^{x/e} και άρα αρκεί να δείξουμε ότι e^{x/e} \geqslant x για κάθε x \in \mathbb{R}. (*) Αρκεί να δείξουμε ότι x \geqslant e \ln{x} για κάθε x. Το τελευταίο είναι απλό αφού με μία παραγώγιση βλέπουμε ότι η συνάρτηση f(x) = x - e\ln{x} έχει ελάχιστο στο x=e και f(e) = 0.
Για χ<=0 όμως;


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#5

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Μάιος 19, 2011 9:36 pm

onedeadslime έγραψε:
Demetres έγραψε:
Τέλος, αν \alpha > e^{1/e} τότε a^x > e^{x/e} και άρα αρκεί να δείξουμε ότι e^{x/e} \geqslant x για κάθε x \in \mathbb{R}. (*) Αρκεί να δείξουμε ότι x \geqslant e \ln{x} για κάθε x. Το τελευταίο είναι απλό αφού με μία παραγώγιση βλέπουμε ότι η συνάρτηση f(x) = x - e\ln{x} έχει ελάχιστο στο x=e και f(e) = 0.
Για χ<=0 όμως;
Έχεις δίκιο. Σκεφτόμουν μόνο τα θετικά x αφού προφανώς η συνθήκη ισχύει αν x αρνητικό. Θα το διορθώσω. Ευχαριστώ για την παρατήρηση.


Άβαταρ μέλους
ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ
Δημοσιεύσεις: 704
Εγγραφή: Κυρ Μάιος 17, 2009 7:07 pm
Τοποθεσία: ΚΑΒΑΛΑ

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#6

Μη αναγνωσμένη δημοσίευση από ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ » Πέμ Μάιος 19, 2011 9:52 pm

KARKAR έγραψε:Στο τεύχος 11 του "Ευκλείδη Β" (1ο τρίμηνο 1994) , υπάρχει δημοσιευμένη μελέτη του Μπάμπη Τουμάση σχετική με το θέμα .

Εκεί λοιπόν , αποδεικνύει ο εκλεκτός συνάδελφος ότι η συνάρτηση f(x)=a^{x}-x , παύει να έχει ρίζες ,

όταν \displaystyle a>e^{\frac{1}{e} . Η μελέτη περιέχει και άλλα θαυμάσια συμπεράσματα , και αξίζει να την αναζητήσει κανείς ...
Έχω κάποια σε pdf θα τα ανεβάσω σπασμένα λόγω μεγέθους ...

download/file.php?id=2697
τελευταία επεξεργασία από Γενικοί Συντονιστές σε Παρ Μάιος 20, 2011 12:19 am, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Αντικατάσταση συνημμένου με σύνδεσμο


Χρήστος Καρδάσης
Άβαταρ μέλους
ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ
Δημοσιεύσεις: 704
Εγγραφή: Κυρ Μάιος 17, 2009 7:07 pm
Τοποθεσία: ΚΑΒΑΛΑ

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#7

Μη αναγνωσμένη δημοσίευση από ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ » Πέμ Μάιος 19, 2011 9:55 pm

Το επόμενο pdf


download/file.php?id=2697
τελευταία επεξεργασία από Γενικοί Συντονιστές σε Παρ Μάιος 20, 2011 12:21 am, έχει επεξεργασθεί 2 φορές συνολικά.
Λόγος: Αντικατάσταση συνημμένου με σύνδεσμο


Χρήστος Καρδάσης
Άβαταρ μέλους
ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ
Δημοσιεύσεις: 704
Εγγραφή: Κυρ Μάιος 17, 2009 7:07 pm
Τοποθεσία: ΚΑΒΑΛΑ

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#8

Μη αναγνωσμένη δημοσίευση από ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ » Πέμ Μάιος 19, 2011 9:57 pm

άλλο ένα έμεινε :coolspeak:

Το τέταρτο δεν μπορώ να το σπάσω :oops: όποιος ενδιαφέρεται μου στέλνει p.m με email

download/file.php?id=2697
τελευταία επεξεργασία από Γενικοί Συντονιστές σε Παρ Μάιος 20, 2011 12:22 am, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Αντικατάσταση συνημμένου με σύνδεσμο


Χρήστος Καρδάσης
KAKABASBASILEIOS
Συντονιστής
Δημοσιεύσεις: 1598
Εγγραφή: Κυρ Φεβ 01, 2009 1:46 pm

Re: προσδιορισμός βάσης εκθετικής συνάρτησης

#10

Μη αναγνωσμένη δημοσίευση από KAKABASBASILEIOS » Παρ Μάιος 20, 2011 12:12 am

...Καλησπέρα στη εκλεκτή παρέα... βλέποντας την άσκηση του Γρηγόρη που προέκυψε από την παρατήρηση του Χρήστου
και όλα τα καλούδια των συναδέλφων είπα να φτιάξω μιά λυκειακή προσεγγιση στο πολύ ενδιαφέρον θέμα....

Επειδή για x\le 0 η συνθήκη ισχύει βρίσκουμε τους a\in Rώστε να ισχύει {{a}^{x}}>x,\,\,\,\,x>0 ή ισοδύναμα x\ln a>\ln x\Leftrightarrow x\ln a-\ln x>0,\,\,\,x>0

Έτσι θεωρώντας την f(x)=x\ln a-\ln x,\,\,\,\,x>0 που είναι παραγωγίσιμη με {f}'(x)=\ln a-\frac{1}{x} παρατηρούμε ότι έχει {f}''(x)=\frac{1}{{{x}^{2}}}>0,\,\,\,x>0 επομένως η {f}' είναι γνήσια αύξουσα στο

\Delta =(0,\,\,+\infty ) επομένως {f}'(\Delta )=(\underset{x\to {{0}^{+}}}{\mathop{\lim }}\,{f}'(x),\,\,\,\underset{x\to +\infty }{\mathop{\lim }}\,{f}'(x)) ή {f}'(\Delta )=(-\infty ,\,\,\,\ln a)
Τώρα αν a<1 θα είναι τότε λόγω {f}'(x)=\ln a-\frac{1}{x}<0,\,\,\,\,x>0 η f γνήσια φθίνουσα στο \Delta =(0,\,\,+\infty ) άρα f(\Delta )=(\underset{x\to +\infty }{\mathop{\lim }}\,f(x),\,\,\underset{x\to {{0}^{+}}}{\mathop{\lim }}\,f(x))=(-\infty ,\,\,+\infty ) άρα δεν ισχύει η συνθήκη

Τώρα για a=1 όμοια όπως προηγούμενα

Και για a>1 επειδή {f}'(x)=\ln a-\frac{1}{x}=0\Leftrightarrow x=\frac{1}{\ln a} και {f}'(x)>0\Leftrightarrow x>\frac{1}{\ln a} και {f}'(x)<0\Leftrightarrow 0<x<\frac{1}{\ln a} η f τότε θα παρουσιάζει ολικό ελάχιστο για x=\frac{1}{\ln a} το

f(\frac{1}{\ln a})=1+\ln (\ln a) και αφού θέλουμε f(x)>0,\,\,\,x>0 θα ισχύει για τις τιμές του a που 1+\ln (\ln a)>0\Leftrightarrow \ln (\ln a)>-1\Leftrightarrow \ln a>\frac{1}{e} και τελικά για a>{{e}^{\frac{1}{e}}}

Φιλικά και Μαθηματικά
Βασίλης


f ανοιγοντας τους δρομους της Μαθηματικης σκεψης, f' παραγωγος επιτυχιας
Τα Μαθηματικά είναι απλά...όταν σκέπτεσαι σωστά...
Τα Μαθηματικά είναι αυτά...για να δεις πιό μακρυά...
Τα Μαθηματικά είναι μαγεία...όταν έχεις φαντασία...
Απάντηση

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

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

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