M.S.Vovos έγραψε:...Μία τελευταία άσκηση για μένα, αφού θα ξανανεβάσω θέμα μετά από πολύ καιρό...
ΑΣΚΗΣΗ 42
Έστω η δύο φορές παραγωγίσιμη συνάρτηση

. Αν η

είναι γνησίως αύξουσα και κυρτή στο

, τότε:
α) Να δείξετε ότι υπάρχει, τουλάχιστον ένα,

, τέτοιο ώστε

.
β) Αν, επιπλέον, ισχύει

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

, για κάθε

.
γ) Να βρείτε το

.
δ) Να δείξετε ότι

, με

.
ΛΥΣΗ
α) Θέλουμε η εξίσωση

να έχει λύση στο

.
Γι αυτό θεωρούμε την συνάρτηση
![g(x)=2f(x+1)-f(x)-f(2),\,\,\,x\in [0,\,\,1] g(x)=2f(x+1)-f(x)-f(2),\,\,\,x\in [0,\,\,1]](/forum/ext/geomar/texintegr/latexrender/pictures/0ab6e7730aefafa7417f0f6c2843d32f.png)
που είναι συνεχής ως πράξεις συνεχών με

και

γιατί η

είναι γνήσια αύξουσα και

.
Τώρα επειδή η

είναι κυρτή ισχύει
(Jensen με απόδειξη εφαρμόζοντας δύο φορές το Θ.Μ.Τ. στα
![[\alpha ,\,\,\frac{\alpha +\beta }{2}],\,\,[\frac{\alpha +\beta }{2},\,\,\beta ] [\alpha ,\,\,\frac{\alpha +\beta }{2}],\,\,[\frac{\alpha +\beta }{2},\,\,\beta ]](/forum/ext/geomar/texintegr/latexrender/pictures/74f0137a0b673f09d3939d731173ed8e.png)
, μονοτονία της

….)
και με

θα ισχύει

οπότε ισχύει ότι

επομένως

και επειδή
σύμφωνα με το θεώρημα του Bolzano η

έχει τουλάχιστον μία λύση στο

.
β) Τώρα στο διάστημα
![[-x,\,\,\,x],\,\,\,x\ne 0 [-x,\,\,\,x],\,\,\,x\ne 0](/forum/ext/geomar/texintegr/latexrender/pictures/cf0a4574d41dd180fe8f27906378caee.png)
σύμφωνα με την ανισότητα Jensen ισχύει ότι

για

ισχύει σαν ισότητα άρα τελικά
γ) (Με δεδομένο ότι ισχύει ακόμη ότι

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

στο σημείο της

είναι

και επειδή λόγω κυρτότητας ισχύει ότι

και

λόγω της ανισότητας
θα έχει όριο η

και θα είναι
δ) Θέλουμε εξίσωση
να έχει λύση στο

. Γι αυτό θεωρούμε την συνάρτηση
![g(x)=({{x}^{2}}-x){{e}^{f(x)}},\,\,\,\,\,x\in [0,\,\,1] g(x)=({{x}^{2}}-x){{e}^{f(x)}},\,\,\,\,\,x\in [0,\,\,1]](/forum/ext/geomar/texintegr/latexrender/pictures/405fec8f92f8820515a82efb50829679.png)
που είναι παραγωγίσιμη με
και ισχύουν ακόμη

επομένως σύμφωνα με το θεώρημα του ROLLE η εξίσωση
θα έχει λύση που είναι αυτό που θέλαμε.
Φιλικά και Μαθματικά
Βασίλης