gyjr-H
Les expressions des racines sont
la racine du plus grand carré entier contenu dans 1093 est 33. Voici le résumé du calcul de chaque racine, calcul qui repose sur Tcmploi des deux formules
^n = ^n-i -+- ( K„-i — E„) a,^i, établies au n^ 18:
Première racine.
E, = 11, E, = a5, n:3 = 27, £4 = 29, E, = 25=R„ Di = i8, D, = 26, D3=:i4, D4=i8, D, = 26=:D„ ûj =2, «1 = 2, «3 = 4» «4 = 3;
les quotients incomplets sont donc
Deuxième racine,
« = i, E, =43, E,r=27, Ej = 25, E4=z:29, Ej = 27 = E,, I>i = i4. D, = 26, D,= i8, D4 = i4, D, = 26 = D„
«1=5, <Il = 2, «8 = 3, «4=4»
les quotients incomplets sont donc
Pour que la période soit inverse de celle de la première racine, il faut la faire commencer au quatrième quotient.
2o. TnÉORkME V. — Si a désigne la racine carrée du plus grand carré entier contenu dans un nombre entier donné A qui n'est pas un carré exact, t irrationnelle ^A se déi^eloppe en une fraction continue périodique mixte dans laquelle la période commence immédiatement après le premier quotient. Le dernier terme de la période des quotients incomplets est égala 2a y et les autres termes de cette période for ment une suite symétrique dans laquelle deux termes également distants des extrêmes sont égaux entre eux. Enfin les numérateurs et les dénominateurs des quotients complets forment également des suites périodiques dont les périodes sont symétriques.
En effet la fraction continue égale à sf ne saurait être périodique simple, puisque les valeurs absolues des deux racines de Téquationo:^ — A= osontsupérieuresàl'unité. D'ailleurs, ces racines étant de signes contraires, il ne peut Y avoir qu'un seul quotient avant la première période, dans le développement de y/A, d'après le corollaire du théorème II. Il résulte de làqueTirrationnelle yA — a se développera en une fraction périodique simple, et la même chose aura lieu aussi à Tégard de y/A -h a, puisque ces deux quantités sont les racines d'une même équation du deuxième degré à coefficients entiers. Cela p.osé, soient
les quotients incomplets de la fraction continue égale à y(Â-|-«> la suite des quotients relatifs à y/A — a sera,
d'après le ihéorème 111,
Mais du développement de y/A -+- « on passe à celui de ^Aen retranchant a du premier quotient; pareillcnienl on passe de y/Â — a k y/Â en ajoutant a au premier quotient; donc la suite des quotients incomplets dans le développement de y/A peut être représentée de Tune ou de l'autre des deux manières suivantes :
a («A— Il «A-il • • • » «Il aa) («ib-i, . . . ) ... ;
on voit que le dernier quotient de chaque période est égal à 2a j et que les quotients qui précèdent forment une suite
«Il «îi • • • » «A— J» «A— 1
dans laquelle deux termes également éloignés des extrêmes sont égaux entre eux.
D'après le théorème IV, si
est la suite des quotients complets relatifs à y/A -+- a, la
suite correspondante pour —.-. — - sera
a-hy/X E/., -h \/Â Ej -h \/Â E, -4- v^A
li*-i 1>*-. D.
il est évident que ces deux suites coïncideront si l'on efface le premier terme de la première suite; par conséquent on a E| =«, et, dans chacune des deux suites,
les termes également éloignés des extrêmes sont égaux entre eux. Il suit de là que la période des quotients complets obtenus dans le développement de ^A peut être représentée par
a-^\/X Ej + v/Â E3 -h ^Â Ej -h y- Â a -4- v^X
Di D^ .U3 D
26. L'équation x^ — A=:o, à laquelle se rapporte le théorème précédent, appartient à une classe d'équations remarquables qu'il est intéressant d'étudier. Nous nous proposerons, à ce sujet, la question suivante :
Problème. — Trousser les équations du deuxième degré à coefficients rationnels dont les racines se rfeVeloppent en des fractions continues terminées par les mêmes quotients.
Si X désigne l'une des racines d'une telle équation, l'autre racine (n° 15) devra être de la forme
ax -h b à X ->r b'
a, A, rt', i' étant des entiers positifs ou négatifs liés par la relation
(i) flô' — W = d=i.
Cela posé, soit — P la somme des deux racines, on aura
ou
a-hb'\ Pb'-^b
ce qui doit être Téquation demandée; mais, pour que la
58 COURS d'algèbre SUPÉRIEUaS.
somme des racines soît effectivement égale à — P, 51 faut que Ton ait
après quoi la condition (i) donne
L'équation demandée est donc
P est une quantité rationnelle quelconque, a est an nombre entier quelconque, enfin a* est un dlvlseor quelconque de a^ dz i .
Les fractions continues dans lesqueUes se développent les racines de Tcquation (2) ont donc nécessairement la même période ; d'un autre côté, d'après le théorème III, la période de Tune de ces fractions continues est Inverse de la période de l'autre. Il en résulte que chaque période est une suite symétrique ou qu'elle est formée par la juxtaposition de deux suites symétriques, dont l'une peut se réduire à un seul terme. En effet, soit
«0, ^li <3Jj, . . . , û/i— 4
la période dont il s'agit ; d'après le théorème III, on pourra aussi considérer la période comme étant
11 peut arriver que les termes de cette seconde suite soient respectivement égaux aux termes qui occupent les mêmes rangs dans la première ; dans ce cas, la période est symétrique. Mais, pour que les deux suites dont il s'agit puissent être considérées comme périodes de la même fraction continue, il n'est pas nécessaire que les termes de
même rang soient égaux, car on est libre de prendre un terme quelconque pour origine de la période. La condition nécessaire et suffisante est que les termes de la suite précédente soient égaux aux termes qui occupent respectivement les mêmes rangs dans la suite
m étant un indice indéterminé. Cette condition s^exprimera donc par Tégalité
quidoitavoîrlicupourtouteslesvaleurso,i,2, ..., (/i — i) de rindice k\ en conséquence la période sera composée des deux suites
dans chacune desquelles les termes également éloignés des extrêmes sont égaux entre eux.
Remarque I. -r- Il faut remarquer que les racines de Téquation (2) donnent lieu à des fractions continues qui se terminent par les mêmes quotients, lors même que la quantité P serait irrationnelle. Seulement, dans ce cas, ces fractions continues ne sont plus périodiques d'après le théorème II.
Remarque II. — Nous savons que l'équation (2) comprend comme cas particulier l'équation x^ — A =r o, où A désigne un nombre entier. Pour la réduire à cette forme, il faut faire P = o et
7z— = A ou a'* A — a' = ±i;
ce qui prouve que l'équation indéterminée
4* — Att* = ±i
6o COURS d'algèbre supérieure.
admet toujours des solutions entières, si le signe du second membre est convenablement choisi. Nous retrouverons plus loin cette propriété remarquable.
Comparaison des réduites qui répondent à des quotients complets égaux entre eux, dans une fraction continue périodique,
