Recherche systématique des formules les plus propres à calculer les logarithmes/02

Joseph Esprit Thomas de Lavernède 

Seconde partie du même mémoire.

Annales de mathématiques pures et appliquées, 1, 1811 (p. 78-100).

ANALISE INDÉTERMINÉE.

Recherche systématique des formules les plus propres
à calculer les Logarithmes.

Par M. Thomas Lavernède.

≈≈≈≈≈≈≈≈≈

SECONDE PARTIE

Application des équations obtenues dans la première partie.

38. Nous avons cherché, dans la première partie de ce mémoire, à obtenir des équations qui, ne différant entre elles que par leur dernier terme, eussent des racines commensurables. Ces racines sont, dans toutes celles auxquelles nous sommes parvenus, exprimées d’une manière générale en fonctions d’une ou de plusieurs indéterminées, et, lorsqu’on substitue à ces indéterminées des nombres rationnels, on arrive à des équations numériques qui jouissent des mêmes propriétés que les équations littérales. On trouve cependant quelquefois, par la substitution, des équations numériques qui ne satisfont pas aux conditions prescrites. Lorsque cela a lieu, les deux équations ont, l’une et l’autre, une ou plusieurs racines égales à zéro. Cette circonstance, qui dépend des nombres substitués, est, comme nous l’avons démontré (n.^o 24), incompatible avec la nature de nos équations ; mais on peut aisément l’éviter par la considération des différens facteurs qui entrent dans les racines. Ainsi nous pourrons toujours, à l’aide des équations générales, obtenir des équations numériques jouissant des propriétés qui ont fait l’objet de nos recherches.

Il est évident, ainsi que nous l’avons déjà fait observer, que les premiers membres de ces équations sont des polynômes qu’on peut substituer à $u$ et $t$ dans l’équation :

$\mathrm{Log}.\frac{u}{t}=2\mathrm{M}[\frac{u-t}{u+t}+\frac{1}{3}{\left(\frac{u-t}{u+t}\right)}^3+\frac{1}{5}{\left(\frac{u-t}{u+t}\right)}^5+\text{ etc.}]\dots \mathrm{A}$

pour avoir des formules logarithmiques de la forme B (n.^o 2). Mais alors, d’après les remarques du n.^o 3, il est nécessaire, pour que ces formules soient aussi convergentes qu’elles peuvent l’être, de faire en sorte que la différence entre les derniers termes soit aussi petite que possible, sans nuire à la forme de ces polynômes. Cela exige un choix dans les valeurs à donner aux indéterminées qui entrent dans les expressions des racines de nos équations. On trouvera ces valeurs indiquées dans les numéros suivans qui renferment les formules logarithmiques les plus avantageuses qu’il soit possible de déduire des résultats auxquels nous sommes parvenus dans la première partie.

39. 1.^re formule. Si on prend l’équation du second degré :

$x^2-1=0\text{ ou }(x+1)(x-1)=0$

dont la résultante est $x^2=0$, en faisant $u=x^2\text{, et }t=x^2-1$,

il viendra :

$u-t=1,u+t=2x^2-1,\frac{u-t}{u+t}=\frac{1}{2x^2-1}$

et l’équation $\mathrm{A}$ donnera la formule connue :

$2\mathrm{Log}.x-\mathrm{Log}.(x+1)-\mathrm{Log}.(x-1)$

$=2\mathrm{M}[\frac{1}{2x^2-1}+\frac{1}{3}{\left(\frac{1}{2x^2-1}\right)}^3+\frac{1}{5}{\left(\frac{1}{2x^2-1}\right)}^5+\text{ etc.}]$

40. 2.^me formule. Si on suppose $a=2\text{ et }b=1$ dans les équations $\mathrm{P}$ (n.^o 29), on aura :

$x^3-3x-2=0$

et

$x^3-3x+2=0$

ou

$(x-1{)}^2(x+2)=0$

et

$(x+1{)}^2(x-2)=0$

faisant ensuite :

$u=x^3-3x+2$

et

$t=x^3-3x-2$

il viendra :

$u-t=4,u+t=2x^3-6x,\frac{u-t}{u+t}=\frac{2}{x^3-3x}=\mathrm{T}$

et l’équation $A$ donnera :

$2\mathrm{Log}.(x+1)+\mathrm{Log}.(x-2)-2\mathrm{Log}.(x-1)-\mathrm{Log}.(x+2)$

$\mathrm{=}\mathrm{2}\mathrm{M}[T+\frac{1}{3}{T}^3+\frac{1}{5}{T}^5+\text{ etc.}]$

Cette formule se trouve dans la préface des tables trigonométriques décimales de M. de Borda.

Les équations

$x^3+6x^2+9x+4=0$

et

$x^3+6x^2+9x=0$

ou

$(x+1{)}^2(x+4)=0$

et

$x(x+3{)}^2=0$

qu’on obtient en faisant $a=b=\lambda =1$ dans les équations D (n.^o 9), ou dans les équations E (n.^o 10), ne sont autre chose que des transformées de celles qui donnent la formule précédente (voy. n.^o 25 ), et elles en fournissent une équivalente, M. Muller, dans son Traité des fluentes, n.^o 225^[1], propose, pour calculer les logarithmes, la fraction $\frac{d^3+6d^2+9d+4}{d^3+6d^2+9d}$. Dans l’exemple qu’il donne, il fait $d=14$, et a la fraction $\frac{4050}{4046}=\frac{15^2.18}{14.17^2}=\frac{2025}{2023}$. Il calcule le logarithme de cette fraction, et conclut ensuite :

$\mathrm{Log}.17=\frac{1}{2}(\mathrm{Log}.18+2\mathrm{Log}.15-\mathrm{Log}.14-\mathrm{Log}.\frac{2025}{2023})$

41. 3.^me formule. Si on suppose $a=2\text{ et }b=1$ dans les équations I (n.^o 14), on aura les suivantes :

$x^4-25x^2+144=0$

et

$x^4-25x^2+\dots =0$

ou

$(x-4)(x+4)(x-3)(x+3)=0$

et

$x^2(x-5)(x+5)=0$

faisant ensuite :

$u=x^4-25x^2+144$

et

$t=x^4-25x^2$

il viendra :

$u-t=144$

$u+t=2x^4-50x^2+144$

$\frac{u-t}{u+t}=\frac{72}{x^4-25x+72}=\mathrm{T}$

et l’équation $\mathrm{A}$ donnera :

$\mathrm{Log}.(x-4)+\mathrm{Log}.(x+4)+\mathrm{Log}.(x-3)+\mathrm{Log}.(x+3)-$

$2\mathrm{Log}.x-\mathrm{Log}.(x-5)-\mathrm{Log}.(x+5)=2\mathrm{M}[\mathrm{T}+\frac{1}{3}{\mathrm{T}}^3+\frac{1}{5}{\mathrm{T}}^5+\text{ etc.}]$

Cette formule a été trouvée par M. Haros, employé aux bureaux du cadastre^[2].

42. 4.^me formule. Si on suppose $a=2\text{ et }b=1$ dans les équations K (n.^o 14), on aura les suivantes ;

$x^4+10x^3+25x^2-36=0$

et

$x^4+10x^3+25x^2=0$

ou

$(x+6)(x+3)(x+2)(x-1)=0$

et

$x^2(x+5{)}^2=0$

faisant ensuite :

$u=x^4+10x^3+25x^2$

et

$t=x^4+10x^3+25x^{-}36$

il viendra :

$u-t=36$

$u+t=2x^4+20x^3+50x^2-36$

$\frac{u-t}{u+t}=\frac{18}{x^4+10x^3+25x^2-18}=\mathrm{T}$

et l’équation $\mathrm{A}$ donnera :

$\mathrm{Log}.(x+6)+\mathrm{Log}.(x+3)+\mathrm{Log}.(x+2)+\mathrm{Log}.(x-1)-$

$2\mathrm{Log}.(x+5)-2\mathrm{Log}.x=2\mathrm{M}[\mathrm{T}+\frac{1}{3}{\mathrm{T}}^3+\frac{1}{5}{\mathrm{T}}^5+\text{ etc.}]$

Cette formule est plus convergente que la précédente, et ne fait dépendre le logarithme cherché que de cinq autres logarithmes.

43. Il est facile de déduire les équations numériques qui donnent les deux dernières formules des équations $\mathrm{S}$ (n.^o 34). On peut avoir, les premières, en faisant$\beta =2,\gamma =2,\delta =4,\text{ et }ϵ=-1$ ; et les secondes, en faisant $\beta =2,\gamma =2,\delta =-1,ϵ=-1$, et divisant ensuite toutes les racines par 2.

En supposant, dans les équations $\mathrm{S},\beta =-9,\gamma =-1,\delta =-4,ϵ=2$, et divisant ensuite toutes les racines par 6, on trouve les équations :

$x^4+3x^3-31x^2-32x+240=0$

et

$x^4+2x^3-31x^2-32x+60=0$

ou

$(x-3)(x+5)(x-4)(x+4)=0$

et

$(x-1)(x+6)(x-5)(x+2)=0$

qui donnent une formule logarithmique moins avantageuse que les deux précédentes, mais qui peut encore être utile.

44. 5.^me formule. Si on suppose $\alpha =3\text{ et }\beta =2$ dans les équations $\mathrm{T}$ (n.^o 36), on aura, après avoir divisé toutes les racines par 2, les équations numériques suivantes :

$x^5-125x^3+3004x-5040=0$

et

$x^5-125x^3+3004x+5040=0$

ou

$(x-4)(x-10)(x+7)(x+9)(x-2)=0$

et

$(x+4)(x+10)(x-7)(x-9)(x+2)=0$

faisant ensuite :

$u=x^5-125x^3+3004x+5040$

et

$t=x^5-125x^3+3004x-5040$

il viendra :

$u-t=10080$

$u+t=2x^5-250x^3+6008x$

$\frac{u-t}{u+t}=\frac{5040}{x^5-125x^3+3004x}=\mathrm{T}$

et l’équation $\mathrm{A}$ donnera :

$\mathrm{Log}.(x+10)+\mathrm{Log}.(x+4)+\mathrm{Log}.(x+2)+\mathrm{Log}.(x-7)+\mathrm{Log}.(x+9)$

$-\mathrm{Log}.(x-10)-\mathrm{Log}.(x-4)-\mathrm{Log}.(x-2)-\mathrm{Log}.(x+7)-\mathrm{Log}.(x+9)$

$=2\mathrm{M}[T+\frac{1}{3}{T}^3+\frac{1}{5}{T}^5+\text{ etc.}]$

45. 6.^me formule. Si, dans les mêmes équations $\mathrm{T}$ (n.^o 36), on suppose $\alpha =2\text{ et }\beta =1$, on aura les suivantes :

$x^5-110x^3+2629x-2520=0$

et

$x^5-110x^3+2629x+2520=0$

ou

$(x-5)(x-9)(x+7)(x+8)(x-1)=0$

et

$(x+5)(x+9)(x-7)(x-8)(x+1)=0$

faisant ensuite :

$u=x^5-110x^3+2629x+2520$

et

$t=x^5-110x^3+2629x-2520$

il viendra :

$\begin{array}{cc}u-t=& 5040\\ u+t=& 2x^5-220x^3+5258x\\ \frac{u-t}{u+t}=& \frac{2520}{x^5-110x^3+2629x}=\mathrm{T}\\ \end{array}$

et l’équation $\mathrm{A}$ donnera :

$\mathrm{Log}.(x+9)+\mathrm{Log}.(x+5)+\mathrm{Log}.(x+1)+\mathrm{Log}.(x-7)+\mathrm{Log}.(x-8)$

$-\mathrm{Log}.(x-9)-\mathrm{Log}.(x-5)-\mathrm{Log}.(x-1)-\mathrm{Log}.(x+7)-\mathrm{Log}.(x+8)$

$=2\mathrm{M}[T+\frac{1}{3}{T}^3+\frac{1}{5}{T}^5+\text{ etc.}]$

46. 7.^me formule. Si on suppose $\alpha =3\text{ et }\lambda =1$ dans les équations $\mathrm{Q}$ (n.^o 29), ou $\alpha =2\text{ et }\beta =1$ dans les premières équations du n.^o 33, on aura les suivantes :

$x^6-98x^4+2401x^2-14400=0$

et

$x^6-98x^4+2401x^2\cdots =0$

ou

$(x+8)(x-8)(x+5)(x-5)(x+3)(x-3)=0$

et

$x^2(x+7{)}^2(x-7{)}^2=0$

faisant ensuite :

$u=x^6-98x^4+2401x^2=0$

et

$t=x^6-98x^4+2401x^2-14400=0$

il viendra :

$\begin{array}{cc}u-t=& 14400\\ u+t=& 2x^6-196x^4+4802x^2-14400\\ \frac{u-t}{u+t}=& \frac{7200}{x^6-98x^4+2401x^2-7200}=\mathrm{T}\\ \end{array}$

et l’équation $\mathrm{A}$ donnera :

$2\mathrm{Log}.x+2\mathrm{Log}.(x+7)+2\mathrm{Log}.(x-7)-\mathrm{Log}.(x+8)-\mathrm{Log}.(x-8)$

$-\mathrm{Log}.(x+5)-\mathrm{Log}.(x-5)-\mathrm{Log}.(x+3)-\mathrm{Log}.(x-3)$

$=2\mathrm{M}[T+\frac{1}{3}{T}^3+\frac{1}{5}{T}^5+\text{ etc.}]$

47. Les formules comprises dans les numéros précédens peuvent toutes être employées d’une manière avantageuse, relativement au degré d’exactitude qu’on désire dans le résultat, et exigent des calculs de même genre. Dans ce qui va suivre, nous ne donnerons des applications que d’une seule, ce que nous dirons de celle-ci pouvant servir à conclure par analogie ce qu’il y aurait à dire sur chacune des autres. Nous choisirons de préférence, pour ces applications, la formule du numéro précédent, qui est du sixième degré, parce qu’elle est la plus convergente.

48. Pour donner une idée complète de l’application de la formule :

$2\mathrm{Log}.x+2\mathrm{Log}.(x+7)+2\mathrm{Log}.(x-7)-\mathrm{Log}.(x+8)-\mathrm{Log}.(x-8)$

$-\mathrm{Log}.(x+5)-\mathrm{Log}.(x-5)-\mathrm{Log}.(x+3)-\mathrm{Log}.(x-3)$

$=2\mathrm{M}[\frac{7200}{x^6-98x^4+2401x^2-7200}+\frac{1}{3}{\left(\frac{7200}{x^6-98x^4+2401x^2-7200}\right)}^3+\text{ etc.}]\dots \mathrm{U}$

supposons qu’on veuille, indépendamment de tout ce qui a été publié jusqu’ici, et par son moyen, calculer des tables de logarithmes suivant le système de Briggs ; la difficulté qu’on rencontrera est celle dont nous avons parlé dans le n.^o 3. Il faudrait, pour pouvoir calculer le logarithme de l’un des nombres $x+8,x+7,x+5,x+3,x,x-3,x-5,x-7,x-8$, que ceux des autres fussent donnés, et, d’après l’hypothèse, aucun logarithme n’est censé connu. On remédie en général à cet inconvénient, lorsqu’on emploie des formules du genre de la précédente, en substituant successivement à $x$ différentes valeurs, jusqu’à ce qu’on obtienne au moins un nombre $n$ d’équations, dans lesquelles il n’entre que les logarithmes de $n$ nombres premiers ; et, au moyen de ces équations, on détermine ensuite la valeur de chacun de ces logarithmes. Si, par exemple, on met successivement à la place de $x$, dans la formule $\mathrm{U},$ les nombres $9,10,11,12,13,14,17,19,25\text{ et }27,$ on aura les équations :

$\begin{array}{cc}\mathrm{4}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{25}{263}+\frac{1}{3}{\left(\frac{25}{263}\right)}^3+\text{etc.}]\\ -{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{8}{281}+\frac{1}{3}{\left(\frac{8}{281}\right)}^3+\text{etc.}]\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{25}{2153}+\frac{1}{3}{\left(\frac{25}{2153}\right)}^3+\text{etc.}]\\ \mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{2}{359}+\frac{1}{3}{\left(\frac{2}{359}\right)}^3+\text{etc.}]\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{1}{337}+\frac{1}{3}{\left(\frac{1}{337}\right)}^3+\text{etc.}]\\ \mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{6}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{200}{117449}+\frac{1}{3}{\left(\frac{200}{117449}\right)}^3+\text{etc.}]\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{1}{2311}+\frac{1}{3}{\left(\frac{1}{2311}\right)}^3+\text{etc.}]\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{\cdots }& =\mathrm{2}\mathrm{M}[\frac{25}{121993}+\frac{1}{3}{\left(\frac{25}{121993}\right)}^3+\text{etc.}]\\ \mathrm{6}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}& =\mathrm{2}\mathrm{M}[\frac{1}{28799}+\frac{1}{3}{\left(\frac{1}{28799}\right)}^3+\text{etc.}]\\ \mathrm{-}\mathrm{4}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{4}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}& =\mathrm{2}\mathrm{M}[\frac{1}{46817}+\frac{1}{3}{\left(\frac{1}{46817}\right)}^3+\text{etc.}]\end{array}$

Ces dix équations ne renferment que les logarithmes des huit premiers nombres simples $2,3,5,7,11,13,17,19$ ; et, comme on n’a besoin que de huit équations pour déterminer huit inconnues, il est clair (le logarithme de 5 n’entrant que dans deux équations ) qu’on en déduira quarante-quatre systèmes de huit équations, qui pourront tous servir à trouver les valeurs de ces logarithmes. De tous ces systèmes, celui des huit dernières étant le plus avantageux, parce qu’il contient les séries les plus convergentes, prenons ces huit équations et faisons, pour abréger :

$\begin{array}{ccccc}\frac{25}{2153}& +\frac{1}{3}{\left(\frac{25}{2153}\right)}^3& +\frac{1}{5}{\left(\frac{25}{2153}\right)}^5& +\text{etc.}& ={\mathrm{S}}_1\\ \frac{2}{359}& +\frac{1}{3}{\left(\frac{2}{359}\right)}^3& +\frac{1}{5}{\left(\frac{2}{359}\right)}^5& +\text{etc.}& ={\mathrm{S}}_2\\ \frac{1}{337}& +\frac{1}{3}{\left(\frac{1}{337}\right)}^3& +\frac{1}{5}{\left(\frac{1}{337}\right)}^5& +\text{etc.}& ={\mathrm{S}}_3\\ \frac{200}{117449}& +\frac{1}{3}{\left(\frac{200}{117449}\right)}^3& +\frac{1}{5}{\left(\frac{200}{117449}\right)}^5& +\text{etc.}& ={\mathrm{S}}_4\\ \frac{1}{2311}& +\frac{1}{3}{\left(\frac{1}{2311}\right)}^3& +\frac{1}{5}{\left(\frac{1}{2311}\right)}^5& +\text{etc.}& ={\mathrm{S}}_5\\ \frac{25}{121993}& +\frac{1}{3}{\left(\frac{25}{121993}\right)}^3& +\frac{1}{5}{\left(\frac{25}{121993}\right)}^5& +\text{etc.}& ={\mathrm{S}}_6\\ \frac{1}{28799}& +\frac{1}{3}{\left(\frac{1}{28799}\right)}^3& +\frac{1}{5}{\left(\frac{1}{28799}\right)}^5& +\text{etc.}& ={\mathrm{S}}_7\\ \frac{1}{46817}& +\frac{1}{3}{\left(\frac{1}{46817}\right)}^3& +\frac{1}{5}{\left(\frac{1}{46817}\right)}^5& +\text{etc.}& ={\mathrm{S}}_8\end{array}$

nous aurons :

$\begin{array}{cccccccc}& -3{\mathrm{L}}_2& +2{\mathrm{L}}_3& -{\mathrm{L}}_7& +2{\mathrm{L}}_{11}& -{\mathrm{L}}_{19}& \cdots & =2{\mathrm{M}\mathrm{S}}_1\\ & -{\mathrm{L}}_3& -{\mathrm{L}}_7& -{\mathrm{L}}_{1}7& +2{\mathrm{L}}_{19}& \cdots & \cdots & =2{\mathrm{M}\mathrm{S}}_2\\ & -3{\mathrm{L}}_2& -{\mathrm{L}}_3& -{\mathrm{L}}_7& +2{\mathrm{L}}_{13}& \cdots & \cdots & =2{\mathrm{M}\mathrm{S}}_3\\ & -{\mathrm{L}}_3& +6{\mathrm{L}}_7& -2{\mathrm{L}}_{11}& -{\mathrm{L}}_{17}& -{\mathrm{L}}_{19}& \cdots & =2{\mathrm{M}\mathrm{S}}_4\\ & 2{\mathrm{L}}_2& -{\mathrm{L}}_3& -{\mathrm{L}}_5& -{\mathrm{L}}_7& -{\mathrm{L}}_{11}& +2{\mathrm{L}}_{17}& =2{\mathrm{M}\mathrm{S}}_5\\ & -3{\mathrm{L}}_2& -2{\mathrm{L}}_3& -{\mathrm{L}}_7& -2{\mathrm{L}}_{11}r& +2{\mathrm{L}}_{13}& +2{\mathrm{L}}_{19}& =2{\mathrm{M}\mathrm{S}}_6\\ & 6{\mathrm{L}}_2& +2{\mathrm{L}}_3& +2{\mathrm{L}}_5& -{\mathrm{L}}_7& -2{\mathrm{L}}_{11}& -{\mathrm{L}}_{17}& =2{\mathrm{M}\mathrm{S}}_7\\ & -4{\mathrm{L}}_2& +4{\mathrm{L}}_3& -{\mathrm{L}}_7& -{\mathrm{L}}_{11}& +2{\mathrm{L}}_{17}& -{\mathrm{L}}_{19}& =2{\mathrm{M}\mathrm{S}}_8\end{array}$

équations qui, étant résolues suivant les règles ordinaires, donnent :

$\begin{array}{cc}{\mathrm{L}}_{\mathrm{2}}& =\mathrm{M}(94{\mathrm{S}}_1-40{\mathrm{S}}_2-74{\mathrm{S}}_3+10{\mathrm{S}}_4+28{\mathrm{S}}_5+74{\mathrm{S}}_6+14{\mathrm{S}}_7-36{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{3}}& =\mathrm{M}(148{\mathrm{S}}_1-62{\mathrm{S}}_2-116{\mathrm{S}}_3+16{\mathrm{S}}_4+44{\mathrm{S}}_5+116{\mathrm{S}}_6+22{\mathrm{S}}_7-56{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{5}}& =\mathrm{M}(226{\mathrm{S}}_1-103{\mathrm{S}}_2-183{\mathrm{S}}_3+22{\mathrm{S}}_4+64{\mathrm{S}}_5+183{\mathrm{S}}_6+33{\mathrm{S}}_7-88{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{7}}& =\mathrm{M}(266{\mathrm{S}}_1-115{\mathrm{S}}_2-211{\mathrm{S}}_3+28{\mathrm{S}}_4+78{\mathrm{S}}_5+211{\mathrm{S}}_6+39{\mathrm{S}}_7-102{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{11}}& =\mathrm{M}(328{\mathrm{S}}_1-142{\mathrm{S}}_2-260{\mathrm{S}}_3+34{\mathrm{S}}_4+96{\mathrm{S}}_5+260{\mathrm{S}}_6+48{\mathrm{S}}_7-126{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{13}}& =\mathrm{M}(348{\mathrm{S}}_1-\frac{297}{2}{\mathrm{S}}_2-\frac{547}{2}{\mathrm{S}}_3+37{\mathrm{S}}_4+103{\mathrm{S}}_5+\frac{549}{2}{\mathrm{S}}_6+\frac{103}{2}{\mathrm{S}}_7-133{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{17}}& =\mathrm{M}(390{\mathrm{S}}_1-171{\mathrm{S}}_2-311{\mathrm{S}}_3+40{\mathrm{S}}_4+114{\mathrm{S}}_5+311{\mathrm{S}}_6+57{\mathrm{S}}_7-150{\mathrm{S}}_8)\\ {\mathrm{L}}_{\mathrm{19}}& =\mathrm{M}(402{\mathrm{S}}_1-173{\mathrm{S}}_2-319{\mathrm{S}}_3+42{\mathrm{S}}_4+118{\mathrm{S}}_5+319{\mathrm{S}}_6+59{\mathrm{S}}_7-154{\mathrm{S}}_8)\end{array}$

En calculant d’abord ces huit valeurs dans la supposition de M=1, et ajoutant ensuite celles des logarithmes de 2 et de 5, on aura le logarithrne Népérien de 10 ; le quotient de l’unité divisée par ce logarithme, sera le module des tables, et, en multipliant les valeurs trouvées par ce module, on parviendra aux valeurs des logarithmes tabulaires des huit premiers nombres simples. Dès-lors les logarithmes de tous les nombres, depuis 1 jusqu’à 22 inclusivement, pourront être déterminés ; et on trouvera ensuite successivement les logarithmes de tous les nombres premiers, sans que rien puisse gêner dans l’application de la formule. Pour avoir, par exemple, le logarithme de 23, on pourra faire :

$x+8=23\text{ ou }x=15$

et on aura :

${\mathrm{L}}_{\mathrm{23}}\mathrm{=}\mathrm{2}{\mathrm{L}}_{\mathrm{15}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{8}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{22}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{10}}\mathrm{-}{\mathrm{L}}_{\mathrm{12}}\mathrm{-}{\mathrm{L}}_{\mathrm{18}}\mathrm{-}{\mathrm{L}}_{\mathrm{20}}$

$-2\mathrm{M}[\frac{1}{967}+\frac{1}{3}{\left(\frac{1}{967}\right)}^3\text{etc.}]$

ou

${\mathrm{L}}_{\mathrm{23}}\mathrm{=}\mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}\mathrm{2}\mathrm{M}[\frac{1}{967}+\frac{1}{3}{\left(\frac{1}{967}\right)}^3\text{etc.}]$

On parvient encore à des équations qui donnent le logarithme de 23, sans employer des logarithmes des nombres premiers plus grands que 23, en faisant :

$x+7=23\text{ ou }x+5=23\text{ ou }x+3=23\text{ ou }x-7=23$

et même cette dernière hypothèse est la plus avantageuse. En général, on peut faire le nombre dont on demande le logarithme, égal à l’une quelconque des quantités$x+8,x+7,x+5,x+3,x,x-3;x-5,x-7$pourvu qu’aucune des autres ne devienne par là un nombre premier ou un multiple d’un nombre premier dont le logarithme soit inconnu. Le tableau suivant présente toutes les valeurs moindres que 1000, qu’il est possible de substituer à x dans la formule, pour avoir des équations qui donnent le logarithme d’un nombre premier p, plus petit que 100, sans qu’il soit besoin de connaître le logarithme d’aucun nombre premier plus grand que p.

$\begin{array}{cc}\text{NOMBRE p.}& \text{VALEURS À DONNER À x. }\\ \\ 23& 15,16,18,20,30\\ 29& 21,22\\ 31& 23,24,26,28,31,57\\ 37& 29,32,37\\ 41& 33,34,41,49,77,85\\ 43& 35,36,38,43,253\\ 47& 39,40,42,44,47,55,133\\ 53& 45,46,48,50,525\\ 59& 51,52,177\\ 61& 53,54,56,58,61,69,125\\ 67& 59,60,62,67\\ 71& 63,64\\ 73& 65,66,68,70,73,212,287,292\\ 79& 71,72,74,79,87,153,245\\ 83& 75,76,78,80,83,88,91,161,169\\ 89& 81,82,84,86,437\\ 97& 89,90,92,97,575\end{array}$

49. Le moyen employé dans le numéro précédent pour avoir les logarithmes des huit premiers nombres simples, pourrait également servir pour trouver un plus grand nombre de logarithmes, c’est-à-dire qu’on pourrait établir, par un plus grand nombre d’équations, les rapports qui existent entre un plus grand nombre de logarithmes, et déduire ensuite de ces équations les valeurs particulières de chacun d’eux. Nous allons donner ici vingt-cinq équations entre les vingt-cinq logarithmes des nombres premiers plus petits que 100. Elles pourront servir à déterminer ces logarithmes au moyen de séries très-convergentes, et dont les termes n’ont que l’unité pour numérateur, condition très-avantageuse pour la simplicité du calcul. Il faut, pour les obtenir, substituer successivement à $x$, dans la formule U, les nombres suivans : $55,57,63,65,67,72,78,75,77,80,83,$ $85,87,88,97,125,133,153,177,245,253,287,437,525\text{ et }575.$

Équations.

$\begin{array}{cc}\mathrm{4}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{31}}\mathrm{-}{\mathrm{L}}_{\mathrm{47}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{3720991}+\text{etc.})\\ \mathrm{8}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{4620799}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{6}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{71}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{8470727}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{-}{\mathrm{L}}_{\mathrm{73}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{10233287}+\text{etc.})\\ \mathrm{-}\mathrm{5}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{37}}\mathrm{-}{\mathrm{L}}_{\mathrm{59}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{67}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{12290881}+\text{etc.})\\ \mathrm{-}\mathrm{4}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{67}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{79}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{18985121}+\text{etc.})\\ \mathrm{4}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{73}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{20633887}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{41}}\mathrm{-}{\mathrm{L}}_{\mathrm{67}}\mathrm{-}{\mathrm{L}}_{\mathrm{83}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{24290449}+\text{etc.})\\ \mathrm{-}\mathrm{3}\mathrm{L}\mathrm{2}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{6}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{37}}\mathrm{-}{\mathrm{L}}_{\mathrm{41}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{28471057}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{29}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{73}}\mathrm{-}{\mathrm{L}}_{\mathrm{83}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{35853511}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{-}{\mathrm{L}}_{\mathrm{43}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{83}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{44764721}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{-}{\mathrm{L}}_{\mathrm{41}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{51673777}+\text{etc.})\\ \mathrm{4}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{41}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{47}}\mathrm{-}{\mathrm{L}}_{\mathrm{79}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{59448607}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{6}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{-}{\mathrm{L}}_{\mathrm{83}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{63686897}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{47}}\mathrm{-}{\mathrm{L}}_{\mathrm{89}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{97}}& =2\mathrm{M}(\frac{1}{114488711}+\text{etc.})\\ \mathrm{-}\mathrm{6}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{4}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{59}}\mathrm{-}{\mathrm{L}}_{\mathrm{61}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{526501249}+\text{etc.})\end{array}$

$\begin{array}{cc}\mathrm{-}\mathrm{6}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{+}\mathrm{6}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{47}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{764483201}+\text{etc.})\\ \mathrm{6}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{37}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{73}}\mathrm{-}{\mathrm{L}}_{\mathrm{79}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{1774173311}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{37}}\mathrm{-}{\mathrm{L}}_{\mathrm{43}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{59}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{4257430087}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{+}\mathrm{8}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{-}{\mathrm{L}}_{\mathrm{79}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{29988494801}+\text{etc.})\\ \mathrm{-}\mathrm{7}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{41}}\mathrm{-}{\mathrm{L}}_{\mathrm{43}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{36368505601}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{8}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{41}}\mathrm{-}{\mathrm{L}}_{\mathrm{47}}\mathrm{-}{\mathrm{L}}_{\mathrm{59}}\mathrm{-}{\mathrm{L}}_{\mathrm{71}}\mathrm{-}{\mathrm{L}}_{\mathrm{73}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{77525043847}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}{\mathrm{L}}_{\mathrm{17}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{19}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{31}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{37}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{43}}\mathrm{-}{\mathrm{L}}_{\mathrm{89}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{966792402577}+\text{etc.})\\ \mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{+}\mathrm{6}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{15}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{37}}\mathrm{-}{\mathrm{L}}_{\mathrm{41}}\mathrm{-}{\mathrm{L}}_{\mathrm{47}}\mathrm{-}{\mathrm{L}}_{\mathrm{53}}\mathrm{\cdots }& =2\mathrm{M}(\frac{1}{2907159732049}+\text{etc.})\\ \mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{-}\mathrm{3}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{5}}\mathrm{-}{\mathrm{L}}_{\mathrm{7}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{11}}\mathrm{-}{\mathrm{L}}_{\mathrm{13}}\mathrm{-}\mathrm{2}{\mathrm{L}}_{\mathrm{17}}\mathrm{-}{\mathrm{L}}_{\mathrm{19}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{23}}\mathrm{-}{\mathrm{L}}_{\mathrm{29}}\mathrm{-}{\mathrm{L}}_{\mathrm{53}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{71}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{97}}& =2\mathrm{M}(\frac{1}{5018175360199}+\text{etc.})\end{array}$

La convergence des séries contenues dans ces équations est telle, que le cinquième terme de la première, qui est la moins rapide, n’influe que sur le 61.^me chiffre décimal, et le troisième terme de la dernière sur le 65.^me.

C’est par des moyens bien plus pénibles, qu’Abraham Sharp a calculé avec 61 chiffres décimaux, 1.^o les logarithmes de tous les nombres plus petits que 100, 2.^o les logarithmes de tous les nombres premiers depuis 100 jusqu’à 1100, 3.^o les logarithmes des quarante-un nombres compris depuis 999980 jusqu’à 1000020 inclusivement.

50. Après avoir montré, dans ce qui précède, comment on pourrait construire des tables de logarithmes à l’aide de la formule $\mathrm{U},$ il nous reste à donner un exemple des calculs qu’exigerait ce travail. Pour cela, supposons que, les logarithmes de tous les nombres premiers depuis 1 jusqu’à 1100 étant connus, on demande celui de 1297. En faisant $x-8=1297$, nous aurons $x=1305$ ; et la formule (en se

bornant au seul premier terme de la série ) donnera :

${\mathrm{L}}_{\mathrm{1297}}\mathrm{=}\mathrm{2}{\mathrm{L}}_{\mathrm{1305}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{1298}}\mathrm{+}\mathrm{2}{\mathrm{L}}_{\mathrm{1312}}\mathrm{-}{\mathrm{L}}_{\mathrm{1302}}\mathrm{-}{\mathrm{L}}_{\mathrm{1308}}\mathrm{-}{\mathrm{L}}_{\mathrm{1300}}\mathrm{-}{\mathrm{L}}_{\mathrm{1310}}\mathrm{-}{\mathrm{L}}_{\mathrm{1313}}$

$-\frac{2\mathrm{M}.7200}{1305^6-98.1305^4-2401.1305^2-7200}$

Or, dans cette équation, les logarithmes des nombres $1305,1298,1312,$$1302,1308,1300,1310$ et $1313$ sont donnés par l’hypothèse, puisqu’on a ${\mathrm{L}}_{\mathrm{1305}}\mathrm{=}\mathrm{2}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}{\mathrm{L}}_{\mathrm{5}}\mathrm{+}{\mathrm{L}}_{\mathrm{29}},{\mathrm{L}}_{\mathrm{1298}}\mathrm{=}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}{\mathrm{L}}_{\mathrm{11}}\mathrm{+}{\mathrm{L}}_{\mathrm{59}},{\mathrm{L}}_{\mathrm{1312}}\mathrm{=}\mathrm{5}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}{\mathrm{L}}_{\mathrm{41}},$ ${\mathrm{L}}_{\mathrm{1302}}\mathrm{=}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}{\mathrm{L}}_{\mathrm{7}}\mathrm{+}{\mathrm{L}}_{\mathrm{31}},\mathrm{\dots },{\mathrm{L}}_{\mathrm{1308}}\mathrm{=}\mathrm{2}{\mathrm{L}}_{\mathrm{2}}\mathrm{+}{\mathrm{L}}_{\mathrm{3}}\mathrm{+}{\mathrm{L}}_{\mathrm{109}},{\mathrm{L}}_{\mathrm{1300}}=$$2+{\mathrm{L}}_{\mathrm{13}},{\mathrm{L}}_{\mathrm{1310}}\mathrm{=}\mathrm{1}\mathrm{+}{\mathrm{L}}_{\mathrm{131}}$ et ${\mathrm{L}}_{\mathrm{1313}}\mathrm{=}{\mathrm{L}}_{\mathrm{13}}\mathrm{+}{\mathrm{L}}_{\mathrm{101}}$. Il ne reste donc plus qu’à évaluer en décimales la fraction$\frac{2\mathrm{M}.7200}{1305^6-98.1305^4-2401.1305^2-7200}$ ; après quoi l’opération sera réduite à de simples additions. En procédant à cette évaluation, on trouve d’abord $1305^2=1703025,1305^4=2900294150625,1305^6=$$4939273445868140625$ ; puis $2401.1305^2=4088963025,98.1305^4=$$284228826761250$, et enfin,

$\frac{2\mathrm{M}.7200}{1305^6-98.1305^4+2401.1305^2-7200}=\frac{2\mathrm{M}.7200}{4938989221130335200}$

$=\frac{2\mathrm{M}}{685970725156991}=0,000000000000001266218705773076\dots$

$\dots 1242970490380624658369037=2\mathrm{M}\mathrm{T}$

On achève ensuite le calcul comme on le voit ici :

$\begin{array}{cc}2\mathrm{M}\mathrm{T}\dots \dots \dots & =0,0000000000000012662187057730761242970490380674658369037\\ {\mathrm{L}}_{\mathrm{1302}}\dots \dots \dots & =3,1146109842321731428876871566906602517555927002809544686\\ {\mathrm{L}}_{\mathrm{1308}}\dots \dots \dots & =3,1166077439882484629230190003179766493787131499428966296\\ {\mathrm{L}}_{\mathrm{1310}}\dots \dots \dots & =3,1172712956557642608100542706977385947801631171216269690\\ {\mathrm{L}}_{\mathrm{1300}}\dots \dots \dots & =3,1139433523068367692065051579423284308297291883870682718\\ {\mathrm{L}}_{\mathrm{1313}}\dots \dots \dots & =3,1182647260894793434816933361652663440490185435935208632\\ \text{Somme}\dots \dots \dots & =15,5806981022725032455276646948900945678422547667919041059\\ \text{C. arith. de la somme}& =84,4193018977274967544723353051099054321577452332080958941\\ \mathrm{2}{\mathrm{L}}_{\mathrm{1305}}\dots \dots \dots & =6,231221023348599533483273496099851657727245296128740588\\ \mathrm{2}{\mathrm{L}}_{\mathrm{1298}}\dots \dots \dots & =6,226549384928700852449190501003230148032730937186537029\\ \mathrm{2}{\mathrm{L}}_{\mathrm{1312}}\dots \dots \dots & =6,23586767007928294n562126471812918667429260822884595911\\ {\mathrm{L}}_{\mathrm{1297}}\dots & =3,1129399760840800814960658028065054794766689388280832469\end{array}$

Résultat exact jusques au 45.^me chiffre inclusivement, et qui surpasse la vraie valeur du logarithme cherché de $0,0000000000000000000000000000000000000000000008969666717$

ainsi qu’il est facile de le vérifier en observant que

${\mathrm{L}}_{\mathrm{1297}}\mathrm{=}{\mathrm{L}}_{\mathrm{999987}}\mathrm{-}{\mathrm{L}}_{\mathrm{3}}\mathrm{-}{\mathrm{L}}_{\mathrm{257}}$, et que ces trois derniers logarithmes sont au nombre de ceux qui ont été calculés par Sharp.

51. Il est bon de remarquer que la fraction

$\frac{7200}{x^6-98x^4+2401x^2-7200}$

est toujours réductible. En effet, elle peut toujours être mise sous l’une ou l’autre des deux formes suivantes ;

$\frac{\mathrm{32.9.25}}{x^2(x+7{)}^2(x-7{)}^2-\mathrm{32.9.25}}$

et

$\frac{\mathrm{32.9.25}}{(x+8)(x-8)(x+5)(x-5)(x+3)(x-3)+\mathrm{32.9.25}}$

Or, quelle que soit celle sous laquelle on la considère, on voit aisément que, 1.^o ses deux termes sont divisibles par 4 ou 16 ou 32, quand x est de la forme $2p$ ou $4p$ ou $8p$, et qu’ils sont toujours divisibles par 32, lorsque x est un nombre impair ou de la forme $2p+1$ ; car alors les deux nombres$x+7$ et $x-7$ deviennent pairs, et leur différence étant 14, ou, plus généralement, un nombre impairement-pair, si l’un est divisible par 2, l’autre l’est nécessairement par 4. On peut en dire autant des nombres$x+5\text{ et }x-5,x+3\text{ et }x-3$.

2.^o Les deux termes de la fraction sont toujours divisibles par 9 ; car x est essentiellement de l’une des trois formes$3p,p+1,3p-1$. Or, la première rend divisibles par 3 les nombres$x,x+3,\text{ et }x-3$ ; la seconde, les nombres $x-7,x+8\text{ et }x+5$ ; et la troisième, les nombres$x+7,x-8\text{ et }x-5$.

3.^o Les deux termes de la fraction sont divisibles par 25, lorsque x est de l’une des trois formes$5p,5p+2\text{ et }5p-2$ ; car la première rend divisibles par 5 les nombres$x,x+5\text{ et }x-5$ ; la seconde, les nombres $x-7,x+8$$\text{ et }x+3$ ; et la troisième, les nombres $x+7,x-8\text{ et }x-3$.

D’après ces considérations, je crois qu’on fera bien, lorsqu’on voudra, pour une valeur donnée de $x$, évaluer cette fraction en décimales, de la mettre sous une des formes précédentes, parce qu’étant sous ces formes, on peut aisément, avant de procéder au calcul, débarrasser ses deux termes des facteurs qui leur sont communs.

52. Pour qu’on puisse toujours juger du degré d’exactitude qu’on doit attendre des formules comprises dans les n.^os 39, 40, 41, 42, 44, 45, 46, nous placerons ici le tableau suivant qui met sous les yeux le nombre des chiffres décimaux exacts, donnés par chacune d’elles, lorsque $x$ égale $100$ ou $1000,$ ou $10000,$ ou $100000,$ ou $1000000,$ soit qu’on néglige entièrement la série du second membre, soit qu’on se serve de son premier terme.

désignation des formules.	Nombre des chiffres décimaux exacts, donnés par chaque formule. $\overbrace{\begin{array}{ccccccccccccccccccc}& & & & & & & & & & & & & & & & & & \end{array}}$
	En négligeant la série, et $x$ étant, $\overbrace{\begin{array}{ccccccccc}& & & & & & & & \end{array}}$					En prenant le 1er terme de la série, et $x$ étant, $\overbrace{\begin{array}{ccccccccc}& & & & & & & & \end{array}}$
	102	103	104	105	106	102	103	104	105	106
Formule du 2.d degré, n.°39.	4	6	8	10	12	13	19	25	31	37
Formule de M. de Borda, n.°40.	5	8	11	14	17	17	26	35	44	53
Formule de M. Haros, n.°41.	6	10	14	18	22	18	30	42	54	66
Formule du 4.e degré, n.°42.	6	10	14	18	22	20	32	44	56	68
Formule du 5.e degré, n.°44.	6	11	16	21	26	19	34	49	64	79
Formule du 5.e degré, n.°45.	6	11	16	21	26	20	35	50	65	80
Formule du 6.e degré, n.°46.	8	14	20	26	32	24	42	60	78	96

53. Si on calculait des tables de logarithmes par une quelconque de ces formules, soit en négligeant entièrement la série du second membre, soit en se servant de son premier terme, on pourrait aisément se faire un moyen d’obtenir cinq ou six chiffres décimaux exacts de plus que n’en donnerait, dans l’un ou l’autre cas, la formule employée. Il suffirait pour cela de déterminer d’avance le logarithme de la partie constante du premier ou du second terme de la série multipliée par le double du module ; car, en retranchant ensuite de ce logarithme celui de la partie du dénominateur, qui peut influer sur les premiers chiffres du quotient, on aurait pour reste un logarithme répondant à un nombre qui exprimerait la valeur du premier ou du second terme de la série, au moins dans ses premiers chiffres significatifs. Ainsi, par exemple, en nous servant toujours de la formule U, si on sait que

$\mathrm{L}\mathrm{2}\mathrm{M}\times 7200=3,7961468034={\mathrm{T}}^{\prime }$

et

$\mathrm{L}\frac{2M\times 7200^3}{3}=11,0336905415={\mathrm{T}}^{″}$

en retranchant de ${\mathrm{T}}^{\prime }$ la somme $\mathrm{2}\mathrm{L}\mathrm{x}\mathrm{+}\mathrm{2}\mathrm{L}\mathrm{(}\mathrm{x}\mathrm{+}\mathrm{7}\mathrm{)}\mathrm{+}\mathrm{2}\mathrm{L}\mathrm{(}\mathrm{x}\mathrm{-}\mathrm{7}\mathrm{)}$ des doubles des logarithmes des nombres $x,x+7\text{ et }x-7$, qui entrent dans le premier calcul de la formule, on aura pour reste un logarithme qui différera peu de celui du produit du premier terme de la série, par le double du module. Il en sera de même par rapport à la valeur du second terme de la série multipliée par $\mathrm{2}\mathrm{M}$, si on ôte de ${\mathrm{T}}^{″}$ trois fois la somme $\mathrm{2}\mathrm{L}\mathrm{x}\mathrm{+}\mathrm{2}\mathrm{L}\mathrm{(}\mathrm{x}\mathrm{+}\mathrm{7}\mathrm{)}\mathrm{+}\mathrm{2}\mathrm{L}\mathrm{(}\mathrm{x}\mathrm{-}\mathrm{7}\mathrm{)}$ ; car le logarithme restant sera celui de cette valeur, considérée seulement dans ses premiers chiffres significatifs.

Pour ne rien laisser à désirer à cet égard, soit repris l’exemple du n.^o 50 ; on aura :

$\mathrm{2}\mathrm{L}x+2\mathrm{L}(x+7)+2\mathrm{L}(x-7)=2\mathrm{L}\mathrm{1305}\mathrm{+}\mathrm{2}\mathrm{L}\mathrm{1312}\mathrm{+}\mathrm{2}\mathrm{L}\mathrm{1298}$

et, en tirant cette somme du calcul déjà fait, il viendra

$18,6936380784$

logarithme dont le triple est :

$56,0809142351$

Retranchant maintenant ce triple de ${\mathrm{T}}^{″}$, on trouvera pour reste :

$-46+0,9527763064$

La caractéristique négative $-46$, qui se trouve dans ce résultat, indique d’abord que le premier chiffre significatif du nombre correspondant, est du 46.^me ordre décimal, et la fraction ( réduite, si on veut, à sept chiffres comme dans nos tables usuelles) appartenant au logarithme de 8969666, j’en conclus que la valeur trouvée pour le logarithme de 1297, doit être diminuée de la quantité $\frac{8969666}{10^{52}}$ ; ce qui s’accorde avec ce que nous avons vu dans le numéro précité.

Si $x$ surpassait 10000, on pourrait se contenter de retrancher de ${\mathrm{T}}^{\prime }$six fois le logarithme de$x$, ou de ${\mathrm{T}}^{″}$ dix-huit fois ce même logarithme.

54. Je terminerai ce mémoire en faisant observer que les équations obtenues dans la première partie expriment toutes des propriétés des progressions par différence. En prenant, par exemple, celles qui ont fourni la formule $\mathrm{U},$ et multipliant leurs racines par $d,$ pour plus de généralité, on aura :

$x^6-98d^2{x}^4+2401d^4{x}^2-14400d^6=0$

et

$x^6-98d^2{x}^4+2401d^4{x}^2\cdots =0$

ou

$(x+8d)(x-8d)(x+5d)(x-5d)(x+3d)(x-3d)=0$

et

$x^2(x+7d{)}^2(x-7d{)}^2=0$

ce qui nous apprend que, dans la progression

$x-8d,x-7d,x-6d,x-5d,x-4d,x-3d,x-2d,x-d,x,x+d,\text{ etc.}$

le produit des quarrés des $2{.}^{me},9{.}^{me},$ et $16{.}^{me}$ termes est égal au produit des $1{.}^{er},4{.}^{me},6{.}^{me},12{.}^{me},14{.}^{me}$ et $17{.}^{me}$ termes, moins $14400$ fois la sixième puissance de là différence $d$. Mais $x$ étant variable, il est évident que la propriété que nous venons d’énoncer aura lieu, quelle que soit sa valeur ; elle aura donc lieu lorsque $x$ deviendra $x+nd$, ou, ce qui revient au même, quelque part qu’on prenne l’origine de la progression, qui peut d’ailleurs être prolongée indéfiniment à droite et à gauche. Cette propriété subsistera encore, si x devient $x+p$, $p$ n’étant pas un multiple de $d$ ; donc, en général, dans la progression,

$x+nd+p,x+(n+1)d+p,x+(n+2)d+p,x+(n+3)d+p\text{, etc.}$

le produit des quarrés des $2{.}^{me},9{.}^{me}$ et $16{.}^{me}$ termes est égal au produit des $1{.}^{er},4{.}^{me},6{.}^{me},12{.}^{me},14{.}^{me}$ et $17{.}^{me}$ termes, moins $14400$ fois la sixième puissance de la raison ou différence $d$.

Si on passe maintenant de cette dernière progression aux équations correspondant à la propriété que nous venons d’y observer, on verra que ces équations ne sont autre chose que des transformées de celles dont nous sommes partis ; transformées qu’on obtient en augmentant d’abord les racines d’un multiple de $d$, et ensuite de la quantité $p$. On doit seulement remarquer qu’après ces transformations, les racines ne sont plus divisibles par $d$, comme elles l’étaient auparavant, et que $d$ est alors un facteur commun à toutes les différences des racines. Ce que nous venons de dire nous met en droit de conclure, 1.^o que les transformées auxquelles on parvient en augmentant ou diminuant les racines de deux équations telles que celles dont nous nous sommes occupés, conservent entre elles la même différence qui se trouvait entre ces équations, et ne peuvent conséquemment pas fournir des formules logarithmiques plus avantageuses ; 2.^o que, lorsqu’on a deux équations, telles que les différences entre les racines ont un facteur commun $d$, on peut, en augmentant ou diminuant ces racines d’une quantité égale au reste de la division de l’une d’elles par $d$, faire que toutes ces racines deviennent des multiples de $d$, et puissent, par conséquent, être divisées par cette quantité, ce qui conduit à des équations plus simples et plus utiles. Ainsi, par exemple, si l’on avait les deux équations,

$x^4-50x^2+625=0$

et

$x^4-50x^2+49=0$

ou

$(x+5{)}^2(x-5{)}^2=0$

et

$(x+1)(x-1)(x+7)(x-7)=0$

dont les racines sont des nombres impairs, et diffèrent conséquemment entre elles d’un multiple de 2, en augmentant ces racines d’une unité, et les divisant ensuite par 2, on aurait :

$x^4+2x^3-11x^2-12x+36=0$

et

$x^4+2x^3-11x^2-12x\cdots =0$

ou

$(x-2{)}^2(x+3{)}^2=0$

et

$x(x+1)(x+4)(x-3)=0$

équations qui ne sont que des transformées de celles qui nous ont donné la formule du n.^o 42 ; transformées qu’on aurait eu mettant dans ces dernières $x-2$ à la place de $x.$

1. Traité analitique des Sections coniques, Fluxions et Fluentes, etc., par M. Muller, professeur de mathématiques à l’école royale de Volwich ; traduit de l’anglais, par l’auteur. Paris 1760.
2. Voyez le Complément d’Algèbre de M. Lacroix.