積分 \[ I=\int_a^bf(x,y,y')\,dx \] が停留値をとるような関数 $y=y(x)$ を求めることを考える. $y(x)=y_0(x)+\varepsilon\cdot\delta(x)$,$\delta(a)=\delta(b)=0$ とおく. $\delta(x)$ は 関数 $y_0(x)$ に対する変分を表す関数. 任意の $\delta(x)$ について $\varepsilon=0$ における積分 $I$ の変化量が$0$になる条件を求めればよく,この条件は \[ \left.\frac{dI}{d\varepsilon}\right|_{\varepsil…