Détermination du nombre de racines distinctes d'un polynôme

Soit $P \in \mathbb{R}[X]$. On montre dans ce développement que l'on peut calculer le nombre de racines réelles en fonction de la signature d'une forme quadratique bien définie.