Quelque chose de plus abstrait, donc de plus général : utiliser le polynôme de Chebyshev qui va bien ( cos(9 Arc cos X) ici, si je ne m'abuse), dont les racines sont les cos cherchés, et se rappeler de la formule donnant le produit des racines...