Bonjour à tous !

J'explore le programme de sup (je suis en terminale) et je travaille un exercice mêlant complexes et calculs algébriques, extrait ENS, dont voici l'énoncé:

Soit p un nombre premier, , , , \{0,1} et qui à associe . Soit N le nombre de solutions de l'équation F=0.

Montrer que , où .

Je pense avoir le résultat, mais comme on ne s'aperçoit pas soi-même de ses erreurs (sinon on ne ferait pas d'erreurs...), je me permets de poster ici mon raisonnement dans l'espoir que quelqu'un porte un regard extérieur dessus afin de le valider... ou pas !

On remarque que cette expression est égale à . Il suffit en effet de faire le calcul une fois avec x=0, on obtient bien .

On utilise ensuite la distributivité généralisée pour inverser la somme et le produit, on obtient :

.


Ce qui est égal à, en inversant les sommes :


Ce qui est égal à :


(on réduit le produit en une seule puissance de , on factorise l'exposant par x, apparaît alors clairement.

La somme interne est donc une somme de puissances de racines de l'unité, qui vaut 0 sauf si cette racine vaut 1, ce qui n'est le cas que si =0, auquel cas la somme interne vaut p puisque x appartient à Z/pZ et que Card(Z/pZ)=p.

La somme externe fait que l'on réitère l'opération pour parcourir toutes les familles , on réitère donc l'opération fois.

A chaque fois que est solution, la somme interne vaut p, et on multiplie le tout par . le résultat de ces deux sommes combinées doit donc être divisé par p pour obtenir N, qui est donc un entier compris entre 0 (aucune des familles n'est solution) et (toutes les familles sont solutions).

Notre grosse expression de départ permet donc bien d'obtenir le nombre de solutions de l'équation F=0.

Si quelqu'un peut donc me dire si tout cela est juste, je l'en remercie d'avance !