en faisant disparaître le radical du dénominateur, s’il est nécessaire, on réduira la différentielle proposée
à la forme
où et seront des fonctions toutes rationnelles de
Or le trinôme sous le signe
se résout dans les deux binômes
qui sont toujours réels à cause de ou car puisque
les facteurs et seront nécessairement de même signe ; donc aussi leur somme sera du même signe ; ainsi, et étant de même signe, leur produit sera toujours une quantité positive. On voit aussi que les deux quantités
sont de même signe, puisque leur produit est nécessairement positif ; et comme la demi-somme des mêmes quantités est
et que nous venons de voir que et sont de même signe, il s’ensuit que les deux quantités dont il s’agit seront toujours de même signe que