sans doute, de semblables qu’ils n’ont point fait connaître, se contentant de donner leurs résultats appuyés de démonstrations synthétiques. Il regrette, avec raison, qu’ils nous aient celé leurs moyens d’y parvenir, et il dit à Fermat qu’on doit lui savoir gré de ne les avoir pas imités, et de n’avoir pas détruit le pont après avoir passé le fleuve. Il est digne de remarque que Newton, qui avait profité de cette méthode d’induction de Wallis et de ses résultats pour découvrir son théorème du binôme, ait mérité les reproches que Wallis fait aux anciens géomètres, en cachant les moyens qui l’avaient conduit à ses découvertes.
Reprenons la formule (B) de Wallis. Si l’on suppose
![{\displaystyle {\frac {y_{{\frac {1}{2}},s-{\frac {1}{2}}}}{y_{{\frac {1}{2}},s-1}}}=u_{s},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51719b7ca224e5056037990a3a21b2791655ffe7)
cette formule donnera
![{\displaystyle u_{s-1}={\frac {(2s-1)^{2}}{(2s-2)2s}}u_{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d035bcec26bbd93fae995aecc25cada7da2f6c9)
ou
![{\displaystyle (l)\qquad \qquad \qquad 0=2s(2s-2)(u_{s}-u_{s-1})+u_{s}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22d20e8c6693a1b01da44c0336d58b3335506dd4)
Soit
![{\displaystyle u_{s}=\mathrm {A} ^{(0)}+{\frac {\mathrm {A} ^{(1)}}{s+1}}+{\frac {\mathrm {A} ^{(2)}}{(s+1)(s+2)}}+{\frac {\mathrm {A} ^{(3)}}{(s+1)(s+2)(s+3)}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc4aa27af3de14ccfb7a0d3f681df30853afecc6)
et considérons ce que produit, dans le second membre de l’équation
le terme
![{\displaystyle {\frac {\mathrm {A} ^{(r)}}{(s+1)\ldots (s+r)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/074b80e65146adfc71fb6bc6951a3717d764712b)
En n’ayant égard qu’à ce terme dans
on aura
![{\displaystyle u_{s}-u_{s-1})={\frac {-r\mathrm {A} ^{(r)}}{s(s+1)(s+2)\ldots (s+r)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97c5a72828d6d1ea83efc593c4c73565c4548985)
le terme
de l’équation (f) devient ainsi
![{\displaystyle {\frac {-4r\mathrm {A} ^{(r)}(s-1)}{(s+1)\ldots (s+r)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc44f61e33abc3ce95cc2298163838736edf805)