Para proporcionar la demostración requerida, mostraremos que el valor mínimo que la función puede asumir es positivo o cero. Con este fin, consideramos primero aquella función positiva, , de y que, con valores fijos de , , , y , hará que sea un mínimo. La condición necesaria para esto es , donde según [eqn:(352)] (352) Esto da, considerando que las cantidades y no dependen de y , como condición necesaria para el mínimo, y de ello se deduce, por lo tanto, que la cantidad entre corchetes, y por consiguiente también la propia , es independiente de y . Que en este caso realmente tiene un valor mínimo se ve fácilmente formando la segunda variación la cual, mediante cálculo directo, puede verse que es positiva bajo todas circunstancias.
Para formar el valor mínimo de calculamos el valor de , el cual, según la [eqn:(352)] (352), es independiente de y . De esto se deduce, teniendo en cuenta la [eqn:(319a)] (319a), que
y, sustituyendo también de la [ecuación:(355)] (355),