Stelios V8 έγραψε: ↑Σάβ Μάιος 02, 2020 10:29 pm
Έστω συνάρτηση

2 φορές παραγωγίσιμη στο
![\left [ 0,1 \right ] \left [ 0,1 \right ]](/forum/ext/geomar/texintegr/latexrender/pictures/0484f17e7cb175ea6829cc0e1ad3d5a5.png)
με

.
(A) Να δειχθεί ότι υπάρχει

.
(B) Να δειχθεί ότι υπάρχει

.
Αν επιπλέον η εξίσωση

, έχει το πολύ μία ρίζα στο
![\left [ 0,1 \right ] \left [ 0,1 \right ]](/forum/ext/geomar/texintegr/latexrender/pictures/0484f17e7cb175ea6829cc0e1ad3d5a5.png)
, τότε
(Γ) Να μελετήσετε την

ως προς τη μονοτονία και τα ακρότατα .
(Δ) Να υπολογίσετε το όριο

.
(E) Να δείξετε ότι η εξίσωση

έχει ακριβώς μία λύση στο

.
Όχι πολύ αναλυτικά λόγω έλλειψης χρόνου και κούρασης:
(A) Υποθέτω ότι για κάθε
![x\in [0,1] x\in [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/c628ba2b1047de93f66cb815d986e107.png)
, ισχύει

.
Έστω
![g(x)=f(x)-3x, x\in [0,1] g(x)=f(x)-3x, x\in [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/473df7aa0406af8e90bd1994b784190c.png)
g παραγωγίσιμη και συνεχής στο
![[0,1] [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/ccfcd347d0bf65dc77afe01a3306a96b.png)
.
Τότε

.
Αν

τότε

, άτοπο αφού τότε

.
Άρα

χωρίς να ισχύει παντού η ισότητα.
Έτσι, g (edit 12/5/2020, δεν ήταν απόλυτα σωστό) φθίνουσα λόγω συνέχειας στο
![[0,1] [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/ccfcd347d0bf65dc77afe01a3306a96b.png)
.
Όμως

, (edit και σε αυτό το σημείο 12/5/2020) άτοπο καθώς έτσι g σταθερή και έχει παράγωγο ίση με 0,που δεν ισχύει.
Τελικά, δεν ισχύει η αρχική υπόθεση και άρα
![\exists x_1\in[0,1]: f'(x_1)>3 \exists x_1\in[0,1]: f'(x_1)>3](/forum/ext/geomar/texintegr/latexrender/pictures/047145c5d9ed2d6caa1482ad22bee666.png)
.
Μιας και

παίρνω το ζητούμενο.
(Β) 2 ΘΜΤ για την f' στα
![[0,x_1],[x_1,1] [0,x_1],[x_1,1]](/forum/ext/geomar/texintegr/latexrender/pictures/64ca3b282eb46e46f6760945e9d3974f.png)
(πληρούνται οι προϋποθέσεις) δίνουν:

,(1)

,(2)
Αν
![x_1\in (0,0.5] x_1\in (0,0.5]](/forum/ext/geomar/texintegr/latexrender/pictures/7020e9eba65ed67603b43672a3f8f44c.png)
η (1) σε συνδυασμό με το (Α) μου δίνουν το ζητούμενο.
Αν
![x_1\in (0.5,1]\Rightarrow \mid x_1-1\mid \leq 0.5 x_1\in (0.5,1]\Rightarrow \mid x_1-1\mid \leq 0.5](/forum/ext/geomar/texintegr/latexrender/pictures/96ee7c01bfd1fa7d9e5d0f0609c84dcc.png)
και η (2) παιρνώντας απόλυτες τιμές σε συνδυασμό με το (Α) μου δίνουν το ζητούμενο.
Τελικά,

.
(Γ)Έστω

, τότε με 2 Rolle για την f' στα
![[0,t],[t,1] [0,t],[t,1]](/forum/ext/geomar/texintegr/latexrender/pictures/a89a685732d85205a40730794c2ae59d.png)
δίνουν ότι η f'' έχει 2 ρίζες άτοπο.
Άρα η f' δεν μηδενίζεται στο

και ως συνεχής λόγω παραγωγισιμότητας διατηρεί σταθερό πρόσημο σε αυτό το διάστημα.
Από το (Α) παίρνω

και τελικά
![f'(x)\geq 0, x\in [0,1] f'(x)\geq 0, x\in [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/a3480f08d97c2d25e020bccc85ac9720.png)
, δηλαδή f γν. αύξουσα και έχει μέγιστο και ελάχιστο στα άκρα.
(Δ)Δεν προλαβαίνω τώρα (ταλαιπωρία στο γράψιμο των ορίων).
(Ε)Έστω

,
Ξανά με Rolle στ0
![[q,1] [q,1]](/forum/ext/geomar/texintegr/latexrender/pictures/ef4291585a151586966ee328aed87141.png)
λαμβάνω ότι

.
Πάλι με 2 Rolle στα
![[0,q_1],[q_1,1] [0,q_1],[q_1,1]](/forum/ext/geomar/texintegr/latexrender/pictures/75064f70148ce50ae896b1ca36974f0d.png)
καταλήγω στο ότι η f'' έχει 2 ρίζες άτοπο.
Άρα δεν υπάρχει τέτοιο

και η

έχει μοναδική ρίζα το 1.