Tolaso J Kos έγραψε:Λάμπρο αν μου επιτρέπεις μία δύσκολη αλλά διαχρονική.
Άσκηση 15
Έστωμία παραγωγίσιμη συνάρτηση για την οποία ισχύει
και
. Να δείξετε ότι
και ότι η
παρουσιάζει ελάχιστο το οποίο να
προσδιορίσετε.
Για

Έστω ότι
, τότε
ΑΤΟΠΟ.Οπότε
,
και εφόσον
συνεχής στο
ως παραγωγίσιμη, θα έχει σταθερό πρόσημο σε αυτό.Συνεπώς,
,
Άρα

και

και φυσικά για
, ισχύει ότι 
Οπότε η
γνησίως αύξουσα στο 
και γνησίως φθίνουσα στο
![\left(-\infty,0 \right] \left(-\infty,0 \right]](/forum/ext/geomar/texintegr/latexrender/pictures/ebab3376a9700fcd0bd6d09ecd4cd88e.png)
Παρουσιάζει συνεπώς ελάχιστο στην θέση
, το 
μία παραγωγίσιμη συνάρτηση για την οποία ισχύει
. Να δείξετε ότι
και ότι η
προσδιορίσετε.
γνησίως αύξουσα και κοίλη στο
, με
.
, με
και
.
για
δεν έχει ρίζες και άρα διατηρεί πρόσημο. 


επομένως είναι:



επομένως ολοκληρώνοντας:
οπότε


, για κάθε
, να δείξετε ότι η
.
, από την μονοτονία της
παίρνουμε:




κοντά στο
και 

έχει όριο. 

ΑΤΟΠΟ


άτοπο.
(1)
(2)
. Για
.
. Για 
που επαληθεύει.
. Να δείξετε ότι είναι συνεχής στο
που περικλείεται της
, του άξονα
και των ευθειών
.
, η οποία ικανοποιεί τις σχέσεις
(1) και
(2) ,
.
είναι σταθερή στο
.
,
.
.
;;![\displaystyle{\begin{aligned}
g'(x) &=\left [ \left ( f'(x)+f(x) \right )e^{-x} \right ]' \\
&= \left [ \left ( \sqrt{16+f^2(x)}+f(x) \right )e^{-x} \right ]'\\
&=\left ( \frac{f'(x)f(x)}{\sqrt{16+f^2(x)}}+f'(x) \right )e^{-x}- \left ( \sqrt{16+f^2(x)}+f(x) \right )e^{-x}\\
&\overset{f'(x)= \sqrt{16+f^2(x)}}{=\! =\! =\! =\! =\! =\! =\! =\! =\! =\! =\!} \cancel{\left ( f(x)+f'(x) \right )e^{-x}} - \cancel{\left ( f'(x)+f(x) \right )e^{-x}} \\
&=0
\end{aligned}} \displaystyle{\begin{aligned}
g'(x) &=\left [ \left ( f'(x)+f(x) \right )e^{-x} \right ]' \\
&= \left [ \left ( \sqrt{16+f^2(x)}+f(x) \right )e^{-x} \right ]'\\
&=\left ( \frac{f'(x)f(x)}{\sqrt{16+f^2(x)}}+f'(x) \right )e^{-x}- \left ( \sqrt{16+f^2(x)}+f(x) \right )e^{-x}\\
&\overset{f'(x)= \sqrt{16+f^2(x)}}{=\! =\! =\! =\! =\! =\! =\! =\! =\! =\! =\!} \cancel{\left ( f(x)+f'(x) \right )e^{-x}} - \cancel{\left ( f'(x)+f(x) \right )e^{-x}} \\
&=0
\end{aligned}}](/forum/ext/geomar/texintegr/latexrender/pictures/c79ee267b6f7c6967a762926dce7c3cd.png)
![\displaystyle{\begin{aligned}
\int_{-1}^{1}f(x)\, {\rm d}x &= \left [ x f(x) \right ]_{-1}^{1} - \int_{-1}^{1}x f'(x)\, {\rm d}x\\
&=\cancelto{0}{ f(1) + f(-1)}- \int_{-1}^{1}x \sqrt{16 +f^2(x)}\, {\rm d}x\\
&=0
\end{aligned}} \displaystyle{\begin{aligned}
\int_{-1}^{1}f(x)\, {\rm d}x &= \left [ x f(x) \right ]_{-1}^{1} - \int_{-1}^{1}x f'(x)\, {\rm d}x\\
&=\cancelto{0}{ f(1) + f(-1)}- \int_{-1}^{1}x \sqrt{16 +f^2(x)}\, {\rm d}x\\
&=0
\end{aligned}}](/forum/ext/geomar/texintegr/latexrender/pictures/623ddfb0c369d8393f0595f75c4fac5c.png)

και στα δύο μέλη ) βγάζουμε ότι:
.
.![\displaystyle{\begin{aligned}
\int_{0}^{3}\ln \frac{x+\sqrt{16+x^2}}{4} \, {\rm d}x&= \int_0^3 f^{-1}(x)\, {\rm d}x\\
&\! \! \!\!\!\!\!\!\!\! \overset{u=f^{-1}(x)}{=\! =\! =\! =\! =\!}\int_{0}^{\ln 2}xf'(x)\, {\rm d}x \\
&= \left [ x f(x) \right ]_0^{\ln 2} - \int_{0}^{\ln 2}f(x)\, {\rm d}x\\
&= \ln 2f(\ln 2) - 2\int_{0}^{\ln 2} \left ( e^x - e^{-x} \right )\, {\rm d}x \\
&= 3\ln 2-1
\end{aligned} } \displaystyle{\begin{aligned}
\int_{0}^{3}\ln \frac{x+\sqrt{16+x^2}}{4} \, {\rm d}x&= \int_0^3 f^{-1}(x)\, {\rm d}x\\
&\! \! \!\!\!\!\!\!\!\! \overset{u=f^{-1}(x)}{=\! =\! =\! =\! =\!}\int_{0}^{\ln 2}xf'(x)\, {\rm d}x \\
&= \left [ x f(x) \right ]_0^{\ln 2} - \int_{0}^{\ln 2}f(x)\, {\rm d}x\\
&= \ln 2f(\ln 2) - 2\int_{0}^{\ln 2} \left ( e^x - e^{-x} \right )\, {\rm d}x \\
&= 3\ln 2-1
\end{aligned} }](/forum/ext/geomar/texintegr/latexrender/pictures/cf9bd3bbc1a52060b40176c51800d2eb.png)
.
.
![\int\limits_{-1}^{1}{f(x)dx}=\int\limits_{-1}^{1}{{f}''(x)dx}=\left[ {f}'(x) \right]_{-1}^{1}={f}'(1)-{f}'(-1)=\sqrt{16+{{f}^{2}}(1)}-\sqrt{16+{{f}^{2}}(-1)} \int\limits_{-1}^{1}{f(x)dx}=\int\limits_{-1}^{1}{{f}''(x)dx}=\left[ {f}'(x) \right]_{-1}^{1}={f}'(1)-{f}'(-1)=\sqrt{16+{{f}^{2}}(1)}-\sqrt{16+{{f}^{2}}(-1)}](/forum/ext/geomar/texintegr/latexrender/pictures/63fd4e75007868a6ec06c7ef206d717e.png)

είναι άρτια. Λοιπόν, στον ίδιο σύνδεσμο που παραπέμπω υπάρχει η λύση του Μάριου όπου αποδεικνύει ότι
. Την αντιγράφω όπως είναι:![\displaystyle{\begin{aligned}
\int_{-1}^{1}f(x)\, {\rm d}x &=\int_{-1}^{1}f''(x)\, {\rm d}x \\
&= \left [ f'(x) \right ]_{-1}^{1}\\
&= f'(1) - f'(-1)\\
&= \sqrt{16+f^2(1)} - \sqrt{16+f^2(-1)} \;\;\; (\text{\gr συζυγείς}) \\
&=\frac{f^2(1)-f^2(-1)}{\sqrt{16+f^2(1)}+ \sqrt{16+f^2(-1)}} \\
&=0
\end{aligned}} \displaystyle{\begin{aligned}
\int_{-1}^{1}f(x)\, {\rm d}x &=\int_{-1}^{1}f''(x)\, {\rm d}x \\
&= \left [ f'(x) \right ]_{-1}^{1}\\
&= f'(1) - f'(-1)\\
&= \sqrt{16+f^2(1)} - \sqrt{16+f^2(-1)} \;\;\; (\text{\gr συζυγείς}) \\
&=\frac{f^2(1)-f^2(-1)}{\sqrt{16+f^2(1)}+ \sqrt{16+f^2(-1)}} \\
&=0
\end{aligned}}](/forum/ext/geomar/texintegr/latexrender/pictures/b169e09c56184986427960d9427278c6.png)
με
για την οποία ισχύει
.
, να αποδείξετε ότι
.
έχει μοναδική ρίζα στο
.
. Αν ισχύει ότι
και
καθώς επίσης και η σχέση
.
τέτοιο ώστε
.
.
και
τότε να δείξετε ότι υπάρχει μοναδικό
τέτοιο ώστε
.
με συνεχή παράγωγο, που ικανοποιεί τις σχέσεις :
, για κάθε
(2)
,
για κάθε
,
,
, τον άξονα
, για κάθε 

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

, για κάθε 


για
για κάθε
,
βρίσκουμε ότι είναι η, 
θα πρέπει,
(διότι η ισότητα ισχύει μόνο για 

ισχύει ότι ,
και
από τα οποία προκύπτει το ζητούμενο.