Forme quadratique binaire

En mathématiques, une forme quadratique binaire est une forme quadratique — c'est-à-dire un polynôme homogène de degré 2 — en deux variables :

q(x,y)=ax^{2}+bxy+cy^{2}.

Les propriétés d'une telle forme dépendent de façon essentielle de la nature des coefficients a, b, c, qui peuvent être par exemple des nombres réels ou rationnels ou, ce qui rend l'étude plus délicate, entiers.

Histoire modifier

Fermat considérait déjà des formes quadratiques binaires entières, en particulier pour son théorème des deux carrés. La résolution d'autres équations diophantiennes comme celle de Pell-Fermat fait aussi partie de leur théorie, dont l'étude systématique a été entreprise par Lagrange^[1] en 1773 et 1775 et poursuivie en 1801 par Gauss^[2], après des contributions de Legendre. Gauss étudia comme Lagrange les questions d'équivalence et de réduction, et introduisit la composition des formes quadratiques binaires. Ces recherches de Gauss ont fortement influencé à la fois la théorie arithmétique des formes quadratiques en plus de deux variables et le développement de la théorie algébrique des nombres, où l'étude des corps quadratiques est étendue à celle des corps de nombres.

Formes entières modifier

Une forme quadratique binaire q(x, y) = ax² + bxy + cy² est dite entière si les coefficients a, b et c sont des entiers relatifs. Il revient au même de dire que les valeurs représentées par q — c'est-à-dire les q(x, y) lorsque (x, y) parcourt ℤ² — sont toutes entières^[3]^,^[4]. Une question classique est de décrire l'ensemble des entiers représentés par une forme donnée et, pour un tel entier, le nombre de ses représentations.

Une représentation primitive d'un entier est une représentation de la forme q(x, y) avec x et y premiers entre eux. Par exemple, a et c sont primitivement représentés par q, et toute représentation d'un nombre premier est primitive.

L'entier D = b² – 4ac est appelé le discriminant de la forme^[3]^,^[5]. Il est congru à 0 ou 1 modulo 4.

Deux formes entières sont dites équivalentes si elles sont dans la même orbite pour l'action naturelle du groupe linéaire GL(2, ℤ) des matrices 2×2 à coefficients entiers de déterminant égal à ±1, c'est-à-dire si l'une est la composée de l'autre par le changement de variables associé à une telle matrice. Le discriminant, l'ensemble des entiers représentés, et l'ensemble des entiers primitivement représentés, sont donc invariants par équivalence. Toute classe d'équivalence est la réunion d'une ou deux classes d'équivalence propre, définie de même en considérant l'action du sous-groupe spécial linéaire SL(2, ℤ) des matrices de déterminant égal à +1.

Un entier A est primitivement représenté par q si et seulement si q est équivalente à Ax² + Bxy + Cy² pour certains entiers B et C, qui peuvent alors être choisis tels que l'équivalence soit propre.

Démonstration

L'écriture générale d'une forme équivalente à q(x, y) = ax² + bxy + cy² est a(αx + βy)² + b(αx + βy)(γx + δy) + c(γx + δy)² avec α, β, γ, δ entiers tels que αδ – βγ = ±1 (+1 pour une équivalence propre), et le coefficient de son terme en x² est q(α, γ). Le théorème de Bachet-Bézout permet de conclure.

L'entier N est donc primitivement représenté par une forme de discriminant D (si et) seulement si D est un carré modulo 4N. La seconde propriété étant stable par diviseurs (c'est-à-dire vraie pour tout diviseur de N lorsqu'elle l'est pour N), il s'ensuit que la première aussi.

Pour tout entier D, le nombre de classes de D, c'est-à-dire le nombre de classes d'équivalence de formes quadratiques de discriminant D, est fini : on le démontre par réduction, en construisant pour chaque classe au moins un représentant appelé une forme réduite, dont les coefficients sont « les plus petits possibles » (en un sens adéquat).

La forme est dite dégénérée si D = 0, définie (positive ou négative, selon le signe de a et c) si D < 0 et indéfinie si D > 0 (ceci correspond à la classification des formes réelles associées). Lorsque D est un carré parfait, la forme est dite isotrope et elle représente 0 une infinité de fois. On exclut généralement de l'étude des formes indéfinies ce cas, qui est celui des formes quadratiques produits de deux formes linéaires à coefficients entiers^[6].

Réduction des formes définies

Il suffit de traiter le cas des formes définies positives.

Une forme définie positive Q(x, y) = ax² + bxy + cy² est dite réduite si |b| ≤ a ≤ c et si de plus, b ≥ 0 dès que a est égal à |b| ou à c.

Remarquons qu'alors, Q(x, y) ≥ (a – |b| + c)min(x², y²) donc la plus petite valeur non nulle prise par Q est a, et elle l'est seulement 2 fois si a < c (la plus petite valeur suivante étant alors c), 4 fois si c = a > b (≥ 0) et 6 fois si c = a = b. De plus, lorsque a et c sont connus ainsi que le discriminant, b est connu au signe près.

Toute forme définie positive q est proprement équivalente à une unique forme réduite.

Unicité. Soit Q réduite comme ci-dessus, montrons qu'aucune autre forme réduite ne lui est proprement équivalente. D'après la remarque sur la plus petite valeur, c'est immédiat si a = c ou si b = a < c, et dans le cas restant |b| < a < c, il reste à montrer que si ax² + εbxy + cy² est proprement équivalente à Q avec ε = ±1, alors elle lui est égale. Soient α, β, γ, δ entiers tels que αδ – βγ = 1 et ax² + εbxy + cy² = a(αx + βy)² + b(αx + βy)(γx + δy) + c(γx + δy)². Par identification des coefficients de x² et de y², a = Q(α, γ) et c = Q(β, δ) donc — d'après la remarque sur les plus petites valeurs — γ = β = 0, et le coefficient du terme en xy donne alors : εb = bαδ = b, ce qui conclut.
Existence. Soit Q(x, y) = ax² + bxy + cy² une forme proprement équivalente à q pour laquelle |b| est minimum. En composant si nécessaire par (x, y) ↦ (–y, x), on peut de plus supposer c ≥ a et, dans le cas c = a, b ≥ 0. Dans Q(x + ky, y), le coefficient de xy est 2ak + b. On en déduit que |b| ≤ |2ak + b| pour tout entier k, c'est-à-dire que a ≥ |b|. Ainsi, Q est réduite, sauf si b = –a. Mais dans ce cas, Q(x + y, y) = ax² + axy + cy² est réduite.

Pour tout D < 0, le nombre de formes définies positives réduites de discriminant D est fini.

En effet, si |b| ≤ a ≤ c, alors |D| = 4ac – b² ≥ 3a² donc 0 < a ≤ $\sqrt | D |/3$ . Une fois a choisi, le nombre des valeurs possibles pour b (compris entre –a et a et de même parité que D) est majoré par a + 1. Enfin, c est entièrement déterminé par D, a et b.

Réduction des formes indéfinies anisotropes

Soit D un entier positif non carré. Une forme ax² + bxy + cy² de discriminant D est dite réduite si 0 < $\sqrt D$ – b < 2|a| < $\sqrt D$ + b, ce qui équivaut à la même suite d'inégalités avec a remplacé par c^[7]. On a donc :

Pour tout entier positif non carré D, il n'existe qu'un nombre fini de formes réduites de discriminant D.

Contrairement au cas des formes définies, on n'a plus unicité, mais seulement :

Toute forme indéfinie anisotrope est proprement équivalente à au moins une forme réduite.

L'algorithme de réduction^[8]^,^[9]^,^[10]^, consiste à remplacer la forme q(x, y) = ax² + bxy + cy² (si elle n'est pas déjà réduite) par a'x² + b'xy + c'y² := q(–y, x + ty) (donc a' = c et b' = –b + 2ct), l'entier t étant déterminé par : $\sqrt D$ – 2|c| < b' < $\sqrt D$ (comme q n'est pas réduite, un tel t est unique). Tant qu'on obtient |c' | < |c| et q' non réduite, on recommence. D'après cette clause, l'algorithme termine. Puisque a' = c, le triplet (A, B, C) final est réduit ou vérifie |A| ≤ |C| et $\sqrt D$ – 2|A| < B < $\sqrt D$ . Montrons qu'il est aussi réduit dans le second cas. On a 0 < $\sqrt D$ – B < 2|A| donc 0 < ( $\sqrt D$ – B)| $\sqrt D$ + B| = D – B² = –4AC, donc –4AC = 4|AC| et | $\sqrt D$ + B| > 2|C| ≥ 2|A| > $\sqrt D$ – B donc B > 0 et $\sqrt D$ + B > 2|A|, ce qui conclut.

On peut de plus démontrer^[11] que les formes réduites de chaque classe d'équivalence propre s'organisent en un unique cycle de « formes adjacentes », la forme adjacente à droite d'une forme réduite q étant q(–y, x + ty), pour l'unique entier t tel que cette dernière soit réduite.

Exemple: Les seules formes quadratiques réduites de discriminant 20 sont, à interversion près de x et y : 2(x² + xy – y²) et (x + 2y)² – 5y².

L'une des découvertes les plus profondes de Gauss fut celle de l'existence d'une loi de composition naturelle sur l'ensemble des classes (d'équivalence propre) de formes quadratiques binaires de discriminant donné, et qui en fait un groupe abélien fini appelé le groupe des classes de discriminant D. Le groupe des classes d'un discriminant fondamental (en) D est isomorphe au groupe des classes au sens restreint (en) du corps quadratique ℚ( $\sqrt D$ ) de discriminant D^[12]. Ce dernier est le groupe des classes d'idéaux si D est négatif, mais peut être deux fois plus gros si D est positif.

Une forme q(x, y) = ax² + bxy + cy² est dite primitive si le PGCD(a, b, c) (qui est le PGCD de toutes les valeurs qu'elle représente) est égal à 1. C'est bien sûr le cas si son discriminant D est sans facteur carré ou si q représente un entier premier avec D, mais aussi si D est un discriminant fondamental^[13].

Gauss étudia aussi une relation d'équivalence moins fine, qui partitionne le groupe des classes en genres (en).

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Binary quadratic form » (voir la liste des auteurs).

↑ Joseph-Louis Lagrange, « Recherches d'arithmétique, Nouveaux mémoires de l'Académie royale des sciences et belles lettres de Berlin, reproduit dans Joseph-Louis Lagrange, Œuvres, vol. III, p. 695-795.
↑ Carl Friedrich Gauss (trad. Antoine Charles Marcelin Poullet-Delisle), Recherches arithmétiques [« Disquisitiones Arithmeticae »], 1807 (lire en ligne), p. 118-428, en particulier chap. V.
↑ ^{a et b} Voir par exemple (en) Pete L. Clark, « Topics in Arithmetic Geometry II, Handout 3: Elementary Theory of Quadratic Forms ».
↑ C'est le choix initial de Lagrange et traditionnel depuis Eisenstein, tandis qu'entre-temps, Gauss se plaçait dans le cadre où l'entier b est pair, c'est-à-dire où les coefficients antidiagonaux b/2 de la matrice symétrique associée sont entiers, comme les coefficients diagonaux a et c.
↑ Cette définition diffère de celle du discriminant d'une forme quadratique binaire à coefficients dans un corps, qui est ac – (b/2)² modulo les carrés d'éléments non nuls.
↑ Il est cependant possible de le traiter de même, en décrétant par exemple qu'une telle forme est réduite si c = 0 et 0 ≤ a < |b| : (en) « Elementary Number Theory – Section 3.2 Binary Quadratic Forms ».
↑ (en) Leonard Eugene Dickson, Introduction to the Theory of Numbers, Dover, 1957 (1^re éd. 1929), chap. VII.
↑ (en) Duncan A. Buell, Binary Quadratic Forms : Classical Theory and Modern Computations, Springer, 1989 (lire en ligne), p. 22-23.
↑ (en) « Reduction of an indefinite binary quadratic form », sur numbertheory.org.
↑ Pour une version optimisée, voir (en) Henri Cohen, A Course in Computational Algebraic Number Theory [détail de l’édition], § 5.6.1.
↑ Buell 1989, p. 23-24.
↑ (en) Albrecht Fröhlich et Martin J. Taylor, Algebraic Number Theory, CUP, coll. « Cambridge Studies in Advanced Mathematics » (n^o 27), 1993, 355 p. (ISBN 978-0-521-43834-6, lire en ligne), Theorem 58.
↑ Cohen 1993, § 5.2.

Voir aussi modifier

Articles connexes modifier

Liens externes modifier

(en) Peter Luschny, « Positive numbers represented by a binary quadratic form », sur OEIS Wiki
(en) A. V. Malyshev, « Binary quadratic form », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
(en) Keith Matthews, « Some BCMath/PHP number theory programs » (§ 11 : Binary quadratic forms and quadratic fields: Positive discriminants, Negative discriminants)

Bibliographie modifier

(en) Johannes Buchmann (de) et Ulrich Vollmer, Binary Quadratic Forms, Springer, 2007 (ISBN 978-3-540-46367-2 et 3-540-46367-4, lire en ligne)
(en) J. H. Conway et N. J. A. Sloane, Sphere Packings, Lattices and Groups, coll. « Grund. math. Wiss » (n^o 290), 1999, 3^e éd. (1^re éd. 1993) (lire en ligne), chap. 15 (« On the classification of integral quadratic forms »)
(en) David A. Cox, Primes of the Form $x 2 + ny 2$ , Wiley, 2011 (1^re éd. 1989) (ISBN 978-1-11803100-1, lire en ligne)
(en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], vol. 3
(en) Gilles Lachaud, « Continued fractions, binary quadratic forms, quadratic fields, and zeta functions », dans Algebra and Topology 1988, Taejon, Korea Inst. Tech., 1988 (lire en ligne), p. 1-56
Joseph Oesterlé, « Le problème de Gauss sur le nombre de classes », L'Enseignement mathématique, vol. 34,‎ 1988, p. 43-67 (lire en ligne)

Arithmétique et théorie des nombres

[1] Joseph-Louis Lagrange, « Recherches d'arithmétique, Nouveaux mémoires de l'Académie royale des sciences et belles lettres de Berlin, reproduit dans Joseph-Louis Lagrange, Œuvres, vol. III, p. 695-795.

[2] Carl Friedrich Gauss (trad. Antoine Charles Marcelin Poullet-Delisle), Recherches arithmétiques [« Disquisitiones Arithmeticae »], 1807 (lire en ligne), p. 118-428, en particulier chap. V.

[Clark-3] {a et b} Voir par exemple (en) Pete L. Clark, « Topics in Arithmetic Geometry II, Handout 3: Elementary Theory of Quadratic Forms ».

[4] C'est le choix initial de Lagrange et traditionnel depuis Eisenstein, tandis qu'entre-temps, Gauss se plaçait dans le cadre où l'entier b est pair, c'est-à-dire où les coefficients antidiagonaux b/2 de la matrice symétrique associée sont entiers, comme les coefficients diagonaux a et c.

[5] Cette définition diffère de celle du discriminant d'une forme quadratique binaire à coefficients dans un corps, qui est ac – (b/2)² modulo les carrés d'éléments non nuls.

[6] Il est cependant possible de le traiter de même, en décrétant par exemple qu'une telle forme est réduite si c = 0 et 0 ≤ a < |b| : (en) « Elementary Number Theory – Section 3.2 Binary Quadratic Forms ».

[7] (en) Leonard Eugene Dickson, Introduction to the Theory of Numbers, Dover, 1957 (1^re éd. 1929), chap. VII.

[8] (en) Duncan A. Buell, Binary Quadratic Forms : Classical Theory and Modern Computations, Springer, 1989 (lire en ligne), p. 22-23.

[9] (en) « Reduction of an indefinite binary quadratic form », sur numbertheory.org.

[10] Pour une version optimisée, voir (en) Henri Cohen, A Course in Computational Algebraic Number Theory [détail de l’édition], § 5.6.1.

[11] Buell 1989, p. 23-24.

[12] (en) Albrecht Fröhlich et Martin J. Taylor, Algebraic Number Theory, CUP, coll. « Cambridge Studies in Advanced Mathematics » (n^o 27), 1993, 355 p. (ISBN 978-0-521-43834-6, lire en ligne), Theorem 58.

[13] Cohen 1993, § 5.2.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]