M.S.Vovos έγραψε:
Δίνεται η παραγωγίσιμη συνάρτηση
![f:\left [ 0,1 \right ]\rightarrow \mathbb{R}^{\ast } f:\left [ 0,1 \right ]\rightarrow \mathbb{R}^{\ast }](/forum/ext/geomar/texintegr/latexrender/pictures/454dc244713f60aaaf1e70f104579745.png)
, για την οποία ισχύουν:

, για κάθε
(α.i.) Να αποδείξετε ότι

, για κάθε
![x\in \left [ 0,1 \right ] x\in \left [ 0,1 \right ]](/forum/ext/geomar/texintegr/latexrender/pictures/6c33a6c363fd621c68b448a8bcad2f84.png)
.
(α.ii.) Να αποδείξετε ότι

, για κάθε
![x\in \left [ 0,1 \right ] x\in \left [ 0,1 \right ]](/forum/ext/geomar/texintegr/latexrender/pictures/6c33a6c363fd621c68b448a8bcad2f84.png)
.
(β) Να προσδιορίσετε την μέγιστη

και ελάχιστη

τιμή της συνάρτησης

και στη συνέχεια, να αποδείξετε ότι η παρακάτω εξίσωση είναι αδύνατη:
(γ) Να αποδείξετε ότι η συνάρτηση

είναι αντιστρέψιμη με

, για κάθε
![\displaystyle{x\in \left [ 1,1+\sqrt{2} \right ]} \displaystyle{x\in \left [ 1,1+\sqrt{2} \right ]}](/forum/ext/geomar/texintegr/latexrender/pictures/56e60811f83a33991f57533a4ca89aac.png)
.
(δ) Να υπολογίσετε το εμβαδόν του χωρίου

, που περικλείεται από τη γραφική παράσταση της συνάρτησης

, τους άξονες συντεταγμένων και την ευθεία

.
Φιλικά,
Μάριος
Από τη σχέση

βγάζουμε

Συνεπώς

και

. Επειδή η

είναι συνεχής στο
![[0, 1] [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/264884439b70ab09a86bc848421c6de6.png)
και σε αυτό είναι μη μηδενιζόμενη ( αφού από τα δεδομένα δίδεται ότι το σύνολο αφίξεως είναι το

) θα διατηρεί πρόσημο. Εφόσον

συνάγουμε ότι

για κάθε
![x \in [0, 1] x \in [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/93f30fd332c4e8fea09e07b515abcd4a.png)
.
(α)
(ι) Από τη σχέση

έχουμε

Θεωρούμε τη συνάρτηση

η οποία είναι παραγωγίσιμη στο
![[0, 1] [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/264884439b70ab09a86bc848421c6de6.png)
και ( γνήσια ) φθίνουσα αφού

. 'Όμως η

είναι συνεχής σε κλειστό διάστημα οπότε σε αυτό λαμβάνει μέγιστη και ελάχιστη τιμή. Επειδή είναι φθίνουσα η ελάχιστη τιμή είναι η

και η μέγιστη η

. Θα δείξουμε ότι

για κάθε
![x \in [0, 1] x \in [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/93f30fd332c4e8fea09e07b515abcd4a.png)
. Πράγματι:

Το ζητούμενο έπεται άμεσα.
(ιι) Από τη σχέση που αποδείξαμε λίγο πριν πάνω , αν κάνουμε τη συμπλήρωση τετραγώνων , έχουμε:

Η συνάρτηση

είναι συνεχής στο
![[0, 1] [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/264884439b70ab09a86bc848421c6de6.png)
και μη μηδενιζόμενη σε αυτό , διότι αν είχε ρίζα τότε , έστω

, η

για

θα έδινε

το οποίο προφανώς είναι άτοπο. Οπότε η

διατηρεί πρόσημο και μάλιστα θετικό αφού

. Άρα
(β) Η

είναι γνήσια αύξουσα ( απλό με τον ορισμό αφού δουλεύουμε στο
![[0, 1] [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/264884439b70ab09a86bc848421c6de6.png)
). Οπότε η μέγιστη τιμή της είναι η

και η ελάχιστη είναι η

. Οπότε για κάθε
![x \in [0, 1] x \in [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/93f30fd332c4e8fea09e07b515abcd4a.png)
είναι

και για κάθε
![y \in [0, 1] y \in [0, 1]](/forum/ext/geomar/texintegr/latexrender/pictures/3653ac7c354ab08032317f9c8c423b8d.png)
είναι

. Παρατηρούμε ότι η εξίσωση γράφεται ως:

Από τη παραπάνω ανάλυση εύκολα διαπιστώνουμε τώρα ότι το πρώτο μέλος είναι θετικό ενώ το δεύτερο αρνητικό. Άρα η εξίσωση δε μπορεί να έχει λύση.
(γ) Ως γνήσια αύξουσα συνάρτηση η

είναι αντιστρέψιμη. Το πεδίο τιμών της είναι το
![[1, 1+\sqrt{2}] [1, 1+\sqrt{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/9f2f1c0628539e5b85f0b0ee16297754.png)
. Για την εύρεση της αντίστροφης θέτουμε

και αρκεί να λύσουμε ως προς

. Όμως:

Άρα όντως
![f^{-1}(y)= \frac{y^2-1}{2y} , \; y \in [1, 1+\sqrt{2}] f^{-1}(y)= \frac{y^2-1}{2y} , \; y \in [1, 1+\sqrt{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/37f82b36e4e7be5bbdd86b973d40c6e5.png)
.
(δ) Το εμβαδόν που περικλείεται της γραφικής παράστασης της

, των αξόνων και της ευθείας

είναι ίσο με

Αρχικά θα υπολογίσουμε το ολοκλήρωμα

. Ας το ονομάσουμε

. Τότε:
![\displaystyle{\begin{aligned}
\mathcal{J} &= \int_{0}^{1} \sqrt{x^2+1} \, {\rm d}x \\
&= \left [ x \sqrt{x^2+1} \right ]_0^1 - \int_{0}^{1}\frac{x^2}{\sqrt{x^2+1}} \, {\rm d}x\\
&= \sqrt{2} - \int_{0}^{1} \frac{x^2+1 -1}{\sqrt{x^2+1}} \, {\rm d}x\\
&= \sqrt{2} - \int_{0}^{1} \frac{x^2+1}{\sqrt{x^2+1}}\, {\rm d}x + \int_{0}^{1} \frac{{\rm d}x}{\sqrt{x^2+1}}\\
&= \sqrt{2} - \underbrace{\int_{0}^{1} \sqrt{x^2+1}}_{\mathcal{J}} \, {\rm d}x + \left [ \ln \left ( x + \sqrt{x^2+1} \right ) \right ]_0^1\\
&= \sqrt{2} - \mathcal{J} + \ln \left ( 1+\sqrt{2} \right )
\end{aligned}} \displaystyle{\begin{aligned}
\mathcal{J} &= \int_{0}^{1} \sqrt{x^2+1} \, {\rm d}x \\
&= \left [ x \sqrt{x^2+1} \right ]_0^1 - \int_{0}^{1}\frac{x^2}{\sqrt{x^2+1}} \, {\rm d}x\\
&= \sqrt{2} - \int_{0}^{1} \frac{x^2+1 -1}{\sqrt{x^2+1}} \, {\rm d}x\\
&= \sqrt{2} - \int_{0}^{1} \frac{x^2+1}{\sqrt{x^2+1}}\, {\rm d}x + \int_{0}^{1} \frac{{\rm d}x}{\sqrt{x^2+1}}\\
&= \sqrt{2} - \underbrace{\int_{0}^{1} \sqrt{x^2+1}}_{\mathcal{J}} \, {\rm d}x + \left [ \ln \left ( x + \sqrt{x^2+1} \right ) \right ]_0^1\\
&= \sqrt{2} - \mathcal{J} + \ln \left ( 1+\sqrt{2} \right )
\end{aligned}}](/forum/ext/geomar/texintegr/latexrender/pictures/b62a816008501a3f3dae172e02d4ca0c.png)
Οπότε

. Γυρνώντας πίσω στη

παίρνουμε ότι το ζητούμενο εμβαδόν έχει τιμή ίση με:
Ωραία ασκησούλα!!