Πολύ ενδιαφέρον πρόβλημα!
α) Παρατηρούμε ότι
Είναι λοιπόν άμεσo
Από τη προηγούμενη σχέση, και στοιχειώδη άλγεβρα ορίων, συμπεραίνουμε ότι
Πολλαπλασιάζοντας κατά μέλη τη τελευταία σχέση με την

έχουμε
Πράγματι λοιπόν η

είναι συνεχής στο

.
β) Παρατηρούμε ότι
Από τη σχέση (ΙΙ), και κάνοντας κατάλληλη αλλαγή μεταβλητής, έχουμε
Αν πολλαπλασιάσουμε τη σχέση (II) με το

, και την προσθέσουμε κατά μέλη με τη σχέση (ΙΙΙ), μετά από μερική άλγεβρα ορίων, προκύπτει
Έτσι, όταν πολλαπλασιάσουμε κατά μέλη τη προηγούμενη σχέση με την

και έπειτα διαιρέσουμε με το

τελικά έχουμε
αφού, όπως και δείξαμε προηγουμένως,

.
γ) Θεωρούμε τη συνάρτηση
Είναι εύκολο να δούμε ότι για κάθε στοιχείο

του πεδίου ορισμού της

ισχύει
Χρησιμοποιώντας τους κανόνες De l'Hospital έχουμε
καθώς
Επιπλέον
Συμπεραίνουμε λοιπόν , από τις σχέσεις (Ι) ,του υποερωτήματος (α), και τις σχέσεις (IV), (V) και (VI) που σημειώσαμε προηγουμένως, καθώς και τον ορισμό της συνάρτησης

, ότι
που είναι ακριβώς και το ζητούμενο.(Φυσικά, για να είμαστε απόλυτα τυπικοί, θα πρέπει να επισημάνουμε το γεγονός ότι το πεδίο ορισμού της

περιέχει μια ανοικτή περιοχή του

).
δ)Ορίζουμε την συνάρτηση
![h : \big[0,\frac{\pi}{2}\big] \to \mathbb{R},x\mapsto f(x) - e^x + x - 6(1-cos(x)) h : \big[0,\frac{\pi}{2}\big] \to \mathbb{R},x\mapsto f(x) - e^x + x - 6(1-cos(x))](/forum/ext/geomar/texintegr/latexrender/pictures/976073fe8cb349d6b25bb71e0658179d.png)
Aπό τη στιγμή που η

είναι συνεχής στο διάστημα
![[0, \frac{\pi}{2}] [0, \frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/1804a12927f0c05d9ea1622a026040f9.png)
τότε και η

θα είναι συνεχής στο πεδίο ορισμού της, ως αποτέλεσμα πράξεων μεταξύ συνεχών συναρτήσεων. Επίσης, αφού

έχουμε ότι
Γνωρίζουμε όμως ότι

Άρα
Από τις σχέσεις (VII) και (VIII) συμπεραίνουμε ότι
Λόγω του αποτελέσματος που αποδείξαμε στο προηγούμενο ερώτημα, έπεται ότι υπάρχει ένα στοιχείο

σε μια περιοχή του μηδενός το οποίο ικανοποιεί τις ακόλουθες ιδιότητες
Από τις σχέσεις αυτές έχουμε ότι
Άρα από τις σχέσεις (ΙΧ) και (X) και εφαρμόζοντας λοιπόν το θεώρημα Bolzano στον περιορισμό της συνάρτησης

στο διάστημα
![[y,\frac{\pi}{2}] [y,\frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/8081c331ddd03ac8de00fcd867677c26.png)
προκύπτει ότι υπάρχει μια ρίζα της εξίσωσης

στο

και άρα στο

.