Jpeux même de faire la démo :
Soit Fa(x) = int(f(t), t=a..x) avec f fonction à valeurs dans I vers R (et continue) et a€I.
- Fa(x) est bien définie sur I car f est continue sur I.
- C'est bien l'unique primitive s'annulant en a, car tu sais que 2 primitives différentes d'une même fonction diffèrent d'une constante. (à dire à la fin)
Après faut prouver que Fa'(xo) = f(xo) avec xo€I
Donc que pour tout epsilon > 0, il existe un n>0 tel que pour tout x€I |x-x0| <= n => |(Fa(x)-Fa(x0))/(x-x0)-f(x0)| <= epsilon
(Fa(x)-Fa(x0))/(x-x0)-f(x0) = (Fa(x0+h)-f(x0))/h - f(x0)
En remplaçant par l'expression :
= 1/h * ( int(f(t),t=a..x0+h) - int(f(t),t=a..x0) ) - hf(x0)
= 1/h * ( int(f(t)-f(x0),t=x0..x0+h) )
et donc en majorant :
|(Fa(x)-Fa(x0))/(x-x0)-f(x0)| <= |1/h * ( int(f(t)-f(x0),t=x0..x0+h) )|
or f est continue en x0 donc on peut trouver blablabla tel que f(t)-f(x0) < epsilon (epsilon > 0)
et on aura
|(Fa(x)-Fa(x0))/(x-x0)-f(x0)| <= |h|/|h| epsilon
Ce qui prouve bien que Fa'(x0) = f(x0)
Si t'es pas d'accord alors 