Έστω η F(x)=
dt )
. Η F παραγωγίσιμη αφού η f είναι συνεχής με F'(x)=f(x).
Έστω η
=int_{a 1}^{x}f(t)dt)
H G παραγωγίσιμη με G'(x)=f(x). Ισχυεί F(a+2)= G(a+3) (1) από υπόθεση.
ΘΜΤ για F στο [a,a+2]. Άρα υπάρχει ξ1ε(a,a+2) τέτοιο ώστε f(ξ1)=
-F(a)}{2}=frac{F(a +2)}{2})
ΘΜΤ για G στό [a+1,a+3] άρα υπάρχει ξ2ε(a+1,a+3) τέτοιο ώστε
f(ξ2)=G(a+3)/2=F(a+2)/2=f(ξ1) άπο (1). Άρα Rolle για f στο [ξ1,ξ2] υποσύνολο το [α,α+3]. άρα υπάρχει χοε(ξ1,ξ2) τέτοιο ώστε f'(xo)=0