Développement : Critère d'Eisenstein + application à l'irréductibilité de $\Phi_p$

Détails/Enoncé :

On démontre le critère d'Eisenstein et à l'aide de ce dernier, on prouve l'irréductibilité du $p$-ème polynôme cyclotomique $\Phi_p(X)=\sum \limits_{k=0}^{p-1}X^k$ sur $\mathbb{Q}[X]$.