ΑΠΟΔΕΙΞΗ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ ΔΙΑΦΟΡΙΚΟΥ ΛΟΓΙΣΜΟΥ
Θεωρείται η συνάρτηση g(x)=f(x)-((f(β)-f(α))/(β-α))*(x-α)
Η g είναι συνεχής στο [α,β] αφού f συνεχής στο [α,β] και παραγωγίσιμη στο (α,β) αφού f παραγωγίσιμη (α,β) με g΄(x)=f΄(x)-((f(β)-f(α))/(β-α))
g(α)=g(β)=f(α)
g συνεχής [α,β], g παραγωγίσιμη (α,β), g(α)=g(β) -> Θεώρημα Rolle: υπάρχει ξ στο (α,β) τέτοιο ώστε g΄(ξ)=0 -> f΄(ξ)=((f(β)-f(α))/(β-α))
-----------------------------------------
Αν f 1-1 και παραγωγίσιμη στο x0 με f΄(x0) διάφορο 0, τότε η αντίστροφη συνάρτηση (f-1) είναι παραγωγίσιμη στο y0=f(x0) με παράγωγο:
(f-1)΄(y0)=1/f΄((f-1)(y0))
ή (f-1)΄(f(x0))=1/f΄(x0)
Αν f΄(x0)=0 τότε η (f-1)΄(y) δεν ορίζεται στο f(x0).
Αν f συνεχής στο R να αποδείξετε ότι δεν υπάρχει x0 στο R τέτοιο ώστε
>\frac{\int_{ln({x}^{2}+1)}^{{x}^{2}+1}{e}^{f(t)}dt}{{x}^{2}+1-ln({x}^{2}+1)})