Όμορφο! Φαινόταν εύκολο αλλά μάλλον δεν είναι.
Ορίζω συναρτήσεις
![g_1:[0,1] \to [0,4], g_2:[1,3] \to [0,4] g_1:[0,1] \to [0,4], g_2:[1,3] \to [0,4]](/forum/ext/geomar/texintegr/latexrender/pictures/1cfed9492e1cf44da6d1376c26488d84.png)
και
![g_3:[3,4] \to [0,4] g_3:[3,4] \to [0,4]](/forum/ext/geomar/texintegr/latexrender/pictures/1b814886b5d299c69c77274c90ea034c.png)
οι οποίες στέλνουν το

στο

. Όλες οι συναρτήσεις είναι αντιστρέψιμες. Ας γράψουμε

για τις αντίστροφες.
Τότε η αντικατάσταση

δίνει
και ομοίως
και
Θέλουμε να δείξουμε ότι
Αρκεί λοιπόν να δειχθεί ότι για κάθε
![t \in [0,4] t \in [0,4]](/forum/ext/geomar/texintegr/latexrender/pictures/2052cf43bbbb75b9dbd0aa912c5d82cf.png)
ισχύει ότι
Θα το δείξουμε για κάθε

το οποίο επίσης είναι αρκετό.
Γράφω

. Τότε
οπότε
Επίσης,
το οποίο δίνει
Άρα
Αλλά

και

που δίνουν επίσης

.
Τώρα είναι άμεσο ότι
αφού

.
Οπότε η απόδειξη ολοκληρώθηκε.