Développement : Loi de réciprocité quadratique (via les formes quadratiques)

Détails/Enoncé :

La loi de réciprocité quadratique stipule que

$$ \left( \frac{p}{q} \right) \left( \frac{q}{p} \right) = (-1)^{ \frac{p-1}{2} \frac{q-1}{2} } $$

où $p$ et $q$ sont deux nombres premiers impairs.

Ce développement propose une démonstration utilisant classification des formes quadratiques sur un corps finis.

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Lien de la vidéo Youtube que j'ai faite sur ce développement :
    https://www.youtube.com/watch?v=8w25x8a9a6c
  • Auteur :
  • Remarque :
    Recasages: 121, 123, 190
    Je ne la mets pas dans la 170, car l'intervention des formes quadratiques prend vraiment 1 ligne sur toute la preuve; ce serait un recasages scandaleusement abusif.

    Je me suis inspiré du document de abarrier, j'y ai apporté quelques précisions.

    Rombaldi [2e édition] p 431


    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érence :
  • Fichier :

Références utilisées dans les versions de ce développement :

Histoires hédonistes de groupes et géométries, Tome 1, Caldero, Germoni (utilisée dans 93 versions au total)
Nouvelles histoires hédonistes de groupes et géométries, P. Caldero, J. Germoni (utilisée dans 36 versions au total)
Mathématiques pour l'agrégation: Algèbre et géométrie, Jean Etienne Rombaldi (utilisée dans 285 versions au total)
L'oral à l'agrégation de mathématiques - Une sélection de développements , Isenmann, Pecatte (utilisée dans 125 versions au total)
Cours d'algèbre , Perrin (utilisée dans 299 versions au total)