...καλημέρα

δίνω μιά προσπάθεια στηριζόμενη σε γνωστά λήμματα και γεωμετρικές ερμηνειες..(...ξέρω δεν θα πάρω καλό βαθμό...)..
αλλά η ανταλλαγή απόψεων έχει πάντα ενδιαφέρον..
1) Επειδή είναι

η

είναι γνήσια αύξουσα στο R οπότε ‘1-1’ άρα αντιστρέφεται
και η και επειδή η

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

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

με

δηλαδή για

αφού εκεί
έτσι από

έχουμε
2) Στο
![[0,\,\,\pi ] [0,\,\,\pi ]](/forum/ext/geomar/texintegr/latexrender/pictures/8e3e10a477c62614ee86798e9a01bbf3.png)
για την

ισχύουν οι προυποθέσεις του Rolle ….
3) Επειδή

και το

δεν υπάρχει η

δεν έχει ασύμπτωτη στο

και όμοια στο

και λόγω συμμετρίας των

ως προς την

δεν θα έχει και η

….
4) (α τρόπος) Είναι

με

και επειδή η

είναι γνήσια μονότονη στο
![[0,\,\,\pi ] [0,\,\,\pi ]](/forum/ext/geomar/texintegr/latexrender/pictures/8e3e10a477c62614ee86798e9a01bbf3.png)
άρα ‘1-1’ παραγωγίσιμη με παράγωγο

συνεχή στο
![[0,\,\,\pi ] [0,\,\,\pi ]](/forum/ext/geomar/texintegr/latexrender/pictures/8e3e10a477c62614ee86798e9a01bbf3.png)
έχουμε

και για

το

και για

το

οπότε το

επομένως
![\int\limits_{0}^{\pi }{[f(x)-{{f}^{-1}}(x)]dx}=\int\limits_{0}^{\pi }{f(x)dx}-\int\limits_{0}^{\pi }{{{f}^{-1}}(x)dx}=\int\limits_{0}^{\pi }{(x+\eta \mu x)dx}-\int\limits_{0}^{\pi }{(x+x\sigma \upsilon \nu x)dx} \int\limits_{0}^{\pi }{[f(x)-{{f}^{-1}}(x)]dx}=\int\limits_{0}^{\pi }{f(x)dx}-\int\limits_{0}^{\pi }{{{f}^{-1}}(x)dx}=\int\limits_{0}^{\pi }{(x+\eta \mu x)dx}-\int\limits_{0}^{\pi }{(x+x\sigma \upsilon \nu x)dx}](/forum/ext/geomar/texintegr/latexrender/pictures/0f9fd340e239d882c8084def8183a561.png)
=
![\int\limits_{0}^{\pi }{\eta \mu xdx}-\int\limits_{0}^{\pi }{x\sigma \upsilon \nu xdx}=\int\limits_{0}^{\pi }{\eta \mu xdx}-[x\eta \mu x]_{0}^{\pi }+\int\limits_{0}^{\pi }{\eta \mu xdx}=2\int\limits_{0}^{\pi }{\eta \mu xdx}=4 \int\limits_{0}^{\pi }{\eta \mu xdx}-\int\limits_{0}^{\pi }{x\sigma \upsilon \nu xdx}=\int\limits_{0}^{\pi }{\eta \mu xdx}-[x\eta \mu x]_{0}^{\pi }+\int\limits_{0}^{\pi }{\eta \mu xdx}=2\int\limits_{0}^{\pi }{\eta \mu xdx}=4](/forum/ext/geomar/texintegr/latexrender/pictures/f05dd82b9b41bc03fe8850fdb0680b63.png)
(β τρόπος)
Γεωμετρικά (…..δεν έχω καταφέρει ακόμη να φτάχνω σχήματα…) λόγω συμμετρίας των

ως προς την

το
![I=\int\limits_{0}^{\pi }{[f(x)-{{f}^{-1}}(x)]dx} I=\int\limits_{0}^{\pi }{[f(x)-{{f}^{-1}}(x)]dx}](/forum/ext/geomar/texintegr/latexrender/pictures/cee027dea9e2262b53ef34c3bdfe3a94.png)
είναι το εμβαδό που περικλείεται μεταξύ της

άρα το διπλάσιο εμβαδό μεταξύ των

και

άρα
![I=2\int\limits_{0}^{\pi }{[f(x)-x]dx}=2\int\limits_{0}^{\pi }{\eta \mu xdx=4} I=2\int\limits_{0}^{\pi }{[f(x)-x]dx}=2\int\limits_{0}^{\pi }{\eta \mu xdx=4}](/forum/ext/geomar/texintegr/latexrender/pictures/3d3a17ff700b330233dd91a0e4d09abc.png)