Calcul analytique de la somme quadratique de Gauss

On calcule $$\tau_n=\sum_{x \in \mathbf Z/n\mathbf Z} \zeta^{x^2}$$ (où $\zeta=\exp(\frac{2i \pi}{n})$)\rOn trouve : $$\tau_n = \frac{1+i^{-n}}{1+i^{-1}} \sqrt{n}$$\r\rLe calcul se fait en reconnaissant la somme comme la valeur d'une fonction, et de calculer cette valeur en utilisant les séries de Fourier et le théorème de Dirichlet.\rAu passage, on détermine la valeur de l'intégrale de Fresnel : \r$$\int_0^{\infty} \exp(2i \pi x^2) \mathrm dx$$
Qualité Numéro Titre
5 246 Séries de Fourier. Exemples et applications.2025
4 239 Fonctions définies par une intégrale dépendant d’un paramètre. Exemples et applications.2025
4 241 Suites et séries de fonctions. Exemples et contre-exemples.2025
3 236 Illustrer par des exemples quelques méthodes de calcul d’intégrales de fonctions d’une ou plusieurs variables.2025
Rajouter une version
Utilisateur : nimajneb
Développement 2.10 de https://perso.ens-lyon.fr/benjamin.fleuriault/agreg/dev.pdf J'ai aussi déposé une version \"algèbre\" de ce développement sur agreg-maths, ça fait un lien
Références :
Arithmetics - Hindry
Analyse pour l'agrégation - Queffelec, Zuily