teorema del valor mitx

teorema:
[∃c][ c€K & ( (f(b)+(-1)·f(a))/(b+(-a)) ) = d_{x}[f(c)] ]


demostració:


Q = ( (f(b)+(-1)·f(a))/(b+(-a)) )


F(x) = (-1)f(x)+f(a)+Q( x+(-a) )


F(a) = 0 & F(b) = 0


d_{x}[F(x)] = (-1)·d_{x}[f(x)]+Q


d_{x}[f(c)] = Q