@sarenarde@ModuloHaine Enfin si n = p^l avec p premier de la même façon on montre que l = 1 (sinon p doit diviser p+1) ainsi 2p doit être un carré, p = 2 est l'unique solution.
En conclusion n = 2 est l'unique solution au problème.
4/4
@sarenarde@ModuloHaine On est rendu au cas n = pq. On a p(q+1) = a^2 donc p l q+1 et p > q (hypothèse du début) : ce n'est pas incompatible : p = q+1 puis (p,q) = (2,3) : ce n'est pas une solution.
3/4
@ModuloHaine Les racines de Pi_a sont toutes des parties réelles de racine n-ième de l'unité et leur produit vaut 1 : elles sont toutes égales à +- 1. On observe que a /= 1,-1 d'où l'absurdité.
@ModuloHaine Supposons par l'absurde que ce ne soit pas le cas, a := racine(k+1) - racine(k) est la partie réelle d'une racine n-ième de l'unité.
Le polynôme minimal de a divise donc T_n - 1 (où T_n est le n-ième polynôme de Tchebychev). Par calcul Pi_a = X^4 - (4k+k)X^2 +1.