De

on déduit aisément

log9(.r,, s) = A^i 4- B -+- log0(^i).

Iog0(^i) représente une fonction de j^i seulement; AetB sont des fonctions de 2, admettant des dérivées A' et B', telles que

Ainsi

Tel serait Le résultat sans autre condition que le postulat de Gauss sur la valeur moyenne.

Il entre encore deux fonctions arbitraires, 0 et A; B est lié à A par une relation.