Développement : Théorème des deux carrés de Fermat (par les entiers de Gauss)

Détails/Enoncé :

Un entier est somme de deux carrés si et seulement si la $p$-valuation de chacun des facteurs premiers $p$ congru à $3$ modulo $4$ est paire.


Cela revient à donner une condition nécessaire sur l'existence d'une solution à l'équation diophantienne

$$ n = x^2+ y^2$$

Recasages pour l'année 2024 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Francinou 1 p.158
  • Auteur :
  • Remarque :
    On montre que -1 est un carré modulo p ssi p=2 ou p = 1 (mod 4).
    On ne traite pas seulement le cas p premier mais également le cas n entier quelconque.
  • Fichier :
  • Auteur :
  • Remarque :
    Recasages: 121, 126

    Je sais qu'il est d'usage de présenter ce théorème pour la 122. Selon moi, sans adaptation, c'est hors sujet, dans la mesure où on utilise de manière critique la factorialité des anneaux en jeu, pas leur principalité. Pour rentrer un minimum dans la 122, voici ce que je recommande: le théorème des deux carrés de Fermat ne doit pas être l'aboutissement du développement, mais seulement un outil intermédiaire pour mener l'étude de $\mathbb{Z}[i]$. On montrera donc que ce dernier est euclidien et le cas premier du théorème des deux carrés de Fermat avant de terminer la liste des irréductibles de $\mathbb{Z}[i]$ (ce dernier point se trouve dans le Perrin, à la suite du théorème). Ça reste contestable pour la 122 puisqu'on n'utilise toujours pas de manière critique la principalité d'un anneau, mais c'est déjà mieux.

    Dans les 121 et 126, je recommande très vivement d'écrire l'heuristique de la preuve au tableau comme je le fais dans mon document, puisque dans la suite des 8 équivalences qu'on est amené à écrire, 5 sont évidentes (elles relèvent du cours). Ainsi, prendre 2 minutes à écrire cette heuristique permet d'une part de rendre le procédé transparent, et d'autre part de gagner énormément de temps dans la suite. Il ne faut pas perdre de temps avec $\mathbb{Z}[i]$ car il s'écarte du sujet des 121 et 126: on se contentera d'un dessin et des inversible.

    Perrin p65 (on le trouvera aussi dans Rombaldi p269)

    Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil
  • Références :
  • Fichier :
  • Auteur :
  • Remarque :
    Recasages : 122,126,121,123

    J'ai pas l'impression que ça se fait beaucoup, mais ce dev rentre dans la 123 (je suis pas passée dessus mais je l'avais proposé en dev le jour de l'oral, c'est un dev que le jury connaît bien, et j'ai pas eu de soucis) : c'est une application de l'étude des carrés dans Fq*

    Lien direct vers le fichier : https://delbep.notion.site/406816fc93b74e5db75ff232d12fdab7?v=d11624e4c7aa41bdb625b5e3a57af4e6

    Vous trouverez toutes mes ressources pour l'agrégation à cette adresse : https://www.notion.so/delbep/Agr-gation-c834c3492ca94b68b157e683e615536b?pvs=4
  • Référence :
  • Fichier :