Теорема. Для того чтобы функционал 
![J[y(x)]=\int_{a}^{b} F(x,y,y')dx J[y(x)]=\int_{a}^{b} F(x,y,y')dx](https://dxdy-01.korotkov.co.uk/f/0/e/9/0e94f2afd6dc4a5df68fc9dcdd047acc82.png)
, определённый на множестве функций 

, имеющих непрерывную первую производную и удовлетворяющих граничным условиям 

, достигал на данной функции 

 экстремума, необходимо, чтобы эта функция удовлетворяла уравнению Эйлера 

.
Поясните, пожалуйста, смысл выражений 

 (желательно на примере некоторой  функции,  скажем, 

).