ΛΥΣΗΔΗΜΗΤΡΙΟΣ ΚΑΤΣΙΠΟΔΑΣ έγραψε:ΑΣΚΗΣΗ 168
Δίνεται κύρτη συνάρτηση:
με συνεχή δεύτερη παράγωγο, για την οποία ισχύει
και
.
α. Να αποδείξετε οτι
β. Να αποδείξετε οτι για κάθεισχύει
γ. Αν επιπλέον ισχύει οτι, να δείξετε οτι
Θεωρούμε την συνάρτηση
δ.i. Να δείξετε οτι ηείναι κυρτή
δ.ii Να αποδείξετε οτι για κάθεισχύει
δ.iii. Να αποδείξετε οτι
Β.Παπαδάκης (Η Επανάληψη, εκδόσεις Σαββάλας)
α.

![\displaystyle\int\limits_{0}^{1}{\frac{{f}''(x)-{f}'(x)}{{{e}^{x}}}dx+\int\limits_{0}^{1}{\frac{{f}'(x)-f(x)}{{{e}^{x}}}dx=}}\left[ \frac{{f}'(x)}{{{e}^{x}}} \right]_{0}^{1}+\left[ \frac{f(x)}{{{e}^{x}}} \right]_{0}^{1}= \displaystyle\int\limits_{0}^{1}{\frac{{f}''(x)-{f}'(x)}{{{e}^{x}}}dx+\int\limits_{0}^{1}{\frac{{f}'(x)-f(x)}{{{e}^{x}}}dx=}}\left[ \frac{{f}'(x)}{{{e}^{x}}} \right]_{0}^{1}+\left[ \frac{f(x)}{{{e}^{x}}} \right]_{0}^{1}=](/forum/ext/geomar/texintegr/latexrender/pictures/bd3f2b75c206171455c81bbaa3d01fdd.png)
![\displaystyle\left[ \frac{{f}'(x)}{{{e}^{x}}} \right]_{0}^{1}+\left[ \frac{f(x)}{{{e}^{x}}} \right]_{0}^{1}=\frac{{f}'(1)}{e}-{f}'(0)+\frac{f(1)}{e}-f(0) \displaystyle\left[ \frac{{f}'(x)}{{{e}^{x}}} \right]_{0}^{1}+\left[ \frac{f(x)}{{{e}^{x}}} \right]_{0}^{1}=\frac{{f}'(1)}{e}-{f}'(0)+\frac{f(1)}{e}-f(0)](/forum/ext/geomar/texintegr/latexrender/pictures/9c991c4ee960cb4469e1ee3c5bae520a.png)
Όμως
, οπότε 
Οπότε

β. Επειδή η
είναι κυρτή, έχουμε οτι η
είναι γνησίως αύξουσα. Επομένως για κάθε
έχουμε οτι 
Συνεπώς η
είναι γνησίως αύξουσα στο
. Οπότε για κάθε
έχουμε 
γ. Απο το δεύτερο ερώτημα έχουμε

Έστω
. Τότε η
είναι συνεχής στο
, παραγωγίσιμη
, οπότε από
υπάρχει τουλάχιστον ένα
τέτοιο ώστε 
Όμοια η
είναι συνεχής στο
, παραγωγίσιμη στο
, οπότε από
υπάρχει τουλάχιστον ένα 
τέτοιο ώστε

Όμως
και η
είναι γνησίως αύξουσα, οπότε 


Επομένως

![\displaystyle{\left[ {\frac{{{x^2}}}{2} + x} \right]_0^1 - \int\limits_0^1 {f(x)} dx > 0 \Leftrightarrow \int\limits_0^1 {f(x)} dx < \frac{3}{2}} \displaystyle{\left[ {\frac{{{x^2}}}{2} + x} \right]_0^1 - \int\limits_0^1 {f(x)} dx > 0 \Leftrightarrow \int\limits_0^1 {f(x)} dx < \frac{3}{2}}](/forum/ext/geomar/texintegr/latexrender/pictures/92b7425c3ac6c8b761282ae32a161203.png)
Επομένως έχουμε

δ.i.
![g(x) = \int\limits_1^x {\left[ {f(t) - \ln \left( {f(t)} \right)} \right]dt,x} \in [0, + \infty ) g(x) = \int\limits_1^x {\left[ {f(t) - \ln \left( {f(t)} \right)} \right]dt,x} \in [0, + \infty )](/forum/ext/geomar/texintegr/latexrender/pictures/dc40eb2a6f117f586b342d25f40357c5.png)
Η
παραγώγίσιμη στο
και
, οπότε ορίζεται η
η οποία είναι παραγωγίσιμη ως σύνθεση παραγωγίσιμων συναρτήσεων.Επομένως η
παραγωγίσιμη στο
, οπότε και το
παραγωγίσιμο στο
,άρα η
παραγωγίσιμη στο
με 
Η
παραγωγίσιμη ως πράξεις παραγωγίσιμων συναρτήσεων με 
Επομένως η
είναι κύρτή στο 
δ.ii. Επειδή η
είναι κύρτή στο
έχουμε οτι η
είναι γνησίως αύξουσα στο
. Οπότε για
έχουμε 


δ.ιιι.

Επομένως

Επισής η
είναι γνησίως αύξουσα, οπότε για κάθε
έχουμε 
Συνεπώς η
είναι γνησίως αύξουσα στο 
Έχουμε
![\displaystyle{1<2\overset{g\uparrow }{\mathop{\Rightarrow }}\,g(1)<g(2)\Rightarrow 0<\int\limits_{1}^{2}{\left[ f(x)-\ln \left( f(x) \right) \right]dx\Rightarrow} \displaystyle{1<2\overset{g\uparrow }{\mathop{\Rightarrow }}\,g(1)<g(2)\Rightarrow 0<\int\limits_{1}^{2}{\left[ f(x)-\ln \left( f(x) \right) \right]dx\Rightarrow}](/forum/ext/geomar/texintegr/latexrender/pictures/1606e12ade974cda789acfeb5b39aa55.png)

Συνεπώς έχουμε

με συνεχή δεύτερη παράγωγο, για την οποία ισχύει
και
. 
ισχύει 
, να δείξετε οτι 
![\displaystyle{g(x) = \int\limits_1^x {\left[ {f(t) - \ln \left( {f(t)} \right)} \right]dt,x} \in [0, + \infty )} \displaystyle{g(x) = \int\limits_1^x {\left[ {f(t) - \ln \left( {f(t)} \right)} \right]dt,x} \in [0, + \infty )}](/forum/ext/geomar/texintegr/latexrender/pictures/d6b9aa6c5ba139178d7cabf6cc9df9a3.png)
είναι κυρτή


για την οποία ισχύει
, για κάθε
.
, για κάθε 
, για κάθε 
και να βρείτε την αντίστροφή της
.Έχουμε 
είναι συνεχής στο
, οπότε το
παραγωγίσιμο στο
παραγωγίσιμο στο
παραγωγίσιμη στο
. Έχουμε 
παραγωγίσιμη στο 
ισχύει 
έχουμε 
έπειδή
έχουμε οτι
έπειδή
ισχύει 
με 



έχουμε οτι 

. Που επάληθεύει την αρχική σχέση.
. Επομένως έχουμε πως για κάθε
. Οπότε η
.Συνεπώς αντιστρέφεται.
και 

και η σχέση γίνεται 
. Οπότε η εξίσωση έχει δύο ρίζες τις 
. Ομως για κάθε
,
διότι 


για την οποία υποθέτουμε οτι
. Θεωρούμε την συνάρτηση 
, 

και επειδή
απ όπου έχουμε ότι ![f(x)\int_{x}^{2x}{\frac{1}{t}dt}<\int\limits_{x}^{2x}{\frac{f(t)}{t}dt}<f(2x)\int\limits_{x}^{2x}{\frac{1}{t}dt}\Leftrightarrow \displaystyle{f(x)[\ln t]_{x}^{2x}<\int\limits_{x}^{2x}{\frac{f(t)}{t}dt}<f(2x)[\ln t]_{x}^{2x}\Leftrightarrow f(x)\ln 2<\int\limits_{x}^{2x}{\frac{f(t)}{t}dt}<f(2x)\ln 2 f(x)\int_{x}^{2x}{\frac{1}{t}dt}<\int\limits_{x}^{2x}{\frac{f(t)}{t}dt}<f(2x)\int\limits_{x}^{2x}{\frac{1}{t}dt}\Leftrightarrow \displaystyle{f(x)[\ln t]_{x}^{2x}<\int\limits_{x}^{2x}{\frac{f(t)}{t}dt}<f(2x)[\ln t]_{x}^{2x}\Leftrightarrow f(x)\ln 2<\int\limits_{x}^{2x}{\frac{f(t)}{t}dt}<f(2x)\ln 2](/forum/ext/geomar/texintegr/latexrender/pictures/47feb0f5d3a3182fffd91baac9d35b07.png)
και επειδή
απ όπου έχουμε ότι 
![f(2x)[\ln \left| t \right|]_{2x}^{x}>\int\limits_{2x}^{x}{\frac{f(t)}{t}dt}>f(x)[\ln \left| t \right|]_{2x}^{x}\Leftrightarrow f(2x)[\ln \left| t \right|]_{2x}^{x}>\int\limits_{2x}^{x}{\frac{f(t)}{t}dt}>f(x)[\ln \left| t \right|]_{2x}^{x}\Leftrightarrow](/forum/ext/geomar/texintegr/latexrender/pictures/292c7fe5aaffbf506b9feb1a8ae61e89.png)

και

όμοια δείχνουμε ότι


με 
και ισχύει
(
άρα η
και ισχύει
(

για τις οποίες γνωρίζουμε ότι:
η 
, για κάθε
τέμνονται σε μοναδικό σημείο του διαστήματος
.
τέτοιο ώστε 
και 
και 
![\displaystyle{H(x) = F(x) - G(x),x \in [0,2]} \displaystyle{H(x) = F(x) - G(x),x \in [0,2]}](/forum/ext/geomar/texintegr/latexrender/pictures/8fad73f9960a227aad79777334930d4e.png)
είναι συνεχής στο
ως πράξεις συνεχών συναρτήσεων
ως πράξεις παραγωγίσιμων συναρτήσεων
, οπότε από θεώρημα
υπάρχει
τέτοιο ώστε 
έχουμε
έχουμε
μοναδική λύση της εξίσωσης
, άρα οι γραφικές παραστάσεις των 
ισχύει
.Άκομα
και 
έχουμε οτι
και 

και 
και
και έχω
![\displaystyle{s(x) = f(x) - g(2 - x),x \in [0,2]} \displaystyle{s(x) = f(x) - g(2 - x),x \in [0,2]}](/forum/ext/geomar/texintegr/latexrender/pictures/b6fc7092448a5e848ac5c531026e53de.png)
είναι συνεχής στο
και 
έχω οτι υπάρχει τουλάχιστον ένα
τέτοιο ώστε 
τέτοιο ώστε 
, οπότε 

, για κάθε
και
και
στο
, άρα υπάρχει
.
είναι λάθος. Οπότε πρέπει να τροποποιηθεί αναλόγως και η λύση της άσκησης.

και στη συνέχεια έχουμε:
.