erxmer έγραψε:Δίνεται συνάρτηση παραγωγίσιμη στο

με

για κάθε

και

.
Αν για κάθε

, για τη συνάρτηση

ισχύει η σχέση

, τότε να αποδείξετε ότι:
1)
2) Υπάρχει

τέτοιο ώστε η εφαπτομένη της γραφικής παράστασης της

στο σημείο

να διέρχεται από το σημείο

.
3) Αφού βρείτε τον τύπο της συνάρτησης, να μελετήσετε την

ως προς τη μονοτονία και τα ακρότατα.
4) Αν

, να αποδείξετε ότι

.
5) Να αποδείξετε ότι η εξίσωση

έχει ακριβώς δυο λύσεις στο
![[0,3] [0,3]](/forum/ext/geomar/texintegr/latexrender/pictures/ed9c05fe24c0f49f5d73f494a921e0c4.png)
, τις

με

και

.
Μετά από κάμποσο παίδεμα, δημοσιεύω μια ολοκληρωμένη λύση (ελπίζω να μη μου διαφεύγει κάτι).
1) H

είναι παραγωγίσιμη στο

, άρα είναι και συνεχής. Όμως, σύμφωνα με την εκφώνηση, η

δεν μηδενίζεται, άρα διατηρεί σταθερό πρόσημο στο

, διότι αν άλλαζε πρόσημο,τότε σύμφωνα με το Θεώρημα Ενδιάμεσων Τιμών θα υπήρχε θετικός αριθμός τέτοιος ώστε

.
Θέτοντας όμως

στην αρχική σχέση

άρα

για κάθε

.
2) Σε ένα τυχαίο σημείο

, με

της γραφικής παράστασης της

, η εφαπτομένη της έχει εξίσωση:

Επομένως, για να διέρχεται η εφαπτομένη από το σημείο

αρκεί να υπάρχει

τέτοιο ώστε:

Θεωρούμε τη συνάρτηση
![\displaystyle{g(x)=(x+1)f'(x)-f(x), x \in [1,e]} \displaystyle{g(x)=(x+1)f'(x)-f(x), x \in [1,e]}](/forum/ext/geomar/texintegr/latexrender/pictures/7d2f62b9e8cd208d015cef06a06193c5.png)
.
Η

είναι συνεχής (πράξεις μεταξύ συνεχών συναρτήσεων) και έχουμε:

και από την αρχική σχέση
οπότε:

άρα:

. Σύμφωνα λοιπόν με το Θεώρημα Bolzano υπάρχει ένα τουλάχιστον

τέτοιο ώστε:

και το ζητούμενο αποδείχτηκε.
3)Από την αρχική σχέση και αφού

για κάθε

έχουμε:
Για

η παραπάνω δίνει

.
Άρα
Παραγωγίζοντας έχουμε
![\displaystyle{f'(x)=(e^{\frac{lnx}{x}})'=\sqrt[x]{x} \left (\frac{1-lnx}{x^2} \right), x>0} \displaystyle{f'(x)=(e^{\frac{lnx}{x}})'=\sqrt[x]{x} \left (\frac{1-lnx}{x^2} \right), x>0}](/forum/ext/geomar/texintegr/latexrender/pictures/fcaa19c43420f75dbd4c23f89c880a44.png)
Η

είναι θετική στο
![\dispaystyle{(0,e]} \dispaystyle{(0,e]}](/forum/ext/geomar/texintegr/latexrender/pictures/cdf2ae2d1870283b4dacf4e7765c1e48.png)
και αρνητική στο

. Άρα, η

είναι γνησίως αύξουσα στο
![\dispaystyle{(0,e]} \dispaystyle{(0,e]}](/forum/ext/geomar/texintegr/latexrender/pictures/cdf2ae2d1870283b4dacf4e7765c1e48.png)
και γνησίως φθίνουσα στο

. To
![\displaystyle{f(e)=\sqrt[e]{e}} \displaystyle{f(e)=\sqrt[e]{e}}](/forum/ext/geomar/texintegr/latexrender/pictures/82c1ae7a048f49fe45f495045d1f97e4.png)
είναι μέγιστο της

.
4) Έχουμε

, που είναι η ζητούμενη.
5)Η εξίσωση έχει στο
![\displaystyle{[0,3]} \displaystyle{[0,3]}](/forum/ext/geomar/texintegr/latexrender/pictures/c68a20b927c19cea111b430a7b0da81b.png)
προφανή ρίζα τη

, που είναι μοναδική στο
![\displaystyle{[0,3]} \displaystyle{[0,3]}](/forum/ext/geomar/texintegr/latexrender/pictures/c68a20b927c19cea111b430a7b0da81b.png)
, λόγω της μονοτονίας της

στο διάστημα αυτό. Για

η δοσμένη εξίσωση γράφεται ισοδύναμα:

Θα αποδείξουμε ότι υπάρχει

τέτοιο ώστε

.
Έχουμε:

και
![\displaystyle{8<9 \Leftrightarrow \sqrt[3]{8}<\sqrt[3]{9} \Leftrightarrow
2<3^{\frac{2}{3}} \Leftrightarrow \sqrt{2}<\sqrt[3]{3} \Leftrightarrow f(2)<f(3)} \displaystyle{8<9 \Leftrightarrow \sqrt[3]{8}<\sqrt[3]{9} \Leftrightarrow
2<3^{\frac{2}{3}} \Leftrightarrow \sqrt{2}<\sqrt[3]{3} \Leftrightarrow f(2)<f(3)}](/forum/ext/geomar/texintegr/latexrender/pictures/6c90905691bac4aaf96f88b2f87ecbb6.png)
. Άρα, είναι

. Αφού λοιπόν η

είναι συνεχής, σύμφωνα με το Θεώρημα Ενδιάμεσων Τιμών υπάρχει

τέτοιο ώστε

, το οποίο είναι και μοναδικό λόγω της μονοτονίας της

στο διάστημα αυτό. Έτσι, η απόδειξη ολοκληρώθηκε.
Τερζής Κωνσταντίνος