To give the proof required we shall show that the least value which the function can assume is positive or zero. For this purpose we consider first that positive function, , of and , which, with fixed values of , , , and , will make a minimum. The necessary condition for this is , where according to [eqn:(352)] (352) This gives, by considering that the quantities and do not depend on and , as a necessary condition for the minimum, and it follows, therefore, that the quantity in brackets, and hence also itself is independent of and . That in this case really has a minimum value is readily seen by forming the second variation which may by direct computation be seen to be positive under all circumstances.
In order to form the minimum value of we calculate the value of , which, from [eqn:(352)] (352), is independent of and . Then it follows, by taking account of [eqn:(319a)] (319a), that
and, by also substituting from [eqn:(355)] (355),