Bonjour a tous.
Dans le cadre d'un DM sur la non constructibilité de la trisection de l'angle Pi/3, je dois montrer que le polynome x^3-3x-1 n'a pas de racines dans Q .
Je sais que 2cos(Pi/9) est une racine dans dans R de ce polynome.
J'ai essayer de factoriser avec cette racine, mais je n'ai pas réussi.
donc je suis un peu bloquer .
Si vous avez des idées ....
-----