Jean Franois Ruaud Professeur au lyce Saint-Louis Rsum: Dmonstration combinatoire de la loi de rciprocit quadratique
1 Loi de rciprocit quadratique
1 Loi de rciprocit quadratique Si est un entier premier avec l'entier , on note la signature de la bijection de Le but de cet article est de montrer que, pour tous entiers impairs, suprieurs ou gaux et premiers entre eux et , on a :
On crit et Pour tout entier on note l'intervalle d'entiers et l'unique lment de congru modulo . Il est clair que tout lment de s'crit de faon unique sous la forme ou avec La proposition proviendra de l'tude de la permutation
de La permutation est une application impaire de On obtiendra sa signature en utilisant le rsultat suivant, version modifie d'un lemme de Gauss classique. Lemme La signature d'une permutation impaire de est o est le nombre d'entiers strictement positifs de d'image strictement ngative. Page 1sur 3 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=70&Type=enonce&Num=0&Mode=... Dmonstration Si sont les entiers strictement positifs de d'image strictement ngative, la permutation :
est encore impaire et laisse stable les , et ... On peut l'crire comme produit de ses restrictions et ... Comme est conjugue de par il vient :
En remarquant alors que, et est quivalent et on obtient :
D'un autre ct, l'application de dans , compatible avec la relation produit des congruences modulo et induit aussi une bijection de dans Nous utiliserons une relation de Bzout L'application :
est une permutation de telle que soit gal . Elle est compose des permutations :
et :
Puisque le produit des applications de pour , effectu en regroupant et , est l'identit, la permutation est paire. La signature de est On en dduit De mme, l'application : Page 2sur 3 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=70&Type=enonce&Num=0&Mode=...
est une permutation de telle que soit gal Sa signature est
La relation montre finalement que la signature de est gale au produit et fournit la relation :
Il s'agit videmment de la loi de rciprocit quadratique. Le lemme de Gauss traditionnel montre en effet que la signature est gale au symbole de Legendre lorsque est premier. Le lemme chinois et une rcurrence utisant le morphisme quotient de sur prouvent qu'elle est aussi gale au symbole de J acobi lorsque est compos.