Bonsoir,
soient x,y,z : [a,b] -> R continues sur [a,b] et dérivable sur ]a,b[.
on sait qu'on peut trouver c appartenant à ]a,b[ tel que :
determinant de la matrice
( x'(c) y'(c) z'(c) )
( x(a) y(a) z(a) )
( x(b) y(b) z(b) )
soit egale a 0
en utlisant ceci on veut montrer :
si f,g : [a,b] -> R continues sur [a,b] et dérivable sur ]a,b[ et si g'(t) est different de 0 pour tout t appartenant à ]a,b[, alors on peut trouver c appartenant à ]a,b[ tel que
(f(b) - f(a)) / (g(b) - g(a)) = f'(c) / g'(c)
Soit k une contante :
je calcule le deteminant de :
( f'(c) g'(c) 0 )
( f(a) g(a) k ) = 0
( f(b) g(b) k )
j'obtiens :
f'(c) * (g(a) * k - g(b) * k) - g'(c) * ( k * f(a) - k * f(b)) = 0
f'(c) * (g(a) * k - g(b) * k) = g'(c) * ( k * f(a) - k * f(b))
k * [ f'(c) * (g(a) - g(b) ) ] = k * [ g'(c) * ( f(a) - f(b)) ]
[ f'(c) * (g(a) - g(b) ) ] = [ g'(c) * ( f(a) - f(b)) ]
[ f'(c) * (g(b) - g(a) ) ] = [ g'(c) * ( f(b) - f(a)) ]
Pour tout t appartenant à ]a,b[, g'(t) est différent de 0, donc g(b) - g(a) est différent de 0
Donc,
(f(b) - f(a)) / (g(b) - g(a)) = f'(c) / g'(c)
Merci de votre aide
-----