H συνάρτηση

είναι συνεχής στο
![[0,1] [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/ccfcd347d0bf65dc77afe01a3306a96b.png)
ως άθροισμα των συνεχών συναρτήσεων

(γινόμενο συνεχών συναρτήσεων) και

(σταθερή) με

, οπότε από το θεώρημα Bolzano υπάρχει

τέτοιο ώστε

.
Επίσης η συνάρτηση

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

ως άθροισμα των παραγωγίσιμων συναρτήσεων

(γινόμενο παραγωγίσιμων συναρτήσεων) και

(σταθερή) με

, οπότε η

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

, άρα και στο

και
η

έχει το πολύ μια ρίζα.
Συνεπώς το

είναι η μοναδική ρίζα της

.
H συνάρτηση

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

ως άθροισμα των παραγωγίσιμων συναρτήσεων

(γινόμενο παραγωγίσιμων συναρτήσεων) και

(πολυωνυμική) με

.
Αποδείξαμε ότι η

έχει μοναδική ρίζα

και αφού η

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

,
η

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

,
η

είναι γνησίως φθίνουσα στο
![(-\infty, x_0] (-\infty, x_0]](/forum/ext/geomar/texintegr/latexrender/pictures/fc40be5318001f7fa133dd2121954262.png)
και
παρουσιάζει ολικό ελάχιστο για

το

.
Αφού το

είναι ρίζα της

, έχουμε ότι

.
Συνεπώς

.
Τέλος:
* Αν
![x\in A_1=(-\infty,x_0] x\in A_1=(-\infty,x_0]](/forum/ext/geomar/texintegr/latexrender/pictures/bc04a0d392aa04a98eadf75129499523.png)
, όπου η

είναι γνησίως φθίνουσα έχουμε ότι

, δηλαδή

οπότε υπάρχει μοναδική ρίζα της

στο

.
* Αν

, όπου η

είναι γνησίως αύξουσα έχουμε ότι

, δηλαδή

οπότε υπάρχει μοναδική ρίζα της

στο

.
Συνεπώς η

έχει δύο ακριβώς ρίζες στο

.
Υ.Γ. Ευχαριστώ το Ροδόλφο για τις επισημάνσεις στα διαστήματα.