bonjour inutile de se compliquer ainsi la vie : si x est racine multiple de P, alors x est racine de P', or P' = 4x^3 + 4x - 4
donc si x est racine multiple de P, alors x vérifie x^3 = 1 - x
De plus x est aussi racine de P, donc x^4 + 2x² -4x + 1 = 0, ce qui devient, compte tenu du fait que x^3 = 1 - x : x(1 - x) + 2x² - 4x + 1 = 0
c'est une équation du second degré, sa résolution donnera les seuls candidats pour être racines doubles de P : comme aucune des racines obtenues n'est rationnelle, c'est réglé, P n'a pas de racine double rationnelle.