Soit {\varphi} l’indicatrice d’Euler. Pour {n\ge1} , on note {\Delta_n=\{k\in\{1,\ldots,n\}:\operatorname{PGCD}(k,n)=1\}} , de cardinal {\varphi(n)} , et {U_n=\{\zeta\in\mathbb C:\zeta^n=1\}} . Une racine est primitive si {\zeta^k\ne1} pour {1\le k\lt n} ; leur ensemble est {U_n^*} . On pose
{\phi_n(X)=\prod_{\zeta\in U_n^*}(X-\zeta)} Les questions [P] utilisent Python ; {\mathbb Z[X]} désigne les polynômes à coefficients entiers.
1. (a) [P] Écrire liste(n) renvoyant les entiers de {1} à {n} premiers avec {n} , puis une fonction phi(n). Vérifier les résultats pour {n=36} et pour les valeurs de {\varphi(n)} jusqu’à {17} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1. (b) [P] Posons {S_n=\sum\limits_{d\mid n}\varphi(d)} . Écrire sumphi(n) et vérifier que {S_n=n} pour {1\le n\le17} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2. (a) Démontrer que {X^n-1=\prod\limits_{d\mid n}\phi_d(X)} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2. (b) Déterminer la somme {S_n} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2. (c) Montrer que {\phi_n} est à coefficients entiers.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Soient {p\lt q\lt r} des nombres premiers vérifiant {r\lt p+q} . Posons {n=pqr} et définissons {P} par
{(X-1)P(X)=(X^p-1)(X^q-1)(X^r-1)}
3. (a) Pour {k\ge1} , notons {Q_k=X^k-1} . Montrer que
{\phi_n=\frac{Q_nP}{Q_{pq}Q_{pr}Q_{qr}}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
3. (b) Montrer qu’il existe {S\in\mathbb Q[X]} tel que {\phi_n-P=X^{pq}S} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
3. (c) En déduire que le coefficient de {X^r} dans {\phi_n} est {-2} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
3. (d) Montrer que les coefficients de {\phi_{105}} ne sont pas tous dans {\{-1,0,1\}} .
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
À titre documentaire, le PDF propose le calcul numérique suivant des coefficients en degrés décroissants :
import numpy as np
def cyclotomic ( n ) :
v = np . array ( liste ( n ) )
rac = np . exp ( 2j * np . pi * v / n )
pol = np . poly1d ( rac , r = True )
return np . round ( np . real ( pol ) ) . astype ( int )
# cyclotomic(15) : [1, -1, 0, 1, -1, 1, 0, -1, 1]