Γεια σας.
Όπως δείξατε και εσείς, η συνάρτηση

είναι γνησίως αύξουσα, άρα και

.
Επίσης, αυτή είναι συνεχής στο πεδίο ορισμού της και κατά συνέπεια έχουμε :

.
Ορίζεται η

με τύπο

, άρα

.
Από εδώ προκύπτει ότι και η

είναι

αφού για τυχόντα

ισχύει
Ορίζεται λοιπόν η αντίστροφη

και απεικονίζει
κάθε

στο μοναδικό

για το οποίο ισχύει

.
Υποψιαζόμαστε λοιπόν ότι η αντίστροφη της

είναι η

διότι :
Η

είναι

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

τέτοια, ώστε

.
Έτσι, θα δείξουμε ότι

. Εξ' ορισμού,

.
Για τον αντίστροφο εγκλεισμό :
pastavr έγραψε:
Έστω

. Τότε για κάθε

, έχουμε :

Άρα

Αυτό το " για κάθε"

νομίζω ότι δεν είναι σωστό. Καλύτερα είναι να γράψουμε το εξής :
Θέλουμε να δείξουμε ότι

. Έστω λοιπόν

.
Αναζητούμε

τέτοιο, ώστε

. Επειδή η
είναι

, ισοδύναμα, αναζητούμε

τέτοιο, ώστε
ή ισοδύναμα, αναζητούμε

τέτοιο, ώστε
ή ισοδύναμα, αναζητούμε

τέτοιο, ώστε

.
Έτσι, λοιπόν, θέτοντας

έχουμε ότι

και σύμφωνα με την
ανάλυση

,

.