Calcul algébrique de la somme quadratique de Gauss

On calcule, pour $n$ impair $$\tau_n=\sum_{x \in \mathbf Z/n\mathbf Z} \zeta^{x^2}$$ (où $\zeta=\exp(\frac{2i \pi}{n})$) On trouve : $$\tau_n = \left \{\begin{array}{cc} \sqrt n & \text{ si } n \equiv 1 \pmod 4 \\ i \sqrt n & \text{ si } n \equiv 3 \pmod 4 \end{array} \right.$$ On effectue ce calcul en exprimant la somme comme la trace de l'opérateur de transformée de Fourier sur $\mathbf Z/n\mathbf Z$ ; on calcule cette trace en diagonalisant l'opérateur.
Qualité Numéro Titre
5 102 Groupe des nombres complexes de module 1. Racines de l’unité. Applications.2026
5 152 Endomorphismes diagonalisables en dimension finie2026
4 148 Dimension d’un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.2026
2 151 Sous-espaces stables par un endomorphisme ou une famille d’endomorphismes d’un espace vectoriel de dimension finie. Applications.2026
Rajouter une version
Utilisateur : nimajneb
Développement n°1.3 à l'adresse : https://perso.ens-lyon.fr/benjamin.fleuriault/agreg/dev.pdf La référence donne seulement des détails à propos du calcul du déterminant de l'opérateur, qui est l'étape la plus compliquée selon moi.'
Références :