Nous calculerons encore [«, a] et 'a, a

On doit nécessairement supposer a impair; en ajoutant à a un nombre convenable de fois a, on ramènera a à être égal à l'unité; mais la formule (7) montre que[i, 2] est nul; on en conclut

On a ensi

litc

d'où

228, Notre but est de ramener le calcul du symbole [«, 6] i celui d'une autre expression qui joue un rôle considérable er Arithmétique et que l'on désigne par le symbole

J04 CÀLGUI DIFFÉRENTIEL.

introduit par Lcgendrc et gcncralisé par Jacobi : c'est M, Hennile qui a montré (') le rôle de ce symbole dans la théorie qui nous occupe, rôle que Jacobi avait d'ailleurs soupçonné {^).

Ce symbole peut élre défini dans le cas où les nombres a, b sont des entiers impairs premiers entre eux dont l'un au moins est positif, par les propriétés suivantes :

i ° Si a est positif, on a

5," La congruence

« = lï' (modft),

oi'] a' est comme a un nombre impair et b un nombre positif, entraîne

3" On a, en supposant que l'un au moins des deux nombres a et b est positif,

4" On a enfin, en supposant « > o,

La propriété 3° est ce que l'on appelle la loi de réciprocité.

229. L'existence, pour chaque couple de deux nombres impairs a, b, premiers entre eux et qui ne sont pas négatifs en même temps, d'une fonction numérique (v) qui jouisse des propriétés précédentes résulte en Arithmétique de la signifiealion du symbole ( t j dans la théorie des restes quadratiques comme aussi de diverses expressions analytiques que l'on en peut donner. Nous n'avons pas à y recourir, car cette existence nous sera assurée par la question

(') Journal de LiouvUle, a' série, t. IIE, p. afi. (■) Werke, t. HI, . 189.

LES FÛNCIIOKS &. Io5

même qui nous occupe : nous avons seulement à observer que, si l'on admet celte existence, les propriétés i", 2", 3", 4° p^i'mettronl de calculer le nombre ( -r \ toutes les fois que les nombres rt, b seront donnés.

En effet, la propriété 1" permet de supposer toujours que le dénominateur du symbole est positif. Si main tenant a est plus grand en valeur absolue que è, on déterminera le nombre entier n par les conditions

et l'on remplacera a par celui des deux nombres o,~inb, a — 2nb — 2& qui est, en valeur absolue, moiodre que b; soit «, le nombre choisi, qui est évidemment impair et premier à ô ; on aura à cause de (2),

Si «) se trouve être égal à ± t , la propriété 4" donne la valeur du symbole (t); s'il n'en est pas ainsi, on ramènera le calcul de ( -^ I au calcul de f — J par la formule

qui résulte de 3"; on traitera { — ) comme on a fait pour ( 7 )> et comme, en continuant ainsi, les termes des symboles successifs sont des nombres entiers de plus en plus petits en valeur absolue, on finira toujours par être ramené à calculer un symbole de la forme ( ^ ) à dénominateur impair positif, symbole dont la valeur -h 1 ou — i sera donnée par la propriété 4°-

Dans celte suite d'opérations, chaque symbole f ^j est égal à celui qui le suit, ou à son inverse, multiplié par ± i. Comme le dernier symbole I ^- J est égal à di i , il en est de même de tous ceux qui le précèdent et du symbole ( -r 1 lui-même.