Soit P
a est une racine d'ordre n de P
b est une racine simple de P
Mq P^(n) admet une racine sur ]a,b[
Mq par récurrence l'assertion suivant : P(k) : P^(k) avec 1
k=1 ok en effet P(a)= P(b)= 0
de meme pour k=2
Soit n
On suppose P(k) vrai pour k
On a P^(n)(a)=0 et P^(n)(xn)=0 donc d'apres Rolle il existe x(n+1)
d'ou P^(n+1)=0
récurrence concluante
ma récurrence est elle correcte? est ce qu'il existe des solutions plus élégantes
merci !
