AA'(AC + BC— AB

et le travail de séparation correspondant

2AA/(AG-hBC— AB)F;

le travail de réunion du solide et du liquide correspond à la surface 2AA'xAC, et il a pour valeur

2AA/XACX2F/.

D'ailleurs le travail dû à la pesanteur est un infiniment petit d'un ordre plus élevé proportionnel au produit AA'xACxAB, et il en est de même des travaux des forces ajoutées. Le théorème conduit donc à la relation.

2 AA^ [AC(F-.2fO — (AB— BC) 2F/] =o.

Les éléments de l'intégrale sont, si Ton veut, tous positifs; ils sont donc nuls chacun en particulier, ce qui donne