Το παραθέτω για να δώσετε τις λύσεις σας και να δώσουμε και τις δικές μας απλά
για να το έχουμε στη συλλογή μας.
Θα το δώσω ερώτημα-ερώτημα, έτσι ώστε να προλαβαίνει όποιος θέλει να δίνει τη λύση του.
Ξεκινάω, καλή διασκέδαση σε όποιον ασχοληθεί.
Η συνάρτηση
είναι δύο φορές παραγωγίσιμη στο
με:
για κάθε
στο 
Δ1. Να αποδείξετε ότι η
είναι γνησίως αύξουσα.
![\displaystyle{\int\limits_0^{g''(x)} {2{t^2}{e^{{t^2}}}} dt = \int\limits_0^{g''(x)} {t\left( {{e^{{t^2}}}} \right)'dt} = \left[ {t{e^{{t^2}}}} \right]_0^{g''(x)} - \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt = g''(x){e^{{{\left[ {g''(x)} \right]}^2}}} - \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt} \displaystyle{\int\limits_0^{g''(x)} {2{t^2}{e^{{t^2}}}} dt = \int\limits_0^{g''(x)} {t\left( {{e^{{t^2}}}} \right)'dt} = \left[ {t{e^{{t^2}}}} \right]_0^{g''(x)} - \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt = g''(x){e^{{{\left[ {g''(x)} \right]}^2}}} - \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt}](/forum/ext/geomar/texintegr/latexrender/pictures/ed0b7430f6f7e553607730a23148334b.png)
![\displaystyle{g''(x){e^{{{\left[ {g''(x)} \right]}^2}}} - \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt < g''(x){e^{{{\left[ {g''(x)} \right]}^2}}} - g''(x) \Leftrightarrow \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt > g''(x),x \in \mathbb{R}} \displaystyle{g''(x){e^{{{\left[ {g''(x)} \right]}^2}}} - \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt < g''(x){e^{{{\left[ {g''(x)} \right]}^2}}} - g''(x) \Leftrightarrow \int\limits_0^{g''(x)} {{e^{{t^2}}}} dt > g''(x),x \in \mathbb{R}}](/forum/ext/geomar/texintegr/latexrender/pictures/620fcc209e78d1b957ae879f3764ebbd.png)
με τύπο: 
αφού 
. Επομένως η
επομένως η
είναι γνησίως αύξουσα στους πραγματικούς. (δηλ η ![\displaystyle{\begin{aligned}
\int_{0}^{g''(x)}t\left ( e^{t^2} \right )'dt<g''(x)e^{[g''(x)]^2}-g''(x) &\iff \left [ te^{t^2} \right ]_0^{g''(x)}<g''(x) e^{[g''(x)]^2}-g''(x)\\
&\iff g''(x)e^{[g''(x)]^2}-\int_{0}^{g''(x)}e^{t^2}dt<g''(x)e^{[g''(x)]^2}-g''(x) \\
&\iff \int_{0}^{g''(x)}e^{t^2}dt>g''(x) \\
&\iff \int_{0}^{g''(x)}e^{t^2}>\int_{0}^{g''(x)}dt
\end{aligned}} \displaystyle{\begin{aligned}
\int_{0}^{g''(x)}t\left ( e^{t^2} \right )'dt<g''(x)e^{[g''(x)]^2}-g''(x) &\iff \left [ te^{t^2} \right ]_0^{g''(x)}<g''(x) e^{[g''(x)]^2}-g''(x)\\
&\iff g''(x)e^{[g''(x)]^2}-\int_{0}^{g''(x)}e^{t^2}dt<g''(x)e^{[g''(x)]^2}-g''(x) \\
&\iff \int_{0}^{g''(x)}e^{t^2}dt>g''(x) \\
&\iff \int_{0}^{g''(x)}e^{t^2}>\int_{0}^{g''(x)}dt
\end{aligned}}](/forum/ext/geomar/texintegr/latexrender/pictures/8c66a1f9370167d2804fb34b23d3f830.png)
. Όμως
.
δεν είναι μη θετική, αφού τότε καταλήγαμε σε άτοπο. Οπότε
άρα 
παραγωγίσιμη στο
με 
![\displaystyle{\int_0^{g''(x)} h'(t)dt=\left [ h(t) \right ]_0^{g''(x)}=h(g''(x))=g''(x)e^{{g''(x)}^{2}}-g''(x)} \displaystyle{\int_0^{g''(x)} h'(t)dt=\left [ h(t) \right ]_0^{g''(x)}=h(g''(x))=g''(x)e^{{g''(x)}^{2}}-g''(x)}](/forum/ext/geomar/texintegr/latexrender/pictures/84bbfb196912ba72befb946ea757654d.png)



θα πρέπει 
και μελετώντας την μονοτονία της.
τέτοιο, ώστε
και
.
ούτε κάποιο από αυτά μπορεί να ισούται με
, λόγω της δοθείσας συνθήκης. Επειδή
και το γινόμενο των ολοκληρωμάτων είναι αρνητικό
ή
τότε προφανώς τα ολοκληρώματα θα ήταν ομόσημα.
ή
. Τώρα η συνάρτηση 
, ισχύουν για τη
επομένως υπάρχει
ώστε: 
δηλαδή το ζητούμενο.
είναι
με
. Σύμφωνα με το
, υπάρχει
ώστε
.
, έπεται ότι
.
και μελετώντας την μονοτονία της.
αλλιώς δε θα ίσχυε η δεδομένη ανισότητα.
ώστε 
,
, ![x\in[g''(x_{o}),0] x\in[g''(x_{o}),0]](/forum/ext/geomar/texintegr/latexrender/pictures/e51e02b1c327c5864f192b9b6986e84b.png)
και από
είναι
, 
![\displaystyle{\Rightarrow \displaystyle{(e^{[g''(x_{o})]^2)}-1) 2{c^2}{e^{{c^2}}} dt-2c e^{c^2} \int\limits_0^{g''(x_{o})} {2{t^2}{e^{{t^2}}}} dt }=0\Rightarrow \frac{\int\limits_0^{g''(x_{o})} {2{t^2}{e^{{t^2}}}} dt}{e^{[g''(x_{o})]^2}-1}=c} \displaystyle{\Rightarrow \displaystyle{(e^{[g''(x_{o})]^2)}-1) 2{c^2}{e^{{c^2}}} dt-2c e^{c^2} \int\limits_0^{g''(x_{o})} {2{t^2}{e^{{t^2}}}} dt }=0\Rightarrow \frac{\int\limits_0^{g''(x_{o})} {2{t^2}{e^{{t^2}}}} dt}{e^{[g''(x_{o})]^2}-1}=c}](/forum/ext/geomar/texintegr/latexrender/pictures/ff2b1ce99fe9f317094c0868ddf3d5d6.png)
. άτοπο άρα
και
γν. αύξουσα
που να ικανοποιεί τα
σε συνδυασμό με την μονοτονία της 



για 