Aller au contenu

Recherche:Polynômes annulateurs de nombres sous la forme cosinus ou tangente/Polynômes annulateurs de nombres de la forme 2cos(2kπ╱n)

Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Polynômes annulateurs de nombres de la forme 2cos(2kπ╱n)
Icône de la faculté
Chapitre no 2
Recherche : Polynômes annulateurs de nombres sous la forme cosinus ou tangente
Chap. préc. :Méthodes d'obtention des polynômes
Chap. suiv. :Polynômes annulateurs de nombres de la forme tan(kπ╱n)
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Polynômes annulateurs de nombres sous la forme cosinus ou tangente : Polynômes annulateurs de nombres de la forme 2cos(2kπ╱n)
Polynômes annulateurs de nombres sous la forme cosinus ou tangente/Polynômes annulateurs de nombres de la forme 2cos(2kπ╱n)
 », n'a pu être restituée correctement ci-dessus.

Ci-dessous se trouvent, dans l’ordre croissant des degrés sur des nombres, les polynômes minimaux sur (d) (ou sur lorsque rien n'est précisé) de quelques entiers algébriques de la forme

2cos(2kπ/n) pour 0<k<n/2 et k premier avec n.

Lorsque n est pair, la fraction 2k/n sera écrite simplifiée par 2.

Rappelons (cf. chap. 1) que le degré (sur ) de cos2kπn, avec k et n premiers entre eux et n3, vaut φ(n)2 (7,9). Lorsque φ(n) est divisible par 4, le polynôme minimal sur se factorisera en produit de deux polynômes de degré φ(n)4 sur un (d), d'autant de façons qu'il y a de sous-groupes d'indice 2 dans le groupe quotient (/n)×/{±1} (donc une seule si et seulement si ce groupe est cyclique, donc plusieurs si n est divisible par 8). De plus, l'entier d (positif et sans facteur carré) — et même 4d, si d≢1mod4 — divise n car le discriminant de (d) divise celui de l'extension cyclotomique ℚ(ζn).

Nous éviterons les redondances en remarquant que si

Xm+am1Xm1+am2Xm2++a0 est le polynôme minimal sur K de 2cos2kπn,

alors

Xmam1Xm1+am2Xm2++(1)ma0 est le polynôme minimal sur K de son opposé, 2cos(n2k)πn.

Le cas n=2n avec n impair se ramène ainsi au cas n=n.

Exemple : n = 40

[modifier | modifier le wikicode]

Le polynôme minimal (sur ) des nombres 2cos2kπ40 pour k=1,3,7,9 et de leurs opposés est

P40(X)=P20(X22)=P10((X22)22)=P5(2(X22)2)=P5(X4+4X22)=(X4+4X22)2+(X4+4X22)1=X88X6+19X412X2+1.

En posant x=y+2, l'équation x48x3+19x212x+1=0 devient y45y2+5=0. On trouve ainsi :

2cosπ20=2+5+52,2cos3π20=2+552,2cos7π20=2552,2cos9π20=25+52,

soit

2cosπ20=1+5+ab22,2cos3π20=1+5+a+b22,2cos7π20=15+a+b22,2cos9π20=1+5a+b22

avec

a=5+25,b=525.

Le groupe (/40)/{1,1}, d'ordre φ(40)/2=8, a trois sous groupes d'indice 2.

Le premier, H1, est l'ensemble des nombres (pris modulo 40 et au signe près) puissances de ±7 (ou, ce qui revient au même : de son inverse ±17 dans (/40)/{1,1}), ce que nous noterons

  • H1={±1,±7,±9,±17}.

Avec les mêmes notations, les deux autres sont :

  • H2={±1,±3,±9,±13} (cyclique comme le précédent)
  • H3={±1,±9,±11,±19} (de Klein).

Ils fournissent trois factorisations,

P40(X)=Q1(X)Q1(X)=Q2(X)Q2(X)=Q3(X)Q4(X),

avec

Q1(X)=(X2cosπ20)(X2cos7π20)(X2cos9π20)(X2cos17π20)=(X1+5+ab22)(X15+a+b22)(X1+5a+b22)(X+1+5+a+b22)=X4X323X2+3X21

et (par des calculs analogues) :

Q2(X)=X410X3+X2+10X1,Q3(X)=X44X2+352,Q4(X)=X44X2+3+52.

Nombres rationnels

[modifier | modifier le wikicode]

φ(n)=2 pour n=3,4,6.

Les polynômes minimaux des nombres

2cos2π3,2cosπ2

sont respectivement :

X+1,X.

Irrationnels quadratiques

[modifier | modifier le wikicode]

φ(n)=4 pour n=5,8,10,12.

X2+X1
est le polynôme minimal des nombres :
2cos2π5 et 2cos4π5.
X22
est le polynôme minimal des nombres :
2cosπ4 et son opposé.
X23
est le polynôme minimal des nombres :
2cosπ6 et son opposé.

Nombres de degré 3

[modifier | modifier le wikicode]

φ(n)=6 pour n=7,9,14,18.

X3+X22X1
est le polynôme minimal des nombres :
2cos2π7,2cos4π7,2cos6π7.
X33X+1
est le polynôme minimal des nombres :
2cos2π9,2cos4π9,2cos8π9.

Nombres de degré 4

[modifier | modifier le wikicode]

φ(n)=8 pour n=15,16,20,24,30.

X25+12X352
est le polynôme minimal sur (5) des nombres :
2cos2π15,2cos8π15.
X2+512X3+52
est le polynôme minimal sur (5) des nombres :
2cos4π15,2cos14π15.
X222
est le polynôme minimal sur (2) des nombres :
2cosπ8 et son opposé.
X22+2
est le polynôme minimal sur (2) des nombres :
2cos3π8 et son opposé.
X25+52
est le polynôme minimal sur (5) des nombres :
2cosπ10 et son opposé.
X2552
est le polynôme minimal sur (5) des nombres :
2cos3π10 et son opposé.
X22X1
est le polynôme minimal sur (2) des nombres :
2cosπ12 et 2cos7π12.
X223
est le polynôme minimal sur (3) des nombres :
2cosπ12 et son opposé.
X26X+1
est le polynôme minimal sur (6) des nombres :
2cosπ12 et 2cos5π12.

Nombres de degré 5

[modifier | modifier le wikicode]

φ(n)=10 pour n=11,22.

X5+X44X33X2+3X+1
est le polynôme minimal des nombres :
2cos2kπ11,k=1,2,3,4,5.

Nombres de degré 6

[modifier | modifier le wikicode]

φ(n)=12 pour n=13,21,26,28,36,42.

X3+1132X2X3132
est le polynôme minimal sur (13) des nombres :
2cos2π13,2cos6π13,2cos8π13.
X3+1+132X2X3+132
est le polynôme minimal sur (13) des nombres :
2cos4π13,2cos10π13,2cos12π13.
X31+212X21212X5212
est le polynôme minimal sur (21) des nombres :
2cos2π21,2cos8π21,2cos10π21.
X31212X21+212X5+212
est le polynôme minimal sur (21) des nombres :
2cos4π21,2cos16π21,2cos20π21.
X3X27+7
est le polynôme minimal sur (7) des nombres :
2cosπ14,2cos3π14,2cos9π14.
X33X3
est le polynôme minimal sur (3) des nombres :
2cosπ18,2cos11π18,2cos13π18.

Nombres de degré 8

[modifier | modifier le wikicode]

φ(n)=16 pour n=17,32,34,40,48,60.

X4+1172X33+172X2+(2+17)X1
est le polynôme minimal sur (17) des nombres :
2cos2kπ17,k=1,2,3,4.
X4+1+172X33172X2+(217)X1
est le polynôme minimal sur (17) des nombres :
2cos2k×3π17,k=1,2,3,4.
X44X2+22
est le polynôme minimal sur (2) des nombres :
2cosπ16,2cos7π16 et leurs opposés.
X44X2+2+2
est le polynôme minimal sur (2) des nombres :
2cos3π16,2cos5π16 et leurs opposés.
X4X323X2+3X21
est le polynôme minimal sur (2) des nombres :
2cos7kπ20,k=0,1,2,3.
X410X3+X2+10X1
est le polynôme minimal sur (10) des nombres :
2cos3kπ20,k=0,1,2,3.
X44X2+352
est le polynôme minimal sur (5) des nombres :
2cosπ20,2cos9π20 et leurs opposés.
X44X2+3+52
est le polynôme minimal sur (5) des nombres :
2cos3π20,2cos7π20 et leurs opposés.
X44X2+23
est le polynôme minimal sur (3) des nombres :
2cosπ24,2cos11π24 et leurs opposés.
X44X2+2+3
est le polynôme minimal sur (3) des nombres :
2cos5π24,2cos7π24 et leurs opposés.
X4X315+4X21
est le polynôme minimal sur (15) des nombres :
2cos7kπ30,k=0,1,2,3.

Nombres de degré 10

[modifier | modifier le wikicode]

φ(n)=20 pour n=25,33,44,50,66.

X55X3+5X52+12
est le polynôme minimal sur (5) des nombres :
2cos4k×2π25,k=0,1,2,3,4.
X55X3+5X+52+12
est le polynôme minimal sur (5) des nombres :
2cos4k×π25,k=1,2,3,4,5.
X10X910X8+10X7+34X634X543X4+43X3+12X212X+1
est le polynôme minimal des nombres :
2cos5k×2π33,k=0,1,,9 (à factoriser sur (33))
X5X411+3X21111X+11
est le polynôme minimal sur (11) des nombres :
2cos5kπ22,k=0,1,2,3,4.