On peut faire ça en complexe :
en posant w = exp(i Pi/11 )
On en déduit que la quantité en question peut s'exprimer comme suit :
A = P(w)/Q(w)
où P et Q sont des polynômes du 21 ième degrés (ou moins)
Et reste à effectuer la division euclidienne de P par Q, et montrer ainsi
que Q divise P ( ce que Mapple fera surement mieux que moi ! )
Cela dit avec du courage, ça peut se faire à la main.