Abstract:
   Our goal in this paper is to give a link between different classical aspects of the theory of integral quadratic forms. First, we investigate the properties of the binary quadratic forms involved in the parametrization of the solutions of ternary quadratic equations. In particular, we exhibit a simple rule to obtain a parametrization from a particular solution, such that its invariants only depend on the original equation. Used in the context of elliptic curves, this parametrization simplifies the algorithm of 2-descent. Secondly, we consider a primitive quadratic form Q(X,Y), with nonsquare discriminant D. Some authors (Stevenhagen/Bosma and Hardy/Williams) make a link between a particular rational solution of Q(X,Y)=1, and a solution of [R]²=[Q] in the class group Cl(D)$. We explain why this link is much more direct than this. Indeed, when the equation Q(X,Y)=1 has one solution, it is possible to parametrize them all by X=q₁(s,t) / q₃(s,t) and Y=q₂(s,t) / q₃(s,t), where q₁,q₂, and q₃ are three integral quadratic forms with Disc(q₃) = D. We show that the quadratic form q₃ is exactly (up to sign) the solution R of [R]²=[Q] in Cl(D). We end by a comparison between our algorithm for extracting square roots of quadratic forms and the algorithm of Gauss.

Résumé :
   L'objectif de cet article est de proposer un lien entre plusieurs aspects classiques de la théorie des formes quadratiques entières. Dans un premier temps, on étudie en détail les propriétés des formes quadratiques binaires qui paramétrisent les solutions des équations quadratiques ternaires. En particulier, on donne un moyen simple de construire une paramétrisation à partir d'une solution particulière, dont les invariants ne dépendent que de l'équation de départ. Cette paramétrisation permet de simplifier l'algorithme de la 2-descente sur les courbes elliptiques. Dans un deuxième temps, on considère Q(X,Y) une forme quadratique entière primitive de discriminant D non carré. Certains auteurs (Stevenhagen/Bosma et Hardy/Williams) dressent un lien entre une solution rationnelle particulière de Q(X,Y)=1 et une solution de [R]²=[Q] dans le groupe de classes Cl(D). Nous montrons que ce lien est bien plus direct que cela. En effet, lorsque l'équation Q(X,Y)=1 admet une solution, il est possible de paramétrer toutes les solutions sous la forme X=q₁(s,t) / q₃(s,t) et Y=q₂(s,t) / q₃(s,t)}, où q₁,q₂ et q₃ sont trois formes quadratiques entières avec Disc(q₃) = D. Nous montrons que la forme quadratique q₃ est exactement (au signe près) la solution R de l'équation [R]²=[Q] dans Cl(D). Nous comparons alors notre algorithme d'extraction de racine carrée de forme quadratique, avec celui de Gauss.