264
FRACTIONS-CONTINUES
L’analise des médiateurs fournit plusieurs théorèmes intéressans que nous nous contenterons ici d’énoncer, attendu que nous en ayons donné la démonstration ailleurs. (Arith univ. chap. VIII.)
4. Théorème I. Un médiateur ne change pas de valeur, lorsqu’on renverse l’ordre de ses bases ; ainsi, par exemple, les médiateurs
et
sont identiques entre eux.
5. Théorème II. Si la première ou la dernière base d’un média-
![{\displaystyle cdef+adef+abef+abcf+abcd}](https://wikimedia.org/api/rest_v1/media/math/render/svg/103263716df3ca76ac5e5d106ef098c26ca86c80)
;
divisant ensuite successivement le même premier terme, de toutes les manières possibles, par deux produits de deux lettres consécutives, c’est-à-dire, par
et prenant la somme des quotiens, on formera la totalité des termes de deux dimensions, lesquels seront ainsi
![{\displaystyle ef+cf+cd+af+ad+ab}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e14513140645815485c84c02f03c3166725f08b)
;
divisant, enfin, le même premier terme par trois produits de deux lettres consécutives, ce qui ne pourra avoir lieu que d’une manière unique, savoir
le quotient 1 de cette division sera le terme de zéro dimensions, c’est-à-dire, le dernier terme du médiateur ; en sorte qu’on aura
![{\displaystyle \mathrm {(AF)} =\left\{{\begin{aligned}&abcdef\\+&cdef+adef+abef+abcf+abcd\\+&ef+cf+cd+af+ad+ab\\+&1.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71f125f8c4fe4018027eee08c74dd37c828357fb)
On peut désirer, comme moyen de vérification, de connaître, à l’avance, combien de termes de chaque sorte de dimensions un médiateur doit renfermer, ce nombre de termes est, pour
bases et
dimensions.
![{\displaystyle {\tfrac {n-k}{1}}\cdot {\tfrac {n-k-1}{2}}\cdot {\tfrac {n-k-2}{3}}\cdots {\tfrac {n-2k+1}{k}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe8d6f82310f892e8eb2b718d0aff9bd3028a263)
Le nombre total des termes d’un médiateur de
bases, a donc pour expression
![{\displaystyle 1+{\tfrac {n-1}{1}}+{\tfrac {n-2}{1}}\cdot {\tfrac {n-3}{2}}+{\tfrac {n-3}{1}}\cdot {\tfrac {n-4}{2}}\cdot {\tfrac {n-5}{3}}+\ldots ~;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4c504bb9464a1ebb5338139245286749b99e935)
série qui se termine d’elle-même si, comme cela doit toujours être,
est entier et positif, et dont la somme des termes peut d’ailleurs être mise sous cette forme finie :
![{\displaystyle {\tfrac {5+3{\sqrt {5}}}{10}}\left({\tfrac {1+{\sqrt {5}}}{2}}\right)^{n-1}+{\tfrac {5-3{\sqrt {5}}}{10}}\left({\tfrac {1-{\sqrt {5}}}{2}}\right)^{n-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/776e73cdc8af20efa440d245c5fcf09c65fb5963)
(Note des éditeurs.)