M. Vernier une sorte de vérification de ses formules qui ne pourra que lui inspirer un nouveau degré de confiance dans les résultats, de ses recherches.
Par exemple, dans le Bulletin des sciences pour 1822 (pag. 169), M. Cauchy a donné la formule
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {f} \left(\operatorname {Cos} .p+{\sqrt {-1}}\operatorname {Sin} .p\right)}{\operatorname {F} \left(\operatorname {Cos} .p+{\sqrt {-1}}\operatorname {Sin} .p\right)}}\operatorname {d} p={\sqrt {-1}}\int _{-1}^{+1}{\frac {\operatorname {f} (r)}{r\operatorname {F} (r)}}\operatorname {d} r+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2381d1d2b040047d9bf432f280154a06c029f4ff)
etc.,
où les termes qui suivent le premier, dans le second membre, ne doivent point être employés dans le cas particulier que M. Vernier considère. Or, si l’on pose, en général,
d’où
et qu’on ne garde que le premier terme du second membre, il viendra
![{\displaystyle \int _{0}^{\varpi }\left(\operatorname {Cos} .p+{\sqrt {-1}}\operatorname {Sin} .p\right)\varphi \left(\operatorname {Cos} .p+{\sqrt {-1}}\operatorname {Sin} .p\right)\operatorname {d} p={\sqrt {-1}}\int _{-1}^{+1}\varphi (r)\operatorname {d} r\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd40d31cfd54270b305f7c66275782945c97d6b9)
ou bien
![{\displaystyle \int _{0}^{\varpi }e^{p{\sqrt {-1}}}.\varphi \left(e^{p{\sqrt {-1}}}\right)\operatorname {d} p={\sqrt {-1}}\int _{-1}^{+1}\varphi (r)\operatorname {d} r\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ed1907ccbf28feef3a72ffa3ff5f418dd976d99)
d’où
![{\displaystyle \int _{-1}^{+1}\varphi (r)\operatorname {d} r=-{\sqrt {-1}}\int _{0}^{\varpi }e^{p{\sqrt {-1}}}.\varphi \left(e^{p{\sqrt {-1}}}\right)\operatorname {d} p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4b3a0ed83ecf3163063ce46a16d31cff0d78726)
qui est exactement, aux notations près ; la formule (P), donnée par M. Vernier, à la page 180.