Les deux premiers termes du développement de
étant
et ceux du développement de
étant
supposons qu’ils deviennent égaux, en sorte qu’on ait aussi
et
la première de ces deux conditions dépendra de la nature des fonctions désignées par
et
mais la seconde pourra toujours être remplie comme la condition de
par le moyen des constantes arbitraires
qui entreront dans la fonction
On aura donc, dans ce cas,
![{\displaystyle \mathrm {D} =i^{\lambda +\mu }\mathrm {Q} -i^{\rho +\sigma }q+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91d2fd9adb5b310848538a31d341df969341c233)
et il sera impossible qu’aucune autre courbe passe entre les deux courbes dont il s’agit, dans le même point qui répond à l’abscisse
à moins que les deux premiers termes du développement de
étant l’ordonnée de cette autre courbe, ne soient aussi les mêmes que ceux du développement de ![{\displaystyle f(m+i).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b591b4bdcde18c239585e5fc26b0a0e5320a84e0)
Car, s’ils sont différents, ils ne pourront pas se détruire dans l’expression de la différence
des deux ordonnées
et
et l’on aura en général
![{\displaystyle \Delta =i^{\lambda }\mathrm {A} -i^{\rho }\alpha +i^{\lambda +\mu }\mathrm {Q} -i^{\rho +\sigma }q+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca9889d0aef3eb8daaba8e1830b2e0302be5aef1)
à cause de
par la condition supposée de la coïncidence des courbes dans le point qui répond à
Cette expression de
étant comparée à celle
il est facile de voir que, à cause que les exposants
sont nécessairement positifs par la nature du développement, il sera toujours possible de prendre
assez petit pour que la valeur de
surpasse celle de
abstraction faite des signes, tant qu’on n’aura pas
et
comme dans les deux premières courbes. Donc, dans tout autre cas, la troisième courbe passera nécessairement en dehors des deux autres.
En poussant plus loin le développement des fonctions
et
on prouvera de la même manière que, si les trois premiers termes du développement de ces fonctions sont les mêmes, aucune autre