ΔΗΜΗΤΡΙΟΣ ΚΑΤΣΙΠΟΔΑΣ έγραψε:ΑΣΚΗΣΗ 167
Έστω η παραγωγίσιμη συνάρτηση στο

συνάρτηση

, για την οποία ισχύουν:

καθώς και για κάθε
α. Να δείξετε ότι για κάθε

ισχύει
β. Αν για κάθε

ισχύει

να προσδιορίσετε την τιμή του
γ. Να δείξετε ότι η εξίσωση

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

α. Για κάθε

έχουμε

, οπότε

.
Θεωρώ τη συνάρτηση

με

. Η

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

.
Άρα για κάθε

έχουμε
β.Για

έχουμε
Επειδή η

παραγωγίσιμη, είναι και συνεχής. Συνεπώς η συνάρτηση

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

, άρα και συνεχής. Οπότε
Επομένως,

,αφού η

συνεχής .
Ακόμα,
Άρα

\displaystyle{\displaystyle{(1)}

\displaystyle{x<0}

\int\limits_{0}^{x}{f(t)dt+2{{\alpha }^{x}}+{{e}^{x}}\ge 3}\Leftrightarrow \int\limits_{0}^{x}{f(t)dt\ge 3-2{{\alpha }^{x}}-{{e}^{x}}\overset{x<0}{\mathop{\Leftrightarrow }}\,}\frac{\int\limits_{0}^{x}{f(t)dt}}{x}\le \frac{3-2{{\alpha }^{x}}-{{e}^{x}}}{x}.

f

h(x)=\int\limits_{0}^{x}{f\left( t \right)dt}

R

\displaystyle{\underset{x\to {{0}^{-}}}{\mathop{\lim }}\,\left( \int\limits_{0}^{x}{f(t)dt} \right)=h(0)=0}

\displaystyle{\underset{x\to {{0}^{-}}}{\mathop{\lim }}\,\frac{\int\limits_{0}^{x}{f(t)dt}}{x}\underset{{D}'LH}{\overset{\frac{0}{0}}{\mathop{=}}}\,\underset{x\to {{0}^{-}}}{\mathop{\lim }}\,\left( f(x) \right)=f(0)}

f

\displaystyle{\underset{x\to {{0}^{-}}}{\mathop{\lim }}\,\left( \frac{3-2{{\alpha }^{x}}-{{e}^{x}}}{x} \right)\underset{{D}'LH}{\overset{\frac{0}{0}}{\mathop{=}}}\,\underset{x\to {{0}^{-}}}{\mathop{\lim }}\,\left( \frac{-2{{\alpha }^{x}}\ln \alpha -{{e}^{x}}}{1} \right)=-2\ln \alpha -1.}

\displaystyle{f(0)\le -2\ln \alpha -1}}
Από

,

έχουμε

. Όμως

οπότε
γ. Θεωρώ τη συνάρτηση

με
![x\in \left[ 0,1 \right] x\in \left[ 0,1 \right]](/forum/ext/geomar/texintegr/latexrender/pictures/3e31cd6ff7d88bd51e76487298afceef.png)
. Η

συνεχής στο
![\left[ 0,1 \right] \left[ 0,1 \right]](/forum/ext/geomar/texintegr/latexrender/pictures/f5be964b3c920f4835722b098ea4aae8.png)
ως πράξεις συνεχών και επιπλέον

και

.
Από το (α) έχουμε
![f\left( t \right)>{{e}^{t}}\Rightarrow \int\limits_{0}^{1}{f\left( t \right)dt>\int\limits_{0}^{1}{{{e}^{t}}dt=\left[ {{e}^{t}} \right]_{0}^{1}}=e-1\Rightarrow } f\left( t \right)>{{e}^{t}}\Rightarrow \int\limits_{0}^{1}{f\left( t \right)dt>\int\limits_{0}^{1}{{{e}^{t}}dt=\left[ {{e}^{t}} \right]_{0}^{1}}=e-1\Rightarrow }](/forum/ext/geomar/texintegr/latexrender/pictures/fe6576d85a073b9e2bc1e7aa37cfe76d.png)
Άρα

και συνεπώς από το Θεώρημα

υπάρχει ένα τουλάχιστον

τέτοιο ώστε
EDIT: Έγινε τροποποίηση στη λύση, μετά την τροποποίηση στην εκφώνηση