cos(pi/11)

pas de quelqu'un ici

J'ai déjà résolu cette exercice mais ma solution est un peu longue, je vais essayer de la rétrécir et de la postuler quand j'aurais le temps xD
Par contre je sais pas pourquoi j'ai trouvé -1/2 à la place de -9/8

Et pour une application plus facile, je vous propose d'utiliser la même méthode pour trouver le polynôme qui admet comme racine cos(pi/7) (qui sera du 3ème degré dans ce cas)
Je posterai ma solution dans les 3 jours à venir si personne n'arrive à trouver la solution.

ça serait bien si tu pouvais nous montrer les étapes de ta solution.